pub fn reverse_propose(
        &mut self,
        name: &A,
    ) -> Option<&mut TraceValHandle<Value, Value, T, isize>> {
        self.reverse_propose.get_mut(name)
    }
/// Retrieves the reverse propose trace for the specified aid.
Retrieves the reverse propose trace for the specified aid.
Retrieves the reverse propose trace for the specified aid .
pub fn reverse_propose(
        &mut self,
        name: &A,
    ) -> Option<&mut TraceValHandle<Value, Value, T, isize>> {
        self.reverse_propose.get_mut(name)
    }
pub fn reverse_propose ( & mut self , name : & A , ) -> Option < & mut TraceValHandle < Value , Value , T , isize > > { self . reverse_propose . get_mut ( name ) }
Retrieves the reverse propose trace for the specified aid.
Retrieves the reverse propose trace for the specified aid .
&mut self
name
&A
&mut self
name
&A