Struct SummaryDatabase 

pub struct SummaryDatabase { /* private fields */ }

A database of function summaries.

Implementations

impl SummaryDatabase

pub fn new() -> Self

Create an empty database.

pub fn add(&mut self, summary: FunctionSummary)

Add a summary.

pub fn find(&self, name: &str) -> Option<&FunctionSummary>

Look up a summary by function name.

pub fn proven_terminating(&self) -> Vec<&str>

Return all functions with proven termination.

pub fn len(&self) -> usize

Return the number of summaries.

pub fn is_empty(&self) -> bool

Return whether the database is empty.

Trait Implementations

impl Default for SummaryDatabase

fn default() -> Self

Returns the “default value” for a type.