UHC.Util.CHR.Rule

The representation of rules, which should allow an implementation of:

"A Flexible Search Framework for CHR", Leslie De Koninck, Tom Schrijvers, and Bart Demoen. http:/link.springer.com10.1007/978-3-540-92243-8_2

Documentation

data RuleBodyAlt cnstr bprio

Constructors

RuleBodyAlt

Fields

• rbodyaltBacktrackPrio :: !(Maybe bprio)

  optional backtrack priority, if absent it is inherited from the active backtrack prio

• rbodyaltBody :: ![cnstr]

  body constraints to be dealt with by rules , rbodyaltBodyBuiltin :: ![builtin] -- ^ builtin constraints to be dealt with by builtin solving

Instances

Show (RuleBodyAlt c bp)

Methods

showsPrec :: Int -> RuleBodyAlt c bp -> ShowS

show :: RuleBodyAlt c bp -> String

showList :: [RuleBodyAlt c bp] -> ShowS

(PP bp, PP c) => PP (RuleBodyAlt c bp)

Methods

pp :: RuleBodyAlt c bp -> PP_Doc

ppList :: [RuleBodyAlt c bp] -> PP_Doc

(Serialize c, Serialize p) => Serialize (RuleBodyAlt c p)

Methods

sput :: RuleBodyAlt c p -> SPut

sget :: SGet (RuleBodyAlt c p)

sputNested :: RuleBodyAlt c p -> SPut

sgetNested :: SGet (RuleBodyAlt c p)

VarExtractable c => VarExtractable (RuleBodyAlt c p)

Methods

varFree :: RuleBodyAlt c p -> [ExtrValVarKey (RuleBodyAlt c p)]

varFreeSet :: RuleBodyAlt c p -> Set (ExtrValVarKey (RuleBodyAlt c p))

(VarUpdatable c s, VarUpdatable p s) => VarUpdatable (RuleBodyAlt c p) s

Methods

varUpd :: s -> RuleBodyAlt c p -> RuleBodyAlt c p

varUpdCyc :: s -> RuleBodyAlt c p -> (RuleBodyAlt c p, VarMp' (VarLookupKey s) (VarLookupVal s))

type ExtrValVarKey (RuleBodyAlt c p)

type ExtrValVarKey (RuleBodyAlt c p) = ExtrValVarKey c

data Rule cnstr guard bprio prio

A CHR (rule) consist of head (simplification + propagation, boundary indicated by an Int), guard, and a body. All may be empty, but not all at the same time.

Constructors

Rule

Fields

• ruleHead :: ![cnstr]
• ruleSimpSz :: !Int

  length of the part of the head which is the simplification part

• ruleGuard :: ![guard]
• ruleBodyAlts :: ![RuleBodyAlt cnstr bprio]
• ruleBacktrackPrio :: !(Maybe bprio)

  backtrack priority, should be something which can be substituted with the actual prio, later to be referred to at backtrack prios of alternatives

• rulePrio :: !(Maybe prio)

  rule priority, to choose between rules with equal backtrack priority

• ruleName :: Maybe String

Instances

Show (Rule c g bp p)

Methods

showsPrec :: Int -> Rule c g bp p -> ShowS

show :: Rule c g bp p -> String

showList :: [Rule c g bp p] -> ShowS

(PP c, PP g, PP p, PP bp) => PP (Rule c g bp p)

Methods

pp :: Rule c g bp p -> PP_Doc

ppList :: [Rule c g bp p] -> PP_Doc

(Serialize c, Serialize g, Serialize bp, Serialize p) => Serialize (Rule c g bp p)

Methods

sput :: Rule c g bp p -> SPut

sget :: SGet (Rule c g bp p)

sputNested :: Rule c g bp p -> SPut

sgetNested :: SGet (Rule c g bp p)

TTKeyable cnstr => TTKeyable (Rule cnstr guard bprio prio)

Methods

toTTKey' :: TTKeyableOpts -> Rule cnstr guard bprio prio -> TreeTrieKey (TTKey (Rule cnstr guard bprio prio))

toTTKeyParentChildren' :: TTKeyableOpts -> Rule cnstr guard bprio prio -> (TreeTrie1Key (TTKey (Rule cnstr guard bprio prio)), [TreeTrieMpKey (TTKey (Rule cnstr guard bprio prio))])

(VarExtractable c, VarExtractable g, (~) * (ExtrValVarKey c) (ExtrValVarKey g)) => VarExtractable (Rule c g bp p)

Methods

varFree :: Rule c g bp p -> [ExtrValVarKey (Rule c g bp p)]

varFreeSet :: Rule c g bp p -> Set (ExtrValVarKey (Rule c g bp p))

(VarUpdatable c s, VarUpdatable g s, VarUpdatable bp s, VarUpdatable p s) => VarUpdatable (Rule c g bp p) s

Methods

varUpd :: s -> Rule c g bp p -> Rule c g bp p

varUpdCyc :: s -> Rule c g bp p -> (Rule c g bp p, VarMp' (VarLookupKey s) (VarLookupVal s))

type TTKey (Rule cnstr guard bprio prio)

type TTKey (Rule cnstr guard bprio prio) = TTKey cnstr

type ExtrValVarKey (Rule c g bp p)

type ExtrValVarKey (Rule c g bp p) = ExtrValVarKey c

ruleBody :: Rule c g bp p -> [c]

Backwards compatibility: if only one alternative, extract it, ignore other alts

ruleBody' :: Rule c g bp p -> ([c], [c])

Backwards compatibility: if only one alternative, extract it, ignore other alts

ruleSz :: Rule c g bp p -> Int

Total nr of cnstrs in rule

(/\) :: [c] -> [c] -> RuleBodyAlt c p infixl 6

Rule body backtracking alternative

(\/) :: [RuleBodyAlt c p] -> [RuleBodyAlt c p] -> [RuleBodyAlt c p] infixr 4

Rule body backtracking alternatives

(\!) :: RuleBodyAlt c p -> p -> RuleBodyAlt c p infixl 5

Add backtrack priority to body alternative

(<=>>) :: [a] -> ([a], t) -> Rule a guard bprio prio

Construct simplification rule out of head, body, and builtin constraints

(==>>) :: [cnstr] -> ([cnstr], t) -> Rule cnstr guard bprio prio

Construct propagation rule out of head, body, and builtin constraints

(<\>>) :: ([a], [a]) -> ([a], t) -> Rule a guard bprio prio

Construct simpagation rule out of head, body, and builtin constraints

(<==>) :: [a] -> [a] -> Rule a guard bprio prio infix 3

Construct simplification rule out of head and body constraints

(<=>) :: [a] -> [a] -> Rule a guard bprio prio infix 3

(==>) :: [cnstr] -> [cnstr] -> Rule cnstr guard bprio prio infix 3

Construct propagation rule out of head and body constraints

(<\>) :: ([a], [a]) -> [a] -> Rule a guard bprio prio infix 3

Construct simpagation rule out of head and body constraints

(|>) :: Rule cnstr guard bprio prio -> [guard] -> Rule cnstr guard bprio prio infixl 2

Deprecated: Use (=|)

Add guards to rule

(=|) :: Rule cnstr guard bprio prio -> [guard] -> Rule cnstr guard bprio prio infixl 2

(=!) :: Rule cnstr guard bprio prio -> bprio -> Rule cnstr guard bprio prio infixl 2

Add backtrack priority to rule

(=!!) :: Rule cnstr guard bprio prio1 -> prio -> Rule cnstr guard bprio prio infixl 2

Add priority to rule

(=@) :: Rule cnstr guard bprio prio -> String -> Rule cnstr guard bprio prio infixl 2

Add label to rule

(@=) :: String -> Rule cnstr guard bprio prio -> Rule cnstr guard bprio prio infixr 1

Add label to rule