tpdb-0.9.8: Data Type for Rewriting Systems

Safe Haskell	Safe-Inferred

TPDB.Data

Synopsis

Documentation

data Identifier Source

Constructors

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

Instances

Eq Identifier
Ord Identifier
Show Identifier
Typeable Identifier
XmlContent Identifier	FIXME: move to separate module
Hashable Identifier
Pretty Identifier
Reader Identifier
Reader (SRS Identifier)
XmlContent (TRS Identifier Symbol)
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

Functor Rule
Typeable1 Rule
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)

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

Typeable2 RS
Functor (RS s)
Reader (SRS Identifier)
Eq r => Eq (RS s r)
XmlContent (TRS Identifier Symbol)
(Pretty s, PrettyTerm r) => Pretty (RS s r)
Reader (TRS Identifier Identifier)

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 tSource

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

module TPDB.Data.Term