edu.lehigh.swat.hawk.core
Class Axiom

java.lang.Object
  extended by edu.lehigh.swat.hawk.core.Axiom
All Implemented Interfaces:
java.io.Serializable

public class Axiom
extends java.lang.Object
implements java.io.Serializable

See Also:
Serialized Form

Constructor Summary
Axiom(int type)
           
 
Method Summary
 boolean equals(java.lang.Object o)
           
 AxiomNode getLeftAxiomNode()
           
 AxiomNode getRightAxiomNode()
           
 int getType()
           
 void setLeftAxiomNode(AxiomNode left)
           
 void setRightAxiomNode(AxiomNode right)
           
 
Methods inherited from class java.lang.Object
clone, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

Axiom

public Axiom(int type)
Method Detail

getLeftAxiomNode

public AxiomNode getLeftAxiomNode()

setLeftAxiomNode

public void setLeftAxiomNode(AxiomNode left)

getRightAxiomNode

public AxiomNode getRightAxiomNode()

setRightAxiomNode

public void setRightAxiomNode(AxiomNode right)

getType

public int getType()

equals

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