Expand description
Items related to validating Solutions and SolutionSets.
Structs§
- Check
Predicate Config - Configuration options passed to
check_predicate. - Constraints
Unsatisfied - The index of each constraint that was not satisfied.
- Predicate
Errors - Predicate checking failed for the solution at the given indices.
- Program
Errors - Program execution failed for the programs at the given node indices.
Enums§
- Invalid
SetState Mutations check_set_state_mutationserror.- Invalid
Solution check_solutionserror.- Invalid
Solution Set check_seterror.- KvError
- Error with a slot key or value.
- Predicate
Error check_predicateerror.- Predicates
Error check_set_predicateserror.- Program
Error - An error occurring during a program task.
Constants§
- MAX_
KEY_ SIZE - Maximum number of words in a slot key.
- MAX_
PREDICATE_ DATA - Maximum number of predicate data of a solution.
- MAX_
SOLUTIONS - Maximum number of solutions within a solution set.
- MAX_
STATE_ MUTATIONS - Maximum number of state mutations of a solution.
- MAX_
VALUE_ SIZE - Maximum number of words in a slot value.
Traits§
- GetPredicate
- Required impl for retrieving access to any
Solution’sPredicates during check. - GetProgram
- Required impl for retrieving access to any
Predicate’sPrograms during check.
Functions§
- check_
predicate - Checks the predicate of the solution within the given set at the given
solution_index. - check_
set - Validate a solution set, to the extent it can be validated without reference to its associated predicates.
- check_
set_ predicates - Checks all of a
SolutionSet’sSolutions against their associatedPredicates. - check_
set_ state_ mutations - Validate the solution set’s state mutations.
- check_
solutions - Validate the solution set’s slice of
Solutions.