Modules§
- ast
- context
- error
- Top-level error types for Conjure-Oxide.
- parse
- representation
- rule_
engine - solver
- A high-level API for interacting with constraints solvers.
- stats
Macros§
- bug
- Triggers a panic with a detailed bug report message, while ensuring the panic is ignored in coverage reports.
- domain_
int - Creates a
Domain::Int. - domain_
int_ ground - Creates a [
GroundDomain::Int] - error
- into_
matrix - Creates a new matrix
AbstractLiteralfrom someVec, optionally with some index domain. - into_
matrix_ expr - Creates a new matrix as an
Expressionfrom a (Rust) vector, optionally with some index domain. - matrix
- Creates a new matrix
AbstractLiteraloptionally with some index domain. - matrix_
expr - Creates a new matrix as an
Expression, optionally with some index domain. - range
- Creates a
Range. - register_
representation - throw_
error