Module essential_check::solution

Items related to validating Solutions.

Structs

• CheckPredicateConfig
  Configuration options passed to check_predicate.
• InvalidDecisionVariablesLength
  The number of decision variables provided by the solution data differs to the number expected by the predicate.
• PredicateErrors
  Predicate checking failed for the solution data at the given indices.

Enums

• InvalidSolution
  check error.
• InvalidSolutionData
  check_data error.
• InvalidStateMutations
  check_state_mutations error.
• InvalidTransientData
  check_transient_data error.
• KvError
  Error with a slot key or value.
• PredicateConstraintsError
  check_predicate_constraints error.
• PredicateError
  check_predicate error.
• PredicatesError
  check_predicates error.
• UtilityError
  calculate_utility error.

Constants

• MAX_DECISION_VARIABLES
  Maximum number of decision variables of a solution.
• MAX_KEY_SIZE
  Maximum number of words in a slot key.
• MAX_SOLUTION_DATA
  Maximum number of solution data of a solution.
• MAX_STATE_MUTATIONS
  Maximum number of state mutations of a solution.
• MAX_TRANSIENT_DATA
  Maximum number of transient data of a solution.
• MAX_VALUE_SIZE
  Maximum number of words in a slot value.

Functions

• check
  Validate a solution, to the extent it can be validated without reference to its associated predicates.
• check_data
  Validate the solution’s slice of SolutionData.
• check_predicate
  Checks a solution against a single predicate using the solution data at the given index.
• check_predicate_constraints
  Checks if the given solution data at the given index satisfies the constraints of the given predicate.
• check_predicates
  Checks all of a solution’s SolutionData against its associated predicates.
• check_state_mutations
  Validate the solution’s state mutations.
• check_transient_data
  Validate the solution’s transient data.

Type Aliases

• Utility
  The utility score of a solution.