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

A CHR store is a trie structure

Instances

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

emptyCHRStore :: CHRStore cnstr guard

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

Convert from list to store

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

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

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

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

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

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

ppCHRStore' :: (PP c, PP g, Ord (TTKey c), PP (TTKey c)) => CHRStore c g -> 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 s = SolveStep' c (Rule c g () ()) s

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

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

type SolveState c g s = SolveState' c (Rule c g () ()) (StoredCHR c g) 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, VarLookupCmb s s, VarUpdatable s s, CHREmptySubstitution s, TrTrKey c ~ TTKey c) => IsCHRSolvable env c g s | c g -> s

(Class alias) API for solving requirements

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

Solve

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

Solve

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

Solve