|
||||||||||
| 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 | |||||||||