Struct TerminationCache 

pub struct TerminationCache { /* private fields */ }

A cache of termination results for batch checking.

Implementations

impl TerminationCache

pub fn new() -> Self

Create a new cache.

pub fn mark_terminating(&mut self, name: Name)

Record that a function terminates.

pub fn mark_nonterminating(&mut self, name: Name)

Record that a function may not terminate.

pub fn is_known_terminating(&self, name: &Name) -> Option<bool>

Query if a function is known to terminate.

pub fn len(&self) -> usize

Get the number of cached results.

pub fn is_empty(&self) -> bool

Check if the cache is empty.

pub fn clear(&mut self)

Clear the cache.

Trait Implementations

impl Clone for TerminationCache

fn clone(&self) -> TerminationCache

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for TerminationCache

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Default for TerminationCache

fn default() -> TerminationCache

Returns the “default value” for a type.