Uses of Interface
alice.tuprolog.ClauseInfo

Packages that use ClauseInfo

Package	Description
alice.tuprolog
alice.tuprolog.clausestore

Uses of ClauseInfo in alice.tuprolog

Classes in alice.tuprolog that implement ClauseInfo

Modifier and Type	Class and Description
class	DefaultClauseInfo

Methods in alice.tuprolog that return ClauseInfo

Modifier and Type	Method and Description
ClauseInfo	DefaultClauseStore.fetch()
ClauseInfo	ClauseStore.fetch() Get the next clause compatible with the current goal.
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)

Uses of ClauseInfo in alice.tuprolog.clausestore

Classes in alice.tuprolog.clausestore that implement ClauseInfo

Modifier and Type	Class and Description
class	CollectionItemClause
class	FactClauseInfo
class	HGAtomClauseInfo

Methods in alice.tuprolog.clausestore that return ClauseInfo

Modifier and Type	Method and Description
ClauseInfo	MapEntriesStore.fetch()
ClauseInfo	HyperGraphClauseStore.fetch()
ClauseInfo	CollectionItemsStore.fetch()