UHC.Util.CHR.Solve.TreeTrie.Mono

Derived from work by Gerrit vd Geest, but greatly adapted to use more efficient searching.

Assumptions (to be documented further) - The key [Trie.TrieKey Key] used to lookup a constraint in a CHR should be distinguishing enough to be used for the prevention of the application of a propagation rule for a 2nd time.

This is a monomorphic Solver, i.e. the solver is polymorph but therefore can only work on 1 type of constraints, rules, etc.

Documentation

data CHRStore cnstr guard prio

A CHR store is a trie structure

Instances

(Ord (TTKey c), Serialize (TTKey c), Serialize c, Serialize g, Serialize p) => Serialize (CHRStore c g p)

emptyCHRStore :: CHRStore cnstr guard prio

chrStoreFromElems :: (TTKeyable c, Ord (TTKey c), TTKey c ~ TrTrKey c) => [Rule c g p] -> CHRStore c g p

Convert from list to store

chrStoreUnion :: Ord (TTKey c) => CHRStore c g p -> CHRStore c g p -> CHRStore c g p

chrStoreUnions :: Ord (TTKey c) => [CHRStore c g p] -> CHRStore c g p

chrStoreSingletonElem :: (TTKeyable c, Ord (TTKey c), TTKey c ~ TrTrKey c) => Rule c g p -> CHRStore c g p

chrStoreToList :: Ord (TTKey c) => CHRStore c g p -> [(CHRKey c, [Rule c g p])]

chrStoreElems :: Ord (TTKey c) => CHRStore c g p -> [Rule c g p]

ppCHRStore :: (PP c, PP g, PP p, Ord (TTKey c), PP (TTKey c)) => CHRStore c g p -> PP_Doc

ppCHRStore' :: (PP c, PP g, PP p, Ord (TTKey c), PP (TTKey c)) => CHRStore c g p -> PP_Doc

data SolveStep' c r s

A trace step

Constructors

SolveStep

Fields

stepChr :: r

stepSubst :: s

stepNewTodo :: [c]

stepNewDone :: [c]

SolveStats

Fields

stepStats :: Map String PP_Doc

SolveDbg

Fields

stepPP :: PP_Doc

Instances

Show (SolveStep' c r s)

(PP r, PP c) => PP (SolveStep' c r s)

type SolveStep c g p s = SolveStep' c (Rule c g p) s

type SolveTrace c g p s = SolveTrace' c (Rule c g p) s

ppSolveTrace :: (PP r, PP c) => SolveTrace' c r s -> PP_Doc

type SolveState c g p s = SolveState' c (Rule c g p) (StoredCHR c g p) s

emptySolveState :: SolveState' c r sr s

solveStateResetDone :: SolveState' c r sr s -> SolveState' c r sr s

chrSolveStateDoneConstraints :: SolveState' c r sr s -> [c]

chrSolveStateTrace :: SolveState' c r sr s -> SolveTrace' c r s

class (IsCHRConstraint env c s, IsCHRGuard env g s, IsCHRPrio env p s, VarLookupCmb s s, VarUpdatable s s, CHREmptySubstitution s, TrTrKey c ~ TTKey c) => IsCHRSolvable env c g p s

(Class alias) API for solving requirements

chrSolve' :: forall env c g p s. IsCHRSolvable env c g p s => env -> CHRStore c g p -> [c] -> ([c], [c], SolveTrace c g p s)

Solve

chrSolve'' :: forall env c g p s. IsCHRSolvable env c g p s => env -> CHRStore c g p -> [c] -> SolveState c g p s -> SolveState c g p s

Solve

chrSolveM :: forall env c g p s. IsCHRSolvable env c g p s => env -> CHRStore c g p -> [c] -> State (SolveState c g p s) ()

Solve