techniques.FOL
Class Symbol

java.lang.Object
  |
  +--techniques.FOL.Symbol
All Implemented Interfaces:
java.lang.Cloneable

public class Symbol
extends java.lang.Object
implements java.lang.Cloneable


Constructor Summary
Symbol()
           
Symbol(java.lang.String _name)
           
 
Method Summary
 java.lang.Object clone()
           
 boolean equals(java.lang.Object o)
           
 java.lang.String name()
           
 java.lang.String toString()
           
 
Methods inherited from class java.lang.Object
getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

Symbol

public Symbol(java.lang.String _name)

Symbol

public Symbol()
Method Detail

clone

public java.lang.Object clone()

name

public java.lang.String name()

equals

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

toString

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