org.semanticweb.HermiT.model
Class Atom

java.lang.Object
  extended by 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

Field Summary
protected  Term[] m_arguments
           
protected  DLPredicate m_dlPredicate
           
static 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)
           
 int getArity()
           
 DLPredicate getDLPredicate()
           
 void getIndividuals(Set<Individual> individuals)
           
 void getVariables(Set<Variable> variables)
           
protected  Object readResolve()
           
 Atom replaceDLPredicate(DLPredicate newDLPredicate)
           
 String toString()
           
 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 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)

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.