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.
- Ctx
- Context for checking a predicate
- Data
From Solution - The data outputs from solving a particular predicate.
- Outputs
- The outputs of checking a solution set.
- 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§
- Data
Output - Types of data output from a program.
- Invalid
SetState Mutations check_set_state_mutationserror.- Invalid
Solution check_solutionserror.- Invalid
Solution Set check_seterror.- KvError
- Error with a slot key or value.
- Mutations
Error - Error with computing mutations.
- Predicate
Error check_predicateerror.- Predicates
Error check_set_predicateserror.- Program
Error - An error occurring during a program task.
- RunMode
- The mode the check is running in.
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_
and_ compute_ solution_ set - Check the given solution set against the given predicates and and compute the post state mutations for this set.
- check_
and_ compute_ solution_ set_ two_ pass - Check the given solution set against the given predicates and and compute the post state mutations for this set.
- 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.
Type Aliases§
- Cache
- Cache of parent outputs, indexed by node index for a predicate.