Expand description
Items related to validating Solutions.
Structs§
- Configuration options passed to
check_predicate. - The number of decision variables provided by the solution data differs to the number expected by the predicate.
- Predicate checking failed for the solution data at the given indices.
Enums§
checkerror.check_dataerror.check_state_mutationserror.check_transient_dataerror.- Error with a slot key or value.
check_predicate_constraintserror.check_predicateerror.check_predicateserror.
Constants§
- Maximum number of decision variables of a solution.
- Maximum number of words in a slot key.
- Maximum number of solution data of a solution.
- Maximum number of state mutations of a solution.
- Maximum number of transient data of a solution.
- Maximum number of words in a slot value.
Functions§
- Validate a solution, to the extent it can be validated without reference to its associated predicates.
- Validate the solution’s slice of
SolutionData. - Checks a solution against a single predicate using the solution data at the given index.
- Checks if the given solution data at the given index satisfies the constraints of the given predicate.
- Checks all of a solution’s
SolutionDataagainst its associated predicates. - Validate the solution’s state mutations.
- Validate the solution’s transient data.
- Reads all pre and post state slots for the given predicate into memory for checking the solution data at the given index.
Type Aliases§
- Post-state slots generated from state reads.
- Pre-state slots generated from state reads.