Uses of Class
alice.tuprolog.SolveInfo

Packages that use SolveInfo

alice.tuprolog

Uses of SolveInfo in alice.tuprolog

Methods in alice.tuprolog that return SolveInfo

SolveInfo	QueryEvent.getSolveInfo() Gets information about the query result.
SolveInfo	Prolog.solve(Term g) Solves a query
SolveInfo	Prolog.solve(java.lang.String st) Solves a query
SolveInfo	Prolog.solveNext() Gets next solution

Constructors in alice.tuprolog with parameters of type SolveInfo

QueryEvent(Prolog source, SolveInfo info)