Expand description
Check repeated candidates against a prepared FlatZinc model. Preparation is optional; checking performs no I/O and starts no external tools.
Modules§
- cli
- Filesystem input and rendering shared by both native command entry points.
Structs§
- Application
- Argument
Value - Assignment
- Entries keep their written order so duplicate names can be diagnosed.
- Assignment
Entry - Automaton
Finding - BinPacking
Finding - Blocked
Check - Check
Error - Check
Report - Circuit
Argument - Circuit
Finding - Completeness
- Conflicting
Pair - Constraint
Ref - Count
Position - Diagnostic
- Distance
Argument - Finite
Float - A finite binary64 value. Equality is exact; either signed zero becomes positive zero.
- Float
Set - A fixed union of closed float ranges, ordered and nonoverlapping by exact bounds.
- Float
Tolerance - Absolute and relative comparison tolerances owned by a prepared model.
- Integer
Set - A finite set of i64 values stored as sorted, disjoint inclusive ranges. JSON endpoints are decimal strings; loading rejects noncanonical ranges.
- Inverse
Fault - Location
- Metadata
- Number
Theory Argument - Number
Theory Finding - Objective
Value - Ordering
Argument - An irrelevant or unavailable operand has no fabricated concrete value.
- Ordering
Pair - Packing
Item - Packing
Load - Prepared
Model - An executable model. Its fields are private so checking uses validated inputs.
Export with
to_json;from_jsonvalidates the executable model before use. - Rectangle
Arguments - Rectangles
Finding - Scheduling
Finding - Scheduling
Task - SetArgument
- Array positions are one-based; unavailable values carry their variable reference.
- SetChannel
Argument - Visible positions are one-based; logical labels include the caller’s offset.
- SetPair
- SetWeight
- Task
Arguments - Variable
Alias - Variable
Ref - Violation
- Window
Count
Enums§
- Arithmetic
Operation - The integer calculation checked by an arithmetic relation.
- Assignment
Value - Automaton
Rejection - Positions index the word from one; an empty word has no position.
- BinPacking
Fault - Boolean
Operation - The truth calculation applied to Boolean inputs.
- Check
Ref - Circuit
Fault - Count
Selector Value - Definition
Target - The declared name or explicit scalar names supplied to defines_var.
- Distance
Fault - Distance
Finding - Domain
- Element
Layout - The fixed indexing contract of a flattened element relation.
- Error
Kind - Float
Conversion - Float
Extremum - Exact-order selection; tolerance only checks the supplied result.
- Float
Membership - Float
Operation - Index
Fault - Integer
Relation - The comparison applied to two exact integer values.
- Inverse
Side - Number
Theory Operation - Number
Theory Role - Objective
Direction - Ordering
Finding - Rectangle
Dimension - Rectangle
Fault - Relation
Condition Value - Scheduling
Fault - SetAggregate
- SetCardinality
Fault - SetChannel
Fault - SetChannel
Finding - SetChannel
Side - SetGlobal
Finding - SetOperation
- SetRelation
- Named MiniZinc order uses sorted elements; native codes use membership bits.
- Status
- Table
Data - Fixed row-major table values. The candidate tuple supplies the row width.
- Value
- Mathematical integers use checked i64 arithmetic. JSON writes decimal strings.
- Violation
Kind
Constants§
- GECODE_
SET_ CARDINALITY - GECODE_
SET_ MAX - GECODE_
SET_ MIN - Gecode Set::Limits, fixed by the pinned solver’s integer limits.
Functions§
- parse_
assignment - Accept Boolean, signed integer and finite integer set literals, and arrays.
- prepare
- Parse and validate the admitted FlatZinc dialect once for repeated checks.
- prepare_
json - Prepare official compiler model JSON, distinct from a saved executable artifact.