Function mut_keys_set

Source
pub fn mut_keys_set(
    solution_set: &SolutionSet,
    solution_index: SolutionIndex,
) -> HashSet<&[Word]>
Expand description

Get the contract of mutable keys for this predicate.