term

parser

package parser

Provides some parsing functionality for terms.

There are two formats for terms which can be parsed by usage of the parsers in this package. A subset of the old trs format and the new xml format.

Visibility
  1. Public
  2. All

Type Members

  1. trait Parser extends AnyRef

    Represents a parser from string to an equational system.

Value Members

  1. object ParserOldTRS extends RegexParsers with Parser

    A parser from a subset of the old trs format to an equational system.

  2. object ParserXmlTRS extends Parser

    A parser from the new xml format to an equational system.