Uses of Interface
com.clarkparsia.pellet.rules.model.RuleAtom

Packages that use RuleAtom

Package	Description
com.clarkparsia.pellet.rules
com.clarkparsia.pellet.rules.model
org.mindswap.pellet.tableau.branch
org.mindswap.pellet.tbox.impl

Uses of RuleAtom in com.clarkparsia.pellet.rules

Methods in com.clarkparsia.pellet.rules with parameters of type RuleAtom

Modifier and Type	Method and Description
boolean	RuleAtomAsserter.assertAtom(RuleAtom atom, VariableBinding binding, DependencySet ds, boolean negated, ABox abox, CompletionStrategy strategy)
static Collection<AtomDVariable>	VariableUtils.getDVars(RuleAtom atom) Static convenience function to return the instance variables used in the given atom.
static Collection<AtomIVariable>	VariableUtils.getIVars(RuleAtom atom) Static convenience function to return the instance variables used in the given atom.
static Collection<AtomVariable>	VariableUtils.getVars(RuleAtom atom) Static convenience function to return the variables used in the given atom.
DependencySet	TrivialSatisfactionHelpers.isAtomTrue(RuleAtom atom, VariableBinding binding)
aterm.ATermAppl	RulesToATermTranslator.translate(RuleAtom ruleAtom)
TermTuple	RulesToReteTranslator.translateAtom(RuleAtom atom, DependencySet ds) Translates a rule atom into a rete triple.

Method parameters in com.clarkparsia.pellet.rules with type arguments of type RuleAtom

Modifier and Type	Method and Description
List<TermTuple>	RulesToReteTranslator.translateAtoms(Collection<? extends RuleAtom> atoms, DependencySet ds) Translates a list of rule atoms into rete triples.

Uses of RuleAtom in com.clarkparsia.pellet.rules.model

Classes in com.clarkparsia.pellet.rules.model that implement RuleAtom

Modifier and Type	Class and Description
class	BinaryAtom<P,A extends AtomObject,B extends AtomObject> Title: Property Atom
class	BuiltInAtom Title: Built-In Atom
class	ClassAtom Title: Class Atom
class	DataRangeAtom Title: Data Range Atom
class	DatavaluedPropertyAtom Title: Datavalued Property Atom
class	DifferentIndividualsAtom Title: Different Individuals Atom
class	IndividualPropertyAtom Title: Individual Property Atom
class	RuleAtomImpl<P> Title: Rule Atom Implementation
class	SameIndividualAtom Title: Same Individual Atom
class	UnaryAtom<A extends AtomObject> Title: Unary Atom

Methods in com.clarkparsia.pellet.rules.model that return types with arguments of type RuleAtom

Modifier and Type	Method and Description
Collection<? extends RuleAtom>	Rule.getBody()
Collection<? extends RuleAtom>	Rule.getHead()

Constructor parameters in com.clarkparsia.pellet.rules.model with type arguments of type RuleAtom

Constructor and Description
Rule(aterm.ATermAppl name, Collection<? extends RuleAtom> head, Collection<? extends RuleAtom> body)
Rule(aterm.ATermAppl name, Collection<? extends RuleAtom> head, Collection<? extends RuleAtom> body)
Rule(aterm.ATermAppl name, Collection<? extends RuleAtom> head, Collection<? extends RuleAtom> body, Set<aterm.ATermAppl> explanation)
Rule(aterm.ATermAppl name, Collection<? extends RuleAtom> head, Collection<? extends RuleAtom> body, Set<aterm.ATermAppl> explanation)
Rule(Collection<? extends RuleAtom> head, Collection<? extends RuleAtom> body)
Rule(Collection<? extends RuleAtom> head, Collection<? extends RuleAtom> body)
Rule(Collection<? extends RuleAtom> head, Collection<? extends RuleAtom> body, Set<aterm.ATermAppl> explanation)
Rule(Collection<? extends RuleAtom> head, Collection<? extends RuleAtom> body, Set<aterm.ATermAppl> explanation)

Uses of RuleAtom in org.mindswap.pellet.tableau.branch

Constructor parameters in org.mindswap.pellet.tableau.branch with type arguments of type RuleAtom

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

Uses of RuleAtom in org.mindswap.pellet.tbox.impl

Method parameters in org.mindswap.pellet.tbox.impl with type arguments of type RuleAtom

Modifier and Type	Method and Description
protected int	RuleAbsorber.processClass(AtomIObject var, aterm.ATermAppl c, List<RuleAtom> atoms, int varCount)
protected void	RuleAbsorber.processDatatype(AtomDObject var, aterm.ATermAppl c, List<RuleAtom> atoms)