| BFRuleContext |
An implementation of the generic RuleContext interface used by
the basic forward (BF) rule engine.
|
| BindingStack |
Provides a trail of possible variable bindings for a forward rule.
|
| BindingVector |
An implementation of a binding environment that maintains
a single array of bound values for the variables in a rule.
|
| BindingVectorMultiSet |
A multi set of BindingVector's divided in buckets matching an unique
combination of values at given indices managed by RETEQueue
|
| ConsumerChoicePointFrame |
Frame in the LPInterpreter's control stack used to represent matching
to the results of a tabled predicate.
|
| EnvironmentFrame |
Represents a single frame in the LP interpreter's environment stack.
|
| FrameObject |
Base class for stack frame objects.
|
| FRuleEngineI |
Rule engines implement the internals of forward rule inference
graphs and the forward part of hybrid graphs.
|
| FRuleEngineIFactory |
|
| Generator |
A generator represents a set of memoized results for a single
tabled subgoal.
|
| GenericChoiceFrame |
Core properties of choice frames used use to represent the OR state of
the backtracking search.
|
| GenericTripleMatchFrame |
Frame on the choice point stack used to represent the state of some form of triple
match - this is either a direct graph query or a query to a cached set of results.
|
| LPAgendaEntry |
The signature of classes that can go on the LPEngines processing
agenda.
|
| LPBRuleEngine |
LP version of the core backward chaining engine.
|
| LPInterpreter |
Bytecode interpreter engine for the LP version of the backward
chaining rule system.
|
| LPInterpreterContext |
The context in which an LPInterpreter instance is running.
|
| LPInterpreterState |
Marker interface for classes than can be used to initialize the
state of an LP interpreter - either an initial context (which
in turn is either a top level iterator or an generator being
run for the first time), or a previous saved context (i.e.
|
| LPRuleStore |
Holds the set of backward rules used by an LPEngine.
|
| RETEClauseFilter |
Checks a triple against the grounded matches and intra-triple matches
for a single rule clause.
|
| RETEEngine |
A RETE version of the forward rule system engine.
|
| RETENode |
Interface for all nodes in the network.
|
| RETEQueue |
Represents one input left of a join node.
|
| RETERuleContext |
An implementation of the generic RuleContext for use in the RETE implementation.
|
| RETESinkNode |
Interface for all inner nodes in the RETE network.
|
| RETESourceNode |
Interface for all non-terminal nodes in the network.
|
| RuleClauseCode |
Object used to hold the compiled bytecode stream for a single rule clause.
|
| RuleStore |
Indexes a collection of rule.
|
| StateFlag |
A set of constants used to record state information in the
backchaining rule interpreter.
|