Function raptor::analysis::transient_assignments::transient_assignments

pub fn transient_assignments<'f, V: Value>(
    function: &'f Function<V>
) -> Result<HashMap<ProgramLocation, TransientAssignments>>

Returns a HashSet at each location. If a variable is present in that HashSet, then it is transient at that point in the program.