Uses of Class
alice.tuprolog.SolveInfo

Packages that use SolveInfo

Package	Description
alice.tuprolog
alice.tuprolog.event
alice.tuprologx
alice.tuprologx.ide
alice.tuprologx.runtime.rmi
alice.tuprologx.runtime.tcp

Uses of SolveInfo in alice.tuprolog

Methods in alice.tuprolog that return SolveInfo

Modifier and Type	Method and Description
SolveInfo	Prolog.solve(String st) Solves a query
SolveInfo	Prolog.solve(Term g) Solves a query
SolveInfo	EngineManager.solve(Term query) Solves a query
SolveInfo	Prolog.solveNext() Gets next solution
SolveInfo	EngineManager.solveNext() Gets next solution

Uses of SolveInfo in alice.tuprolog.event

Methods in alice.tuprolog.event that return SolveInfo

Modifier and Type	Method and Description
SolveInfo	QueryEvent.getSolveInfo() Gets information about the query result.

Constructors in alice.tuprolog.event with parameters of type SolveInfo

Constructor and Description
QueryEvent(Prolog source, SolveInfo info)

Uses of SolveInfo in alice.tuprologx

Constructors in alice.tuprologx with parameters of type SolveInfo

Constructor and Description
SolutionNavigator(SolveInfo solution, Prolog engine)

Uses of SolveInfo in alice.tuprologx.ide

Methods in alice.tuprologx.ide that return SolveInfo

Modifier and Type	Method and Description
SolveInfo	EngineStatus.getInfo()

Methods in alice.tuprologx.ide with parameters of type SolveInfo

Modifier and Type	Method and Description
void	EngineStatus.setInfo(SolveInfo info)

Uses of SolveInfo in alice.tuprologx.runtime.rmi

Methods in alice.tuprologx.runtime.rmi that return SolveInfo

Modifier and Type	Method and Description
SolveInfo	PrologImpl.solve(String g)
SolveInfo	Prolog.solve(String g)
SolveInfo	PrologImpl.solve(Term g)
SolveInfo	Prolog.solve(Term g)
SolveInfo	PrologImpl.solveNext()
SolveInfo	Prolog.solveNext()

Uses of SolveInfo in alice.tuprologx.runtime.tcp

Methods in alice.tuprologx.runtime.tcp that return SolveInfo

Modifier and Type	Method and Description
SolveInfo	Proxy.solve(String st)
SolveInfo	Prolog.solve(String g)
SolveInfo	Proxy.solve(Term term)
SolveInfo	Prolog.solve(Term th)
SolveInfo	Proxy.solveNext()
SolveInfo	Prolog.solveNext()