Uses of Class
openllet.core.rules.RuleAtomAsserter

Packages that use RuleAtomAsserter

Package	Description
openllet.core.tableau.branch

Uses of RuleAtomAsserter in openllet.core.tableau.branch

Constructors in openllet.core.tableau.branch with parameters of type RuleAtomAsserter

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