Safe Haskell	None
Language	Haskell98

UHC.Util.CHR.Solve.TreeTrie.Mono

Description

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.

Synopsis

Documentation

data CHRStore cnstr guard Source #

A CHR store is a trie structure

Instances

(Ord (TTKey c), Serialize (TTKey c), Serialize c, Serialize g) => Serialize (CHRStore c g) Source #
Methods sput :: CHRStore c g -> SPut Source # sget :: SGet (CHRStore c g) Source # sputNested :: CHRStore c g -> SPut Source # sgetNested :: SGet (CHRStore c g) Source #

emptyCHRStore :: CHRStore cnstr guard Source #

data StoredCHR c g Source #

A CHR as stored in a CHRStore, requiring additional info for efficiency

Constructors

StoredCHR
Fields storedChr :: !(Rule c g () ()) storedKeyedInx :: !Int storedKeys :: ![Maybe (CHRKey c)] storedIdent :: !(UsedByKey c)

Instances

Show (StoredCHR c g) Source #
Methods showsPrec :: Int -> StoredCHR c g -> ShowS # show :: StoredCHR c g -> String # showList :: [StoredCHR c g] -> ShowS #
(PP (TTKey c), PP c, PP g) => PP (StoredCHR c g) Source #
Methods pp :: StoredCHR c g -> PP_Doc # ppList :: [StoredCHR c g] -> PP_Doc #
(Serialize c, Serialize g, Serialize (TTKey c)) => Serialize (StoredCHR c g) Source #
Methods sput :: StoredCHR c g -> SPut Source # sget :: SGet (StoredCHR c g) Source # sputNested :: StoredCHR c g -> SPut Source # sgetNested :: SGet (StoredCHR c g) Source #
TTKeyable (Rule c g () ()) => TTKeyable (StoredCHR c g) Source #
Methods toTTKey' :: TTKeyableOpts -> StoredCHR c g -> TreeTrieKey (TTKey (StoredCHR c g)) Source # toTTKeyParentChildren' :: TTKeyableOpts -> StoredCHR c g -> (TreeTrie1Key (TTKey (StoredCHR c g)), [TreeTrieMpKey (TTKey (StoredCHR c g))]) Source #
type TTKey (StoredCHR c g) Source #
type TTKey (StoredCHR c g) = TTKey c

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

Convert from list to store

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

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

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

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

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

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

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

data SolveStep' c r s Source #

A trace step

Constructors

SolveStep
Fields stepChr :: r stepSubst :: s stepAlt :: Maybe [c] stepNewTodo :: [c] stepNewDone :: [c]
SolveStats
Fields stepStats :: Map String PP_Doc
SolveDbg
Fields stepPP :: PP_Doc

Instances

Show (SolveStep' c r s) Source #
Methods showsPrec :: Int -> SolveStep' c r s -> ShowS # show :: SolveStep' c r s -> String # showList :: [SolveStep' c r s] -> ShowS #
(PP r, PP c) => PP (SolveStep' c r s) Source #
Methods pp :: SolveStep' c r s -> PP_Doc # ppList :: [SolveStep' c r s] -> PP_Doc #

type SolveStep c g s = SolveStep' c (Rule c g () ()) s Source #

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

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

type SolveState c g s = SolveState' c (Rule c g () ()) (StoredCHR c g) s Source #

emptySolveState :: SolveState' c r sr s Source #

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

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

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

class (IsCHRConstraint env c s, IsCHRGuard env g s, LookupApply s s, CHREmptySubstitution s, TrTrKey c ~ TTKey c) => IsCHRSolvable env c g s | c g -> s Source #

(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) Source #

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 Source #

Solve

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

Solve