Uses of Class
com.clarkparsia.pellet.rules.RuleAtomAsserter

Packages that use RuleAtomAsserter

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

Constructor and Description
RuleBranch(ABox abox, CompletionStrategy completion, RuleAtomAsserter ruleAtomAsserter, List<RuleAtom> atoms, VariableBinding binding, int bodyAtomCount, DependencySet ds)