Docjar: A Java Source and Docuemnt Enginecom.*    java.*    javax.*    org.*    all    new    plug-in

Quick Search    Search Deep

alice.tuprolog.runtime.corba
Interface PrologCORBAOperations  view PrologCORBAOperations download PrologCORBAOperations.java

All Known Subinterfaces:
PrologCORBA
All Known Implementing Classes:
_PrologCORBAImplBase, _PrologCORBAStub

public interface PrologCORBAOperations

alice/tuprolog/runtime/corba/PrologCORBAOperations.java Generated by the IDL-to-Java compiler (portable), version "3.0" from alice/tuprolog/runtime/corba/PrologCORBA.idl mercoledý 17 ottobre 2001 12.02.01 GMT+02:00


Method Summary
 void clearTheory()
           
 java.lang.String getTheory()
           
 boolean isSpy()
           
 void loadLibrary(java.lang.String className)
           
 void setSpy(boolean on)
           
 void setTheory(java.lang.String theory)
           
 SolveInfoCORBA solve(java.lang.String g)
           
 void solveEnd()
           
 void solveHalt()
           
 SolveInfoCORBA solveNext()
           
 void unloadLibrary(java.lang.String className)
           
 

Method Detail

clearTheory

public void clearTheory()

getTheory

public java.lang.String getTheory()

setTheory

public void setTheory(java.lang.String theory)

solve

public SolveInfoCORBA solve(java.lang.String g)

solveNext

public SolveInfoCORBA solveNext()

solveHalt

public void solveHalt()

solveEnd

public void solveEnd()

loadLibrary

public void loadLibrary(java.lang.String className)

unloadLibrary

public void unloadLibrary(java.lang.String className)

setSpy

public void setSpy(boolean on)

isSpy

public boolean isSpy()