package tptp
Type Members
-
class
TPTPImporter extends TraversingBuildTarget with BuildTargetArguments
translates TPTP to Twelf using TPTP2x's prolog code
- class TPTPInterpreter extends OneStepInterpreter
- class TPTPObjectParser extends ObjectParser
- class TPTPParser extends Parser