tptp_parser

Class SimpleTptpParserOutput.ThfFormula.ThfUnary

java.lang.Object

tptp_parser.SimpleTptpParserOutput.ThfFormula

tptp_parser.SimpleTptpParserOutput.ThfFormula.ThfUnary

All Implemented Interfaces:

TptpParserOutput.ThfFormula

Enclosing class:

SimpleTptpParserOutput.ThfFormula

public static class SimpleTptpParserOutput.ThfFormula.ThfUnary
extends SimpleTptpParserOutput.ThfFormula

Nested Class Summary

Nested classes/interfaces inherited from class tptp_parser.SimpleTptpParserOutput.ThfFormula

SimpleTptpParserOutput.ThfFormula.Kind, SimpleTptpParserOutput.ThfFormula.ThfAtomic, SimpleTptpParserOutput.ThfFormula.ThfBinary, SimpleTptpParserOutput.ThfFormula.ThfQuantified, SimpleTptpParserOutput.ThfFormula.ThfUnary

Field Summary

Fields inherited from class tptp_parser.SimpleTptpParserOutput.ThfFormula

_kind

Constructor Summary

Constructors

Constructor and Description
ThfUnary(TptpParserOutput.UnaryConnective unary, TptpParserOutput.ThfFormula argument)

Method Summary

Modifier and Type	Method and Description
boolean	equals(Object obj)
SimpleTptpParserOutput.ThfFormula	getArgument() Returns the formula under the negation.
TptpParserOutput.UnaryConnective	getConnective() Returns the unary connective.
int	hashCode() should never be called so throw an error.
String	toString()
String	toString(int indent)
String	toString(int indent, TptpParserOutput.BinaryConnective connective)

Methods inherited from class tptp_parser.SimpleTptpParserOutput.ThfFormula

getKind

Methods inherited from class java.lang.Object

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

Constructor Detail

ThfUnary

public ThfUnary(TptpParserOutput.UnaryConnective unary,
                TptpParserOutput.ThfFormula argument)

Method Detail

getConnective

public TptpParserOutput.UnaryConnective getConnective()

Returns the unary connective.

getArgument

public SimpleTptpParserOutput.ThfFormula getArgument()

Returns the formula under the negation.

equals

public boolean equals(Object obj)

Overrides:

equals in class SimpleTptpParserOutput.ThfFormula

Parameters:

obj - must be convertible to Negation, can be null

hashCode

public int hashCode()

Description copied from class: SimpleTptpParserOutput.ThfFormula

should never be called so throw an error.

Overrides:

hashCode in class SimpleTptpParserOutput.ThfFormula

toString

public String toString()

Overrides:

toString in class SimpleTptpParserOutput.ThfFormula

toString

public String toString(int indent)

Overrides:

toString in class SimpleTptpParserOutput.ThfFormula

toString

public String toString(int indent,
                       TptpParserOutput.BinaryConnective connective)

Overrides:

toString in class SimpleTptpParserOutput.ThfFormula