|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| Packages that use RuleAtomAsserter | |
|---|---|
| org.mindswap.pellet.tableau.branch | |
| Uses of RuleAtomAsserter in org.mindswap.pellet.tableau.branch |
|---|
| Constructors in org.mindswap.pellet.tableau.branch with parameters of type RuleAtomAsserter | |
|---|---|
RuleBranch(ABox abox,
CompletionStrategy completion,
RuleAtomAsserter ruleAtomAsserter,
java.util.List<RuleAtom> atoms,
VariableBinding binding,
int bodyAtomCount,
DependencySet ds)
|
|
|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||