TPTPWorld

Class TPTPParser.Symbol

java.lang.Object

TPTPWorld.TPTPParser.Symbol

Enclosing class:

TPTPParser

public static class TPTPParser.Symbol
extends Object

Method Summary

Modifier and Type	Method and Description
String	toString()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Method Detail

toString

public String toString()

Overrides:

toString in class Object