Struct DecisionTable 

pub struct DecisionTable { /* private fields */ }

A lookup table of named decidable propositions.

Useful for the elaborator to cache computed decisions.

Implementations

impl DecisionTable

pub fn new() -> Self

Create an empty table.

pub fn insert(&mut self, name: impl Into<String>, d: Decision<()>)

Insert or overwrite a named decision.

pub fn lookup(&self, name: &str) -> Option<&Decision<()>>

Look up a named decision.

pub fn len(&self) -> usize

Number of entries.

pub fn is_empty(&self) -> bool

Returns true if empty.

pub fn iter(&self) -> impl Iterator<Item = (&str, &Decision<()>)>

Iterate over all entries.

Trait Implementations

impl Clone for DecisionTable

fn clone(&self) -> DecisionTable

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for DecisionTable

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

Formats the value using the given formatter.

impl Default for DecisionTable

fn default() -> DecisionTable

Returns the “default value” for a type.