tpdb-0.8.4: Data Type for Rewriting Systems

Safe Haskell	Safe-Inferred
Language	Haskell98

TPDB.Data

Synopsis

Documentation

data Identifier Source

Constructors

Identifier
Fields _identifier_hash :: Int name :: String arity :: Int

Instances

Eq Identifier
Ord Identifier
Show Identifier
XmlContent Identifier	FIXME: move to separate module
Hashable Identifier
Pretty Identifier
XRead Identifier
Reader Identifier
Typeable * Identifier
Reader (SRS Identifier)
Reader v => Reader (Term v Identifier)
Reader (TRS Identifier Identifier)

mk :: Int -> String -> Identifier Source

data Relation Source

Constructors

Strict
Weak
Equal

Instances

Eq Relation
Ord Relation
Show Relation
Typeable * Relation

data Rule a Source

Constructors

Rule
Fields lhs :: a rhs :: a relation :: Relation top :: Bool

Instances

Eq a => Eq (Rule a)
Ord a => Ord (Rule a)
(Typeable * t, XmlContent t) => XmlContent (Rule t)
(HTypeable (Rule (Term v c)), XmlContent (Term v c)) => XmlContent (Rule (Term v c))
HTypeable (Rule (Term v c))
PrettyTerm a => Pretty (Rule a)
Reader u => Reader (Rule u)
Typeable (* -> *) Rule

strict :: Rule a -> Bool Source

weak :: Rule a -> Bool Source

equal :: Rule a -> Bool Source

data RS s r Source

Constructors

RS
Fields signature :: [s] better keep order in signature (?) rules :: [Rule r] separate :: Bool if True, write comma between rules

Instances

Reader (SRS Identifier)
(Typeable * v, Typeable * c, XmlContent v, XmlContent c) => XmlContent (TRS v c)
(Pretty s, PrettyTerm r) => Pretty (RS s r)
Reader (TRS Identifier Identifier)
Typeable (* -> * -> *) RS

strict_rules :: RS s t -> [(t, t)] Source

weak_rules :: RS s t -> [(t, t)] Source

equal_rules :: RS s t -> [(t, t)] Source

type TRS v s = RS s (Term v s) Source

type SRS s = RS s [s] Source

data Problem v s Source

Constructors

Problem
Fields type_ :: Type trs :: TRS v s strategy :: Maybe Strategy startterm :: Maybe Startterm

Instances

(Pretty s, Pretty r) => Pretty (Problem s r)

data Type Source

Constructors

Termination
Complexity

Instances

data Strategy Source

Constructors

Full
Innermost
Outermost

Instances

data Startterm Source

Constructors

Startterm_Constructor_based
Startterm_Full

Instances

type TES = TRS Identifier Identifier Source

legaca stuff (used in matchbox)

type SES = SRS Identifier Source

mknullary :: String -> Identifier Source

mkunary :: String -> Identifier Source

from_strict_rules :: Bool -> [(t, t)] -> RS i t Source

with_rules :: RS s t -> [Rule r] -> RS s r Source

module TPDB.Data.Term