tptp_parser

Class SimpleTptpParserOutput.Formula.Quantified

java.lang.Object

tptp_parser.SimpleTptpParserOutput.Formula

tptp_parser.SimpleTptpParserOutput.Formula.Quantified

All Implemented Interfaces:

TptpParserOutput.FofFormula

Enclosing class:

SimpleTptpParserOutput.Formula

public static class SimpleTptpParserOutput.Formula.Quantified
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
Quantified(TptpParserOutput.Quantifier quantifier, String variable, TptpParserOutput.FofFormula matrix)

Method Summary

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

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

Quantified

public Quantified(TptpParserOutput.Quantifier quantifier,
                  String variable,
                  TptpParserOutput.FofFormula matrix)

Method Detail

getQuantifier

public TptpParserOutput.Quantifier getQuantifier()

getVariable

public String getVariable()

getMatrix

public SimpleTptpParserOutput.Formula getMatrix()

equals

public boolean equals(Object obj)

Overrides:

equals in class SimpleTptpParserOutput.Formula

Parameters:

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

toString

public String toString(int indent,
                       boolean outputQuantifier)