JijModeling Error Code Index

This page lists all error codes emitted by JijModeling. You can see the description and possible causes or fixes for each error code.

How to read a JijModeling error

Most errors raised by JijModeling look like this:

Traceback (most recent last):
    while evaluating expression `d[i]`,
        defined at File "model.py", line 12, col 51-55
...
error[E-CE0008] Index 4 is out of bounds for axis 0, which has size 3

Hint: You can read the description and possible fix at <this site>/error_codes/error/E-CE0008.html

• The traceback lists what the compiler was doing, innermost last, with the source location of each step where one is known.

• The error[E-XXNNNN] line carries the error code; the tables below link each code to its description and possible fixes.

• Programmatically, the code is available as the error_code attribute of the raised exception, and the documentation URL as doc_url.

Compile Error (CE)

Code	Title
E-CE0000	Dangling bound variable
E-CE0001	Missing placeholder value
E-CE0002	Unknown instance data entry
E-CE0003	Missing category label values
E-CE0004	Instance data name conflicts with an existing declaration
E-CE0005	Cyclic placeholder dependency
E-CE0006	Calling a non-function value
E-CE0007	Internal invariant violation
E-CE0008	Array index out of bounds
E-CE0009	Jagged array subscript out of bounds
E-CE0010	Step of a slice or range is zero
E-CE0011	min/max over an empty collection
E-CE0012	Internal JSON serialization failure
E-CE0013	OMMX rejected the built instance
E-CE0014	Internal len_at dimension check
E-CE0015	Internal len_at on jagged array check
E-CE0016	Dict key not found
E-CE0017	Unknown variable in fixed_variables
E-CE0018	Fixed value outside the variable domain
E-CE0019	Failed to register constraint hints
E-CE0020	Scalar fixed value for an indexed variable
E-CE0021	Subscripted fixed value for a scalar variable
E-CE0100	Array shape mismatch
E-CE0101	Internal invalid array shape
E-CE0200	Internal: unknown decision variable ID
E-CE0201	Unknown decision variable name
E-CE0202	Internal: decision variable registered twice
E-CE0203	Decision variable subscript out of range
E-CE0204	Invalid decision variable bound
E-CE0205	Decision variable rejected by OMMX
E-CE0300	Internal: unknown constraint ID
E-CE0301	Unknown constraint name
E-CE0302	Conflicting constraint definition for a subscript
E-CE0303	Inconsistent constraint subscript count
E-CE0400	Constraint hint subscript out of domain
E-CE0500	Internal: non-uniform jagged array dimensions
E-CE0600	Non-numeric value in a fixed-variables dictionary
E-CE0601	Invalid key in a fixed-variables dictionary
E-CE0602	Invalid fixed-variable entry
E-CE0603	Unknown constraint hint name
E-CE0604	Invalid constraint hint name type
E-CE0605	Invalid constraint detection configuration

Internal Error (IE)

Code	Title
E-IE0000	Unexpected type in e-graph conversion
E-IE0001	Arity mismatch in e-graph conversion
E-IE0002	Unexpected term in e-graph conversion
E-IE0003	Internal: empty optional term in e-graph conversion
E-IE0004	Type mismatch in e-graph conversion
E-IE0005	Internal e-graph error during constraint detection
E-IE0100	Internal invariant violated in the Python frontend

Instance Generation Error (IG)

Code	Title
E-IG0000	Random generation for an empty RangeNat type
E-IG0001	Category label with no labels
E-IG0002	Empty value-range hint
E-IG0003	Empty size-range hint
E-IG0004	Missing placeholder schema
E-IG0100	Unsupported value for a data generation hint
E-IG0101	Range hint with a step other than 1
E-IG0102	Invalid size range hint
E-IG0103	Size range with inverted bounds
E-IG0104	Invalid value range dict
E-IG0105	Invalid value range hint
E-IG0106	Value range with inverted bounds
E-IG0107	Invalid size range dict

Modeling Error (MD)

Code	Title
E-MD0000	Dimension and shape mismatch
E-MD0001	Conflicting placeholder parameters
E-MD0002	Conflicting decision variable parameters
E-MD0003	Nested comparison in a constraint
E-MD0004	Jagged array constraint not supported
E-MD0005	Conflicting constraint definition
E-MD0006	Inconsistent constraint dimensions
E-MD0007	Constraint expression is not a comparison
E-MD0008	Named expression cannot be saved in the OMMX output
E-MD0100	Undefined name in expression
E-MD0101	Name already in use
E-MD0102	Undefined category label

Protobuf Error (PE)

Code	Title
E-PE0000	Invalid internal expression reference
E-PE0001	Unsupported schema version
E-PE0002	Unspecified enum value in serialized model
E-PE0003	Required field missing from serialized model
E-PE0004	Invalid enum variant in serialized model
E-PE0005	Serialized problem has no objective function
E-PE0006	Serialized message has an empty body
E-PE0007	Invalid protobuf message
E-PE0008	Conflicting axes fields
E-PE0009	Invalid axis expression
E-PE0100	Attempted to serialize an unsupported node
E-PE0101	Cyclic dependency between parameters
E-PE0102	Insufficient buffer capacity while encoding

Syntax Error (SE)

Code	Title
E-SE0000	JijModeling object iterated at runtime
E-SE0001	Unsupported loop target in a comprehension
E-SE0002	More than one for-clause in a comprehension
E-SE0003	Async comprehension in the decorator API
E-SE0004	Unsupported if-clause in a comprehension
E-SE0005	Decorated function references an unbound variable
E-SE0006	Cannot parse the source of a decorated function
E-SE0007	Decorated function takes no arguments
E-SE0008	Decorated object is not a plain function definition
E-SE0009	Decorator applied to a non-callable object
E-SE0010	Calling a function already applied by the decorator
E-SE0011	Category label iterated outside the decorator API

Type Error (TE)

Code	Title
E-TE0000	Dangling bound variable (internal error)
E-TE0001	len_at index exceeds array dimensions
E-TE0002	len_at with non-zero index on a jagged array
E-TE0003	shape is not supported for jagged arrays
E-TE0004	Type mismatch
E-TE0005	Unbound variable
E-TE0006	Could not infer type
E-TE0007	Could not infer the element type of an empty list
E-TE0008	Could not infer the key/value types of an empty dict
E-TE0009	Incompatible element types in a list
E-TE0010	Incompatible entry types in a dict
E-TE0011	Incompatible types
E-TE0012	Expression is not a function
E-TE0013	Expected a dict
E-TE0014	Operation not supported for this type
E-TE0015	Binary operation not supported between these types
E-TE0016	Invalid dimension expression
E-TE0017	Value is not subscriptable
E-TE0018	Too many subscripts
E-TE0019	Tensor literal length differs from declared first dimension
E-TE0020	Invalid axis
E-TE0021	Duplicate axis
E-TE0022	Impossible state reached (internal error)
E-TE0023	Could not infer function supertype (internal error)
E-TE0024	Dangling free variable in pattern (internal error)
E-TE0500	Could not convert value
E-TE0501	Value out of range
E-TE0502	Jagged array depth undetermined
E-TE0503	Invalid array shape
E-TE0504	Invalid comparison operator for a constraint
E-TE0505	Ordering comparison on category labels
E-TE0506	Category label used in a constraint
E-TE0507	Non-scalar comparison operand
E-TE0508	Division by zero
E-TE0509	Invalid OMMX coefficient
E-TE0600	Value cannot be interpreted as an expression
E-TE0601	Tuple element cannot be interpreted as an expression
E-TE0602	Callable used as an expression takes no arguments
E-TE0603	Invalid axis specification
E-TE0604	Unexpected extra positional arguments to a reduction function
E-TE0605	Axis specified for the two-argument form of min/max
E-TE0606	Wrong number of arguments to min/max
E-TE0607	Wrong number of arguments to range
E-TE0608	Invalid placeholder data type
E-TE0609	Non-callable passed where a callable is expected
E-TE0610	Invalid dictionary key
E-TE0611	Boolean conversion of a modeling object
E-TE0612	Unsupported argument type for is_same
E-TE0613	Mismatched argument types for is_same
E-TE0614	Incomparable elements in is_same iterables
E-TE0615	Iterables of different lengths passed to is_same
E-TE0616	Unsupported operand for +=
E-TE0617	Unsupported operand for -=