org.semanticweb.HermiT.model
Class Atom
java.lang.Object
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
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
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
Atom
protected Atom(DLPredicate dlPredicate,
Term[] arguments)
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)