Packages

package prover9

Ordering
  1. Alphabetic
Visibility
  1. Public
  2. All

Type Members

  1. trait Prover9TermParserA extends JavaTokenParsers with PackratParsers

Value Members

  1. object Prover9TermParser extends Prover9TermParserA

    Parser for first order formulas in the prover 9 format.

    Parser for first order formulas in the prover 9 format. ( 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))

  2. object Prover9TermParserLadrStyle extends Prover9TermParserA

Ungrouped