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

Packages that use RuleAtom

Package	Description
com.clarkparsia.pellet.rules
com.clarkparsia.pellet.rules.model
com.clarkparsia.pellet.rules.rete
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)

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 com.clarkparsia.pellet.rules.rete

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

Modifier and Type	Method and Description
AlphaNode	AlphaNetwork.addNode(RuleAtom atom)
boolean	AlphaNoVarEdgeNode.matches(RuleAtom atom)
boolean	AlphaEdgeNode.matches(RuleAtom atom)
boolean	AlphaDiffFromNode.matches(RuleAtom atom)
boolean	AlphaTypeNode.matches(RuleAtom atom)
boolean	AlphaReflexiveEdgeNode.matches(RuleAtom atom)
boolean	AlphaFixedObjectEdgeNode.matches(RuleAtom atom)
boolean	AlphaFixedSubjectEdgeNode.matches(RuleAtom atom)
abstract boolean	AlphaNode.matches(RuleAtom atom)

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)