tptp_parser

Class SimpleTptpParserOutput.ThfFormula.ThfQuantified

java.lang.Object

tptp_parser.SimpleTptpParserOutput.ThfFormula

tptp_parser.SimpleTptpParserOutput.ThfFormula.ThfQuantified

All Implemented Interfaces:

TptpParserOutput.ThfFormula

Enclosing class:

SimpleTptpParserOutput.ThfFormula

public static class SimpleTptpParserOutput.ThfFormula.ThfQuantified
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
ThfQuantified(TptpParserOutput.Quantifier quantifier, SimpleTptpParserOutput.ThfFormula variable, TptpParserOutput.ThfFormula matrix)

Method Summary

Modifier and Type	Method and Description
boolean	equals(Object obj)
SimpleTptpParserOutput.ThfFormula	getMatrix()
TptpParserOutput.Quantifier	getQuantifier()
SimpleTptpParserOutput.ThfFormula	getVariable()
int	hashCode() should never be called so throw an error.
String	toString()
String	toString(int indent)
String	toString(int indent, boolean outputQuantifier)
String	toString(int indent, TptpParserOutput.BinaryConnective connective)
String	toString(int indent, TptpParserOutput.BinaryConnective connective, boolean outputQuantifier)

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

ThfQuantified

public ThfQuantified(TptpParserOutput.Quantifier quantifier,
                     SimpleTptpParserOutput.ThfFormula variable,
                     TptpParserOutput.ThfFormula matrix)

Method Detail

getQuantifier

public TptpParserOutput.Quantifier getQuantifier()

getVariable

public SimpleTptpParserOutput.ThfFormula getVariable()

getMatrix

public SimpleTptpParserOutput.ThfFormula getMatrix()

equals

public boolean equals(Object obj)

Overrides:

equals in class SimpleTptpParserOutput.ThfFormula

Parameters:

obj - must be convertible to Quantified, 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,
                       boolean outputQuantifier)

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

toString

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