edu.lehigh.swat.hawk.fol
Class Atom

java.lang.Object
  extended by edu.lehigh.swat.hawk.fol.Atom
All Implemented Interfaces:
java.io.Serializable, java.lang.Cloneable

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

Wrapper for FOL Atom

See Also:
Serialized Form

Constructor Summary
Atom(java.lang.String pred, int var)
           
Atom(java.lang.String pred, int[] args)
           
Atom(java.lang.String pred, int v1, int v2)
           
 
Method Summary
 boolean equals(java.lang.Object o)
           
 int[] getArguments()
           
 int getFirstArgument()
           
 java.lang.String getPredicate()
           
 int getSecondArgument()
           
 int hashCode()
           
 boolean isBinary()
           
 boolean isPrimitive()
           
 void setBinary(boolean b)
           
 void setPrimitive(boolean p)
           
 java.lang.String toString()
           
 
Methods inherited from class java.lang.Object
clone, finalize, getClass, notify, notifyAll, wait, wait, wait
 

Constructor Detail

Atom

public Atom(java.lang.String pred,
            int var)

Atom

public Atom(java.lang.String pred,
            int v1,
            int v2)

Atom

public Atom(java.lang.String pred,
            int[] args)
Method Detail

setPrimitive

public void setPrimitive(boolean p)

isPrimitive

public boolean isPrimitive()

setBinary

public void setBinary(boolean b)

isBinary

public boolean isBinary()

toString

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

getFirstArgument

public int getFirstArgument()

getSecondArgument

public int getSecondArgument()

getArguments

public int[] getArguments()

getPredicate

public java.lang.String getPredicate()

equals

public boolean equals(java.lang.Object o)
Overrides:
equals in class java.lang.Object

hashCode

public int hashCode()
Overrides:
hashCode in class java.lang.Object