Function essential_check::solution::check_predicate_constraints

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,
    transient_data: Arc<TransientData>,
) -> Result<Utility, PredicateConstraintsError>

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

Returns the utility of the solution for the given predicate.