|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use Fact | |
---|---|
com.clarkparsia.pellet.rules | |
com.clarkparsia.pellet.rules.rete |
Uses of Fact in com.clarkparsia.pellet.rules |
---|
Methods in com.clarkparsia.pellet.rules with parameters of type Fact | |
---|---|
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 | |
---|---|
static Fact |
Compiler.EMPTY_FACT
|
Fields in com.clarkparsia.pellet.rules.rete with type parameters of type Fact | |
---|---|
Index<aterm.ATermAppl,Fact> |
Node.index
|
Methods in com.clarkparsia.pellet.rules.rete that return types with arguments of type Fact | |
---|---|
java.util.List<Fact> |
BetaNode.join()
|
java.util.Set<Fact> |
BetaNode.matchingFacts(TermTuple rhs,
java.util.List<Fact> facts)
|
java.util.Set<Fact> |
Interpreter.run()
|
Methods in com.clarkparsia.pellet.rules.rete with parameters of type Fact | |
---|---|
boolean |
AlphaNode.add(Fact fact)
|
boolean |
Interpreter.addFact(Fact f)
|
java.util.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 | |
---|---|
java.util.Set<Fact> |
BetaNode.matchingFacts(TermTuple rhs,
java.util.List<Fact> facts)
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |