alice.tuprologx.runtime.corba

Class _PrologStub

java.lang.Object

org.omg.CORBA.portable.ObjectImpl

alice.tuprologx.runtime.corba._PrologStub

All Implemented Interfaces:

Prolog, PrologOperations, Serializable, Object, IDLEntity

public class _PrologStub
extends ObjectImpl
implements Prolog

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
_PrologStub()
_PrologStub(Delegate delegate)

Method Summary

Methods

Modifier and Type	Method and Description
String[]	_ids()
void	clearTheory()
String	getTheory()
boolean	hasOpenAlternatives()
void	loadLibrary(String className)
void	setTheory(String theory)
SolveInfo	solve(String g)
void	solveEnd()
void	solveHalt()
SolveInfo	solveNext()
void	unloadLibrary(String className)

Methods inherited from class org.omg.CORBA.portable.ObjectImpl

_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

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface org.omg.CORBA.Object

_create_request, _create_request, _duplicate, _get_domain_managers, _get_interface_def, _get_policy, _hash, _is_a, _is_equivalent, _non_existent, _release, _request, _set_policy_override

Constructor Detail

_PrologStub

public _PrologStub()

_PrologStub

public _PrologStub(Delegate delegate)

Method Detail

clearTheory

public void clearTheory()

Specified by:

clearTheory in interface PrologOperations

getTheory

public String getTheory()

Specified by:

getTheory in interface PrologOperations

setTheory

public void setTheory(String theory)

Specified by:

setTheory in interface PrologOperations

solve

public SolveInfo solve(String g)

Specified by:

solve in interface PrologOperations

hasOpenAlternatives

public boolean hasOpenAlternatives()

Specified by:

hasOpenAlternatives in interface PrologOperations

solveNext

public SolveInfo solveNext()

Specified by:

solveNext in interface PrologOperations

solveHalt

public void solveHalt()

Specified by:

solveHalt in interface PrologOperations

solveEnd

public void solveEnd()

Specified by:

solveEnd in interface PrologOperations

loadLibrary

public void loadLibrary(String className)

Specified by:

loadLibrary in interface PrologOperations

unloadLibrary

public void unloadLibrary(String className)

Specified by:

unloadLibrary in interface PrologOperations

_ids

public String[] _ids()

Specified by:

_ids in class ObjectImpl