Uses of Interface
com.semedy.reasoner.reasoning.processes.Store

Packages that use Store

Package	Description
com.semedy.reasoner.reasoning.processes

Uses of Store in com.semedy.reasoner.reasoning.processes

Subinterfaces of Store in com.semedy.reasoner.reasoning.processes

Modifier and Type	Interface	Description
interface	TopDownStore

Classes in com.semedy.reasoner.reasoning.processes that implement Store

Modifier and Type	Class	Description
class	BufferedStore	Stores intermediate results: results between two rule bodies or results of rule evaluations For recursive rules or recursion cycles results must be buffered.
class	EmptyStore	An empty store, i.E. all incoming tuples are thrown away
class	SynchronizedBufferedStore	Stores intermediate results: results between two rule bodies or results of rule evaluations For recursive rules or recursion cycles results must be buffered.
class	TopDownBufferedStore
class	TopDownUnbufferedStore
class	UnbufferedStore	A store with an unbuffered input.

Methods in com.semedy.reasoner.reasoning.processes that return Store

Modifier and Type	Method	Description
Store	And.getLeftStore()

Methods in com.semedy.reasoner.reasoning.processes with parameters of type Store

Modifier and Type	Method	Description
void	And.setLeftStore(Store S)