Index

Modules: chris, chris/private/chrstore, chris/private/parse.

API symbols

`$`:

• chris: proc `$`(metad: ref [Metadatum] | ptr [Metadatum]): string
• chris: proc `$`(solver: ChrSolver): string
• chris: proc `$`(cc: CountedConstraint): string
• chris: proc `$`(indexResult: IndexResult): string

Check:

• parse: ClauseKind.Check

ChrSolver:

• chris: object ChrSolver

chrSolver:

• chris: template chrSolver[StoreT](solverName, body: untyped): untyped

chrStore:

• chris: template chrStore(signature, body: untyped): untyped

ClauseAst:

• parse: object ClauseAst

ClauseKind:

• parse: enum ClauseKind

ConstraintActivated:

• chris: LoggableEvents.ConstraintActivated

ConstraintCreated:

• chris: LoggableEvents.ConstraintCreated

constraints:

• chris: proc constraints(solver: ChrSolver): lent ChrSolver.StoreT

ConstraintStored:

• chris: LoggableEvents.ConstraintStored

contains:

• chris: proc contains(solver: ChrSolver; constraint: ChrSolver.ConstraintT): bool

copy:

• parse: proc copy(se: SearchExprAst[false]): SearchExprAst[true]

count:

• chris: proc count(solver: ChrSolver; constraint: ChrSolver.ConstraintT): Natural

CountedConstraint:

• chris: object CountedConstraint

defChrStore:

• chrstore: macro defChrStore(signature, body: untyped): untyped

distinctLen:

• chris: proc distinctLen(solver: ChrSolver): int
• chris: proc distinctLen(indexResult: IndexResult): int

Have:

• parse: ClauseKind.Have

IndexResult:

• chris: type IndexResult

items:

• chris: iterator items(solver: ChrSolver): ChrSolver.ConstraintT
• chris: iterator items(indexResult: IndexResult): IndexResult.ConstraintT

LoggableEvents:

• chris: enum LoggableEvents

LOGGED_EVENTS:

• chris: var LOGGED_EVENTS

LOGGER:

• chris: var LOGGER

LoggingEnabled:

• chris: const LoggingEnabled

metadata!chrisGS:

• chris: template metadata!chrisGS[ConstraintT, StoreT](c: typedesc[ConstraintT]; s: typedesc[StoreT]): typedesc

pairs:

• chris: iterator pairs(solver: ChrSolver): (ChrSolver.ConstraintT, Natural)
• chris: iterator pairs[ConstraintT](indexResult: IndexResult[ConstraintT, auto]): (ConstraintT, Natural)

parseSolver:

• parse: proc parseSolver(nimAst: NimNode): SolverAst[false]

Put:

• parse: ClauseKind.Put

putAndSolve:

• chris: proc putAndSolve(solver: var ChrSolver; constraints: varargs[ChrSolver.ConstraintT])

Remove:

• parse: ClauseKind.Remove

RuleAst:

• parse: object RuleAst

RuleFired:

• chris: LoggableEvents.RuleFired

SearchExprAst:

• parse: object SearchExprAst

SolverAst:

• parse: object SolverAst

WatchMainStore:

• chris: LoggableEvents.WatchMainStore

WatchNewStack:

• chris: LoggableEvents.WatchNewStack