Documentation

Fields

• _chrgstStore :: !(CHRStore cnstr guard bprio prio)

  Actual database of rules, to be searched

• _chrgstNextFreeRuleInx :: !CHRInx

  Next free rule identification, used by solving to identify whether a rule has been used for a constraint. The numbering is applied to constraints inside a rule which can be matched.

• _chrgstScheduleQueue :: !(MinPQueue (CHRPrioEvaluatableVal bprio) (CHRMonoBacktrackPrioT cnstr guard bprio prio subst env m (SolverResult subst)))
   
• _chrgstTrace :: !(SolveTrace' cnstr (StoredCHR cnstr guard bprio prio) subst)
   
• _chrgstStatNrSolveSteps :: !Int
   
• _chrgstVarToNmMp :: !VarToNmMp
   

Fields

• _chrbstBacktrackPrio :: !(CHRPrioEvaluatableVal bprio)

  the current backtrack prio the solver runs on

• _chrbstRuleWorkQueue :: !WorkQueue

  work queue for rule matching

• _chrbstSolveQueue :: !WorkQueue

  solve queue, constraints which are not solved by rule matching but with some domain specific solver, yielding variable subst constributing to backtrackable bindings

• _chrbstResidualQueue :: [WorkInx]

  residual queue, constraints which are residual, no need to solve, etc

• _chrbstWorkStore :: !(WorkStore cnstr)

  Actual database of solvable constraints

• _chrbstMatchedCombis :: !(Set MatchedCombi)

  all combis of chr + work which were reduced, to prevent this from happening a second time (when propagating)

• _chrbstFreshVar :: !Int

  for fresh var

• _chrbstSolveSubst :: !subst

  subst for variable bindings found during solving, not for the ones binding rule metavars during matching but for the user ones (in to be solved constraints)

• _chrbstWaitForVar :: !(Map (VarLookupKey subst) [WaitForVar subst])

  work waiting for a var to be bound

• _chrbstReductionSteps :: ![SolverReductionStep]

  trace of reduction steps taken (excluding solve steps)

Fields

• slvresSubst :: !subst

  global found variable bindings

• slvresResidualCnstr :: ![WorkInx]

  constraints which are residual, no need to solve, etc, leftover when ready, taken from backtrack state

• slvresWorkCnstr :: ![WorkInx]

  constraints which are still unsolved, taken from backtrack state

• slvresWaitVarCnstr :: ![WorkInx]

  constraints which are still unsolved, waiting for variable resolution

• slvresReductionSteps :: ![SolverReductionStep]

  how did we get to the result (taken from the backtrack state when a result is given back)

Fields

• chrslvOptSucceedOnLeftoverWork :: !Bool

  left over unresolvable (non residue) work is also a successful result

• chrslvOptSucceedOnFailedSolve :: !Bool

  failed solve is considered also a successful result, with the failed constraint as a residue

• chrslvOptGatherDebugInfo :: !Bool

  gather debug info

• chrslvOptGatherTraceInfo :: !Bool

  gather trace info