org.semanticweb.HermiT.model
Class Atom
java.lang.Object
org.semanticweb.HermiT.model.Atom
- All Implemented Interfaces:
- Serializable
public class Atom
- extends Object
- implements Serializable
Represents an atom in a DL clause.
- See Also:
- Serialized Form
s_infixPredicates
public static final 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)
getVariables
public void getVariables(Set<Variable> variables)
getIndividuals
public void getIndividuals(Set<Individual> individuals)
containsVariable
public boolean containsVariable(Variable variable)
replaceDLPredicate
public Atom replaceDLPredicate(DLPredicate newDLPredicate)
toString
public String toString(Prefixes prefixes)
toString
public String toString()
- Overrides:
toString
in class Object
readResolve
protected Object readResolve()
create
public static Atom create(DLPredicate dlPredicate,
Term... arguments)
Copyright © 2012. All Rights Reserved.