|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use DifferentIndividualsAtom | |
---|---|
com.clarkparsia.pellet.rules | |
com.clarkparsia.pellet.rules.model |
Uses of DifferentIndividualsAtom in com.clarkparsia.pellet.rules |
---|
Methods in com.clarkparsia.pellet.rules with parameters of type DifferentIndividualsAtom | |
---|---|
void |
RuleAtomAsserter.visit(DifferentIndividualsAtom atom)
|
void |
RulesToATermTranslator.visit(DifferentIndividualsAtom atom)
|
Uses of DifferentIndividualsAtom in com.clarkparsia.pellet.rules.model |
---|
Methods in com.clarkparsia.pellet.rules.model with parameters of type DifferentIndividualsAtom | |
---|---|
void |
DefaultRuleAtomVisitor.visit(DifferentIndividualsAtom atom)
|
void |
RuleAtomVisitor.visit(DifferentIndividualsAtom atom)
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |