Data.Rewriting.Problem

Termination problem type, based on WST format.

Documentation

data Problem f v

Constructors

Problem

Fields

startTerms :: StartTerms

strategy :: Strategy

theory :: Maybe [Theory f v]

rules :: RulesPair f v

variables :: [v]

symbols :: [f]

comment :: Maybe String

Instances

(Show f, Show v) => Show (Problem f v)

(Eq f, Eq v, Pretty f, Pretty v) => Pretty (Problem f v)

Reexported modules

module Data.Rewriting.Problem.Type

module Data.Rewriting.Problem.Parse

module Data.Rewriting.Problem.Pretty