edu.lehigh.swat.hawk.fol
Class Atom
java.lang.Object
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)
|
Methods inherited from class java.lang.Object |
clone, finalize, getClass, notify, notifyAll, wait, wait, wait |
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)
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