tptp_parser

Class SimpleTptpParserOutput.Formula.Negation

java.lang.Object

tptp_parser.SimpleTptpParserOutput.Formula

tptp_parser.SimpleTptpParserOutput.Formula.Negation

All Implemented Interfaces:

TptpParserOutput.FofFormula

Enclosing class:

SimpleTptpParserOutput.Formula

public static class SimpleTptpParserOutput.Formula.Negation
extends SimpleTptpParserOutput.Formula

Nested Class Summary

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

SimpleTptpParserOutput.Formula.Atomic, SimpleTptpParserOutput.Formula.Binary, SimpleTptpParserOutput.Formula.Kind, SimpleTptpParserOutput.Formula.Negation, SimpleTptpParserOutput.Formula.Quantified

Field Summary

Fields inherited from class tptp_parser.SimpleTptpParserOutput.Formula

_kind

Constructor Summary

Constructors

Constructor and Description
Negation(TptpParserOutput.FofFormula argument)

Method Summary

Modifier and Type	Method and Description
boolean	equals(Object obj)
SimpleTptpParserOutput.Formula	getArgument() Returns the formula under the negation.
int	hashCode() should never be called so throw an error.
String	toString()
String	toString(int indent)

Methods inherited from class tptp_parser.SimpleTptpParserOutput.Formula

getKind

Methods inherited from class java.lang.Object

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

Constructor Detail

Negation

public Negation(TptpParserOutput.FofFormula argument)

Method Detail

getArgument

public SimpleTptpParserOutput.Formula getArgument()

Returns the formula under the negation.

equals

public boolean equals(Object obj)

Overrides:

equals in class SimpleTptpParserOutput.Formula

Parameters:

obj - must be convertible to Negation, can be null

hashCode

public int hashCode()

Description copied from class: SimpleTptpParserOutput.Formula

should never be called so throw an error.

Overrides:

hashCode in class SimpleTptpParserOutput.Formula

toString

public String toString()

Overrides:

toString in class SimpleTptpParserOutput.Formula

toString

public String toString(int indent)

Overrides:

toString in class SimpleTptpParserOutput.Formula