tptp_parser

Class SimpleTptpParserOutput.AnnotatedClause

java.lang.Object

tptp_parser.SimpleTptpParserOutput.TopLevelItem

tptp_parser.SimpleTptpParserOutput.AnnotatedClause

All Implemented Interfaces:

TptpParserOutput.TptpInput

Enclosing class:

SimpleTptpParserOutput

public static class SimpleTptpParserOutput.AnnotatedClause
extends SimpleTptpParserOutput.TopLevelItem

Represents instances of <cnf 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
AnnotatedClause(String name, TptpParserOutput.FormulaRole role, TptpParserOutput.CnfFormula clause, TptpParserOutput.Annotations annotations, int lineNumber)

Method Summary

Modifier and Type	Method and Description
SimpleTptpParserOutput.Annotations	getAnnotations()
SimpleTptpParserOutput.Clause	getClause()
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

AnnotatedClause

public AnnotatedClause(String name,
                       TptpParserOutput.FormulaRole role,
                       TptpParserOutput.CnfFormula clause,
                       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)

getClause

public SimpleTptpParserOutput.Clause getClause()

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.