essential_check::constraint_vm

Function mut_keys_set

source 
pub fn mut_keys_set(
    solution: &Solution,
    predicate_index: u16,
) -> HashSet<&[i64]>
Expand description

Get the contract of mutable keys for this predicate.