package parser

Ordering
  1. Alphabetic
Visibility
  1. Public
  2. All

Type Members

  1. trait Parser extends AnyRef

  2. abstract class Symbol extends AnyRef

    Objects to facilitate the creation of logical terms.

    Objects to facilitate the creation of logical terms.

    Since

    24.05.2016

  3. class TPTPCNFParser extends Parser with CNF

  4. class TPTPFOFParser extends Parser with FOF

Value Members

  1. object ConditionalTerm
  2. object Constant extends Symbol
  3. object DistinctObjectTerm extends Symbol
  4. object FunctionTerm
  5. object NumberTerm extends Symbol
  6. object TypedConstant extends Symbol
  7. object TypedFunctionSymbol extends Symbol
  8. object TypedNumberTerm extends Symbol
  9. object TypedVariable extends Symbol
  10. object Variable extends Symbol

Ungrouped