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)

Methods

showsPrec :: Int -> Problem f v -> ShowS

show :: Problem f v -> String

showList :: [Problem f v] -> ShowS

Reexported modules

module Data.Rewriting.Problem.Type

module Data.Rewriting.Problem.Parse

module Data.Rewriting.Problem.Pretty