essential_check::solution

Function check_predicate_constraints

Source 
pub async fn check_predicate_constraints(
    solution: Arc<Solution>,
    solution_data_index: SolutionDataIndex,
    predicate: Arc<Predicate>,
    pre_slots: Arc<StateSlotSlice>,
    post_slots: Arc<StateSlotSlice>,
    config: &CheckPredicateConfig,
) -> Result<(), PredicateConstraintsError>
Expand description

Checks if the given solution data at the given index satisfies the constraints of the given predicate.