|
|||||||||
| Home >> All >> alice >> tuprolog >> runtime >> [ corba overview ] | PREV CLASS NEXT CLASS | ||||||||
SUMMARY:  JAVADOC |  SOURCE |  DOWNLOAD | NESTED | FIELD | CONSTR | METHOD |
DETAIL: FIELD | CONSTR | METHOD | ||||||||
alice.tuprolog.runtime.corba
Interface PrologCORBAOperations
- 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()
|
|||||||||
| Home >> All >> alice >> tuprolog >> runtime >> [ corba overview ] | PREV CLASS NEXT CLASS | ||||||||
|
SUMMARY: JAVADOC | SOURCE | DOWNLOAD | NESTED | FIELD | CONSTR | METHOD |
DETAIL: FIELD | CONSTR | METHOD | ||||||||