package prover9
Content Hierarchy
Ordering
- Alphabetic
Visibility
- Public
- Protected
Type Members
- trait Prover9TermParserA extends RegexParsers with PackratParsers
Parser for first order formulas in the prover9 format.
Parser for first order formulas in the prover9 format.
See http://www.cs.unm.edu/~mccune/mace4/manual/2009-11A/syntax.html
Right associative, infix operators: &, |, all, exists Infix operators: =, !=, <, >, , <=, >=, ->, <-, <-> Operator precedence (higher up in the list means binds weaker i.e. operator is closer to the root): ->, <-, <-> all, exists =, !=, <, >, , <=, >= - Operators missing: +,*,@,/,\, /\, \/,' Unhandled cases prover9 accepts (extended as exceptions are encountered): (all 1 P(1))
Value Members
- object Prover9TermParser extends Prover9TermParserA
Prolog Style Term Parser
- object Prover9TermParserLadrStyle extends Prover9TermParserA
LADR Style Term Parser
This is the API documentation for GAPT.
The main package is gapt.