Uses of Class
com.clarkparsia.pellet.rules.rete.Fact

Packages that use Fact

Package	Description
com.clarkparsia.pellet.el
com.clarkparsia.pellet.rules
com.clarkparsia.pellet.rules.rete

Uses of Fact in com.clarkparsia.pellet.el

Method parameters in com.clarkparsia.pellet.el with type arguments of type Fact

Modifier and Type	Method and Description
protected MultiValueMap<aterm.ATermAppl,aterm.ATermAppl>	ReteBasedELClassifier.getSubsumers(Set<Fact> facts)

Uses of Fact in com.clarkparsia.pellet.rules

Methods in com.clarkparsia.pellet.rules with parameters of type Fact

Modifier and Type	Method and Description
Pair<Rule,VariableBinding>	ContinuousReteTransformer.translateFact(Fact fact) Translate inferred rule binding into a Rule-VariableBinding pair.

Uses of Fact in com.clarkparsia.pellet.rules.rete

Fields in com.clarkparsia.pellet.rules.rete declared as Fact

Modifier and Type	Field and Description
static Fact	Compiler.EMPTY_FACT

Fields in com.clarkparsia.pellet.rules.rete with type parameters of type Fact

Modifier and Type	Field and Description
Index<aterm.ATermAppl,Fact>	Node.index

Methods in com.clarkparsia.pellet.rules.rete that return types with arguments of type Fact

Modifier and Type	Method and Description
List<Fact>	BetaNode.join()
Set<Fact>	BetaNode.matchingFacts(TermTuple rhs, List<Fact> facts)
Set<Fact>	Interpreter.run()

Methods in com.clarkparsia.pellet.rules.rete with parameters of type Fact

Modifier and Type	Method and Description
boolean	AlphaNode.add(Fact fact)
boolean	Interpreter.addFact(Fact f)
Collection<AlphaNode>	AlphaIndex.match(Fact fact) Return a list of matching alpha nodes for a given pattern
boolean	AlphaNode.remove(Fact fact)

Method parameters in com.clarkparsia.pellet.rules.rete with type arguments of type Fact

Modifier and Type	Method and Description
Set<Fact>	BetaNode.matchingFacts(TermTuple rhs, List<Fact> facts)