tptp_parser

Interface TptpParserOutput.Source

All Known Implementing Classes:

SimpleTptpParserOutput.Source, SimpleTptpParserOutput.Source.Creator, SimpleTptpParserOutput.Source.File, SimpleTptpParserOutput.Source.Inference, SimpleTptpParserOutput.Source.Internal, SimpleTptpParserOutput.Source.ListOfSources, SimpleTptpParserOutput.Source.Name, SimpleTptpParserOutput.Source.Theory

Enclosing interface:

TptpParserOutput

public static interface TptpParserOutput.Source

Must be implemented by a class representing instances of <source> in the BNF grammar.