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

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)
           
 



Copyright © 2004 Evren Sirin. All Rights Reserved.