pub fn obtain_ceil_memory(
        &self,
        t_new: &TransactionTime,
    ) -> Option<(&Memory, &IncrementalMerkleWitness)> {
        let t_new = u8_array_to_u64(&t_new.0);
        for (ceil_memory, ceil_memory_witness) in self
            .ceil_memories
            .iter()
            .zip(self.ceil_memory_witnesses.iter())
            .rev()
        {
            if u8_array_to_u64(&ceil_memory.t_mem.0) < t_new - TIME_LIMIT {
                return Some((ceil_memory, ceil_memory_witness));
            }
        }
        None
    }
/// Obtain the correct ceiling memory cell and corresponding witness (if there is one) on input
/// the current time `t_new`.
Obtain the correct ceiling memory cell and corresponding witness (if there is one) on input
the current time `t_new`.
Obtain the correct ceiling memory cell and corresponding witness ( if there is one ) on input the current time ` t_new ` .
pub fn obtain_ceil_memory(
        &self,
        t_new: &TransactionTime,
    ) -> Option<(&Memory, &IncrementalMerkleWitness)> {
        let t_new = u8_array_to_u64(&t_new.0);
        for (ceil_memory, ceil_memory_witness) in self
            .ceil_memories
            .iter()
            .zip(self.ceil_memory_witnesses.iter())
            .rev()
        {
            if u8_array_to_u64(&ceil_memory.t_mem.0) < t_new - TIME_LIMIT {
                return Some((ceil_memory, ceil_memory_witness));
            }
        }
        None
    }
pub fn obtain_ceil_memory ( & self , t_new : & TransactionTime , ) -> Option < ( & Memory , & IncrementalMerkleWitness ) > { let t_new = u8_array_to_u64 ( & t_new . 0 ) ; for ( ceil_memory , ceil_memory_witness ) in self . ceil_memories . iter ( ) . zip ( self . ceil_memory_witnesses . iter ( ) ) . rev ( ) { if u8_array_to_u64 ( & ceil_memory . t_mem . 0 ) < t_new - TIME_LIMIT { return Some ( ( ceil_memory , ceil_memory_witness ) ) ; } } None }
Obtain the correct ceiling memory cell and corresponding witness (if there is one) on input
the current time `t_new`.
Obtain the correct ceiling memory cell and corresponding witness ( if there is one ) on input the current time ` t_new ` .
&self
t_new
&TransactionTime
&self
t_new
&TransactionTime