Uses of Class
tptp_parser.SimpleTptpParserOutput.Annotations

Packages that use SimpleTptpParserOutput.Annotations

Package	Description
tptp_parser
TPTPWorld

Uses of SimpleTptpParserOutput.Annotations in tptp_parser

Methods in tptp_parser that return SimpleTptpParserOutput.Annotations

Modifier and Type	Method and Description
SimpleTptpParserOutput.Annotations	SimpleTptpParserOutput.AnnotatedThfFormula.getAnnotations()
SimpleTptpParserOutput.Annotations	SimpleTptpParserOutput.AnnotatedFormula.getAnnotations()
SimpleTptpParserOutput.Annotations	SimpleTptpParserOutput.AnnotatedClause.getAnnotations()

Methods in tptp_parser with parameters of type SimpleTptpParserOutput.Annotations

Modifier and Type	Method and Description
void	SimpleTptpParserOutput.AnnotatedThfFormula.setAnnotations(SimpleTptpParserOutput.Annotations newAnnotations)
void	SimpleTptpParserOutput.AnnotatedFormula.setAnnotations(SimpleTptpParserOutput.Annotations newAnnotations)
void	SimpleTptpParserOutput.AnnotatedClause.setAnnotations(SimpleTptpParserOutput.Annotations newAnnotations)

Uses of SimpleTptpParserOutput.Annotations in TPTPWorld

Fields in TPTPWorld declared as SimpleTptpParserOutput.Annotations

Modifier and Type	Field and Description
SimpleTptpParserOutput.Annotations	TPTPFormula.annotations