public class _PrologStub extends org.omg.CORBA.portable.ObjectImpl implements Prolog
Constructor and Description |
---|
_PrologStub() |
_PrologStub(org.omg.CORBA.portable.Delegate delegate) |
Modifier and Type | Method and Description |
---|---|
java.lang.String[] |
_ids() |
void |
clearTheory() |
java.lang.String |
getTheory() |
boolean |
hasOpenAlternatives() |
void |
loadLibrary(java.lang.String className) |
void |
setTheory(java.lang.String theory) |
SolveInfo |
solve(java.lang.String g) |
void |
solveEnd() |
void |
solveHalt() |
SolveInfo |
solveNext() |
void |
unloadLibrary(java.lang.String className) |
_create_request, _create_request, _duplicate, _get_delegate, _get_domain_managers, _get_interface_def, _get_policy, _hash, _invoke, _is_a, _is_equivalent, _is_local, _non_existent, _orb, _release, _releaseReply, _request, _request, _servant_postinvoke, _servant_preinvoke, _set_delegate, _set_policy_override, equals, hashCode, toString
public _PrologStub()
public _PrologStub(org.omg.CORBA.portable.Delegate delegate)
public void clearTheory()
clearTheory
in interface PrologOperations
public java.lang.String getTheory()
getTheory
in interface PrologOperations
public void setTheory(java.lang.String theory)
setTheory
in interface PrologOperations
public SolveInfo solve(java.lang.String g)
solve
in interface PrologOperations
public boolean hasOpenAlternatives()
hasOpenAlternatives
in interface PrologOperations
public SolveInfo solveNext()
solveNext
in interface PrologOperations
public void solveHalt()
solveHalt
in interface PrologOperations
public void solveEnd()
solveEnd
in interface PrologOperations
public void loadLibrary(java.lang.String className)
loadLibrary
in interface PrologOperations
public void unloadLibrary(java.lang.String className)
unloadLibrary
in interface PrologOperations
public java.lang.String[] _ids()
_ids
in class org.omg.CORBA.portable.ObjectImpl