Namespace List

Here is a list of all documented namespaces with brief descriptions:

[detail level 12]

▼Nschedule	Hide all the global stuff in this namespace
Cadd_step	Semantic action for parser
Cadd_time	Semantic action for parser
Cnext_settings	Semantic action for parser
CSchedule	Wrap up the parsing process and the operation of a schedule in a single class
Cschedule_grammar
Cset_step	Semantic action for parser
Cset_value	Semantic action for parser
▼Ntptp_parser	The tptp_parser namespace contains a lot of stuff that's essentially just global
Ccnf_annotated_grammar
Ccnf_annotated_struct	Parser's representation of a Clause
Ccnf_formula_grammar
Cfof_annotated_grammar
Cfof_atomic_formula_grammar
Cfof_defined_infix_formula_grammar
Cfof_formula_grammar
Cfof_infix_unary_grammar
Cfof_plain_term_struct	Recursive data structure for Terms
Cfof_term_grammar
Cinclude_grammar
Cinfix_struct	Structure for fof_defined_infix_formula and fof_infix_unary
Cliteral_grammar
CTPTP_file_grammar
▼Nunicode_symbols	Vic_string - "verbose/indented/coloured"
CLogSym