tptp_parser

Class SimpleTptpParserOutput.GeneralTerm

java.lang.Object

tptp_parser.SimpleTptpParserOutput.GeneralTerm

All Implemented Interfaces:

TptpParserOutput.GeneralTerm

Enclosing class:

SimpleTptpParserOutput

public static class SimpleTptpParserOutput.GeneralTerm
extends Object
implements TptpParserOutput.GeneralTerm

Constructor Summary

Constructors

Constructor and Description
GeneralTerm(Iterable<TptpParserOutput.GeneralTerm> elements)
GeneralTerm(String str)
GeneralTerm(String function, Iterable<TptpParserOutput.GeneralTerm> arguments)
GeneralTerm(TptpParserOutput.CnfFormula formula)
GeneralTerm(TptpParserOutput.FofFormula formula)
GeneralTerm(TptpParserOutput.GeneralTerm left, TptpParserOutput.GeneralTerm right)
GeneralTerm(TptpParserOutput.Term term)
GeneralTerm(TptpParserOutput.ThfFormula formula)

Method Summary

Modifier and Type	Method and Description
Iterable<SimpleTptpParserOutput.GeneralTerm>	getArguments() Precondition: isFunction().
SimpleTptpParserOutput.Clause	getCnfFormula() Precondition: isCnfFormula().
String	getDistinctObject() Precondition: isDistinctObject().
SimpleTptpParserOutput.Formula	getFofFormula() Precondition: isFofFormula().
String	getFunction() Precondition: isFunction().
SimpleTptpParserOutput.GeneralTerm	getLeftColonOperand() Precondition: isColon().
Iterable<SimpleTptpParserOutput.GeneralTerm>	getListElements() Precondition: isList().
SimpleTptpParserOutput.GeneralTerm	getRightColonOperand() Precondition: isColon().
SimpleTptpParserOutput.Term	getTerm() Precondition: isTerm().
SimpleTptpParserOutput.ThfFormula	getThfFormula() Precondition: isThfFormula().
String	getVariable() Precondition: isVariable().
boolean	isCnfFormula()
boolean	isColon()
boolean	isDistinctObject()
boolean	isFofFormula()
boolean	isFunction()
boolean	isList()
boolean	isTerm()
boolean	isThfFormula()
boolean	isVariable()
String	toString()
String	toString(int indent)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

GeneralTerm

public GeneralTerm(String function,
                   Iterable<TptpParserOutput.GeneralTerm> arguments)

GeneralTerm

public GeneralTerm(Iterable<TptpParserOutput.GeneralTerm> elements)

GeneralTerm

public GeneralTerm(TptpParserOutput.GeneralTerm left,
                   TptpParserOutput.GeneralTerm right)

GeneralTerm

public GeneralTerm(String str)

GeneralTerm

public GeneralTerm(TptpParserOutput.ThfFormula formula)

GeneralTerm

public GeneralTerm(TptpParserOutput.FofFormula formula)

GeneralTerm

public GeneralTerm(TptpParserOutput.CnfFormula formula)

GeneralTerm

public GeneralTerm(TptpParserOutput.Term term)

Method Detail

isFunction

public boolean isFunction()

isList

public boolean isList()

isColon

public boolean isColon()

isDistinctObject

public boolean isDistinctObject()

isThfFormula

public boolean isThfFormula()

isFofFormula

public boolean isFofFormula()

isCnfFormula

public boolean isCnfFormula()

isTerm

public boolean isTerm()

isVariable

public boolean isVariable()

getFunction

public String getFunction()

Precondition: isFunction().

getArguments

public Iterable<SimpleTptpParserOutput.GeneralTerm> getArguments()

Precondition: isFunction().

getListElements

public Iterable<SimpleTptpParserOutput.GeneralTerm> getListElements()

Precondition: isList().

getLeftColonOperand

public SimpleTptpParserOutput.GeneralTerm getLeftColonOperand()

Precondition: isColon().

getRightColonOperand

public SimpleTptpParserOutput.GeneralTerm getRightColonOperand()

Precondition: isColon().

getDistinctObject

public String getDistinctObject()

Precondition: isDistinctObject().

getThfFormula

public SimpleTptpParserOutput.ThfFormula getThfFormula()

Precondition: isThfFormula().

getFofFormula

public SimpleTptpParserOutput.Formula getFofFormula()

Precondition: isFofFormula().

getCnfFormula

public SimpleTptpParserOutput.Clause getCnfFormula()

Precondition: isCnfFormula().

getTerm

public SimpleTptpParserOutput.Term getTerm()

Precondition: isTerm().

getVariable

public String getVariable()

Precondition: isVariable().

toString

public String toString()

Overrides:

toString in class Object

toString

public String toString(int indent)