tptp_parser

Class SimpleTptpParserOutput.AnnotatedThfFormula

java.lang.Object

tptp_parser.SimpleTptpParserOutput.TopLevelItem

tptp_parser.SimpleTptpParserOutput.AnnotatedThfFormula

All Implemented Interfaces:

TptpParserOutput.TptpInput

Enclosing class:

SimpleTptpParserOutput

public static class SimpleTptpParserOutput.AnnotatedThfFormula
extends SimpleTptpParserOutput.TopLevelItem

Represents instances of <thf annotated> in the BNF grammar.

Nested Class Summary

Nested classes/interfaces inherited from interface tptp_parser.TptpParserOutput.TptpInput

TptpParserOutput.TptpInput.Kind

Field Summary

Fields inherited from class tptp_parser.SimpleTptpParserOutput.TopLevelItem

_kind, _lineNumber

Constructor Summary

Constructors

Constructor and Description
AnnotatedThfFormula(String name, TptpParserOutput.FormulaRole role, TptpParserOutput.ThfFormula formula, TptpParserOutput.Annotations annotations, int lineNumber)

Method Summary

Modifier and Type	Method and Description
SimpleTptpParserOutput.Annotations	getAnnotations()
SimpleTptpParserOutput.ThfFormula	getFormula()
String	getName()
TptpParserOutput.FormulaRole	getRole()
void	setAnnotations(SimpleTptpParserOutput.Annotations newAnnotations)
void	setName(String newName)
void	setRole(TptpParserOutput.FormulaRole newRole)
String	toString()
String	toString(int indent)

Methods inherited from class tptp_parser.SimpleTptpParserOutput.TopLevelItem

getKind, getLineNumber

Methods inherited from class java.lang.Object

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

Constructor Detail

AnnotatedThfFormula

public AnnotatedThfFormula(String name,
                           TptpParserOutput.FormulaRole role,
                           TptpParserOutput.ThfFormula formula,
                           TptpParserOutput.Annotations annotations,
                           int lineNumber)

Method Detail

getName

public String getName()

setName

public void setName(String newName)

getRole

public TptpParserOutput.FormulaRole getRole()

setRole

public void setRole(TptpParserOutput.FormulaRole newRole)

getFormula

public SimpleTptpParserOutput.ThfFormula getFormula()

getAnnotations

public SimpleTptpParserOutput.Annotations getAnnotations()

setAnnotations

public void setAnnotations(SimpleTptpParserOutput.Annotations newAnnotations)

toString

public String toString()

Overrides:

toString in class SimpleTptpParserOutput.TopLevelItem

toString

public String toString(int indent)

Overrides:

toString in class SimpleTptpParserOutput.TopLevelItem

Parameters:

indent - - indicate indentation for pretty-printing. if indent <= 0 then no indentation and not pretty-printing is used. The current indentation is expected to NOT be already output. Java calls the most specific subclass method automatically, so it would seem this entire method is superfluous and can be deleted.