pub fn check_set(set: &SolutionSet) -> Result<(), InvalidSolutionSet>Expand description
Validate a solution set, to the extent it can be validated without reference to its associated predicates.
This includes solutions and state mutations.
pub fn check_set(set: &SolutionSet) -> Result<(), InvalidSolutionSet>Validate a solution set, to the extent it can be validated without reference to its associated predicates.
This includes solutions and state mutations.