pub fn mut_keys_set(
solution_set: &SolutionSet,
solution_index: SolutionIndex,
) -> HashSet<&[Word]>Expand description
Get the contract of mutable keys for this predicate.
pub fn mut_keys_set(
solution_set: &SolutionSet,
solution_index: SolutionIndex,
) -> HashSet<&[Word]>Get the contract of mutable keys for this predicate.