Uses of Class
alice.tuprolog.Struct

Packages that use Struct

Package	Description
alice.tuprolog
alice.tuprolog.clausestore
alice.tuprolog.lib

Uses of Struct in alice.tuprolog

Fields in alice.tuprolog declared as Struct

Modifier and Type	Field and Description
static Struct	Struct.EMPTY_LIST

Methods in alice.tuprolog that return Struct

Modifier and Type	Method and Description
Struct	Struct.getArg(String name) Gets an argument inside this structure, given its name
Struct	ClauseInfo.getClause()
Struct	DefaultClauseInfo.getClause()
Struct	ExecutionContext.getClause()
Struct	ExecutionContext.getCurrentGoal()
Struct	ClauseInfo.getHead()
Struct	DefaultClauseInfo.getHead()
Struct	ExecutionContext.getHeadClause()
Struct	ClauseInfo.getHeadCopy()
Struct	DefaultClauseInfo.getHeadCopy()
Struct	StateEnd.getResultGoal()
Struct	Struct.listTail() Gets the tail of this structure, which is supposed to be a list.

Methods in alice.tuprolog with parameters of type Struct

Modifier and Type	Method and Description
boolean	TheoryManager.abolish(Struct cl) removing from dbase the first clause with head unifying with clause (m if a free substitution index and t is the first free timestamp)
void	TheoryManager.assertA(Struct clause, boolean dyn, String libName, boolean backtrackable) inserting of a clause at the head of the dbase
void	TheoryManager.assertZ(Struct clause, boolean dyn, String libName, boolean backtrackable) inserting of a clause at the end of the dbase
boolean	PrimitiveManager.evalAsDirective(Struct d)
void	PrimitiveInfo.evalAsDirective(Struct g) evaluates the primitive as a directive
Term	PrimitiveInfo.evalAsFunctor(Struct g) evaluates the primitive as a functor
boolean	PrimitiveInfo.evalAsPredicate(Struct g) evaluates the primitive as a predicate
ClauseInfo	TheoryManager.retract(Struct cl) removing from dbase the first clause with head unifying with clause (m if a free substitution index and t is the first free timestamp)
static String	DefaultClauseInfo.toString(Struct clause, alice.tuprolog.OperatorManager op) Gets the string representation recognizing operators stored by the operator manager

Constructors in alice.tuprolog with parameters of type Struct

Constructor and Description
Theory(Struct clauseList) Creates a theory from a clause list

Uses of Struct in alice.tuprolog.clausestore

Fields in alice.tuprolog.clausestore declared as Struct

Modifier and Type	Field and Description
protected Struct	FactClauseInfo.clause

Methods in alice.tuprolog.clausestore that return Struct

Modifier and Type	Method and Description
Struct	FactClauseInfo.getClause()
Struct	CollectionItemClause.getClause()
Struct	HGAtomClauseInfo.getClause()
Struct	FactClauseInfo.getHead()
Struct	CollectionItemClause.getHead()
Struct	FactClauseInfo.getHeadCopy()
Struct	CollectionItemClause.getHeadCopy()

Constructors in alice.tuprolog.clausestore with parameters of type Struct

Constructor and Description
CollectionItemClause(Struct head)
FactClauseInfo(Struct clause)

Uses of Struct in alice.tuprolog.lib

Methods in alice.tuprolog.lib that return Struct

Modifier and Type	Method and Description
protected Struct	JavaLibrary.generateFreshId() Generates a fresh numeric identifier
Struct	JavaLibrary.register(Object obj) Registers an object, with automatic creation of the identifier.
Struct	JavaLibrary.registerDynamic(Object obj) Registers an object for the query life-time, with the automatic generation of the identifier.

Methods in alice.tuprolog.lib with parameters of type Struct

Modifier and Type	Method and Description
Object	JavaLibrary.getRegisteredDynamicObject(Struct id) Gets a registered dynamic object (returns null if not presents)
Object	JavaLibrary.getRegisteredObject(Struct id) Gets the reference to an object previously registered
boolean	JavaLibrary.register(Struct id, Object obj) Register an object with the specified id.
void	JavaLibrary.registerDynamic(Struct id, Object obj) Registers an object only for the running query life-time
boolean	JavaLibrary.unregister(Struct id) Unregisters an object, given its identifier
boolean	JavaLibrary.unregisterDynamic(Struct id) Unregister the object, only for dynamic case