- All Known Implementing Classes:
- SimpleTptpParserOutput.Annotations
- Enclosing interface:
- TptpParserOutput
public static interface TptpParserOutput.Annotations
Must be implemented by a class representing annotations,
ie instances of <annotations> in the BNF grammar.