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
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 |
Symbol
public Symbol(java.lang.String _name)
Symbol
public Symbol()
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