tptp_parser

Class SimpleTptpParserOutput.Symbol

java.lang.Object

tptp_parser.SimpleTptpParserOutput.Symbol

Enclosing class:

SimpleTptpParserOutput

public static class SimpleTptpParserOutput.Symbol
extends Object

Constructor Summary

Constructors

Constructor and Description
Symbol(String text, boolean isVariable)

Method Summary

Modifier and Type	Method and Description
boolean	equals(Object obj)
String	getText()
int	hashCode()
boolean	isVariable()
String	toString()

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

Symbol

public Symbol(String text,
              boolean isVariable)

Method Detail

isVariable

public boolean isVariable()

getText

public String getText()

equals

public boolean equals(Object obj)

Overrides:

equals in class Object

Parameters:

obj - must be convertible to Symbol, can be null

hashCode

public int hashCode()

Overrides:

hashCode in class Object

toString

public String toString()

Overrides:

toString in class Object