org.semanticweb.HermiT.model
Class Atom

java.lang.Object
  extended by org.semanticweb.HermiT.model.Atom
All Implemented Interfaces:
java.io.Serializable

public class Atom
extends java.lang.Object
implements java.io.Serializable

Represents an atom in a DL clause.

See Also:
Serialized Form

Field Summary
protected  Term[] m_arguments
           
protected  DLPredicate m_dlPredicate
           
static java.util.Set<DLPredicate> s_infixPredicates
           
protected static InterningManager<Atom> s_interningManager
           
 
Constructor Summary
protected Atom(DLPredicate dlPredicate, Term[] arguments)
           
 
Method Summary
 boolean containsVariable(Variable variable)
           
static Atom create(DLPredicate dlPredicate, Term... arguments)
           
 Term getArgument(int argumentIndex)
           
 Variable getArgumentVariable(int argumentIndex)
          Returns the variable at position argumentIndex or null if that position contains something other than a variable.
 int getArity()
           
 DLPredicate getDLPredicate()
           
 void getIndividuals(java.util.Set<Individual> individuals)
           
 void getVariables(java.util.Set<Variable> variables)
           
protected  java.lang.Object readResolve()
           
 Atom replaceDLPredicate(DLPredicate newDLPredicate)
           
 java.lang.String toString()
           
 java.lang.String toString(Prefixes prefixes)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

s_infixPredicates

public static final java.util.Set<DLPredicate> s_infixPredicates

m_dlPredicate

protected final DLPredicate m_dlPredicate

m_arguments

protected final Term[] m_arguments

s_interningManager

protected static InterningManager<Atom> s_interningManager
Constructor Detail

Atom

protected Atom(DLPredicate dlPredicate,
               Term[] arguments)
Method Detail

getDLPredicate

public DLPredicate getDLPredicate()

getArity

public int getArity()

getArgument

public Term getArgument(int argumentIndex)

getArgumentVariable

public Variable getArgumentVariable(int argumentIndex)
Returns the variable at position argumentIndex or null if that position contains something other than a variable.


getVariables

public void getVariables(java.util.Set<Variable> variables)

getIndividuals

public void getIndividuals(java.util.Set<Individual> individuals)

containsVariable

public boolean containsVariable(Variable variable)

replaceDLPredicate

public Atom replaceDLPredicate(DLPredicate newDLPredicate)

toString

public java.lang.String toString(Prefixes prefixes)

toString

public java.lang.String toString()
Overrides:
toString in class java.lang.Object

readResolve

protected java.lang.Object readResolve()

create

public static Atom create(DLPredicate dlPredicate,
                          Term... arguments)