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