pub fn mut_keys_set(
solution: &Solution,
predicate_index: SolutionDataIndex,
) -> HashSet<&[Word]>
Expand description
Get the contract of mutable keys for this predicate.
pub fn mut_keys_set(
solution: &Solution,
predicate_index: SolutionDataIndex,
) -> HashSet<&[Word]>
Get the contract of mutable keys for this predicate.