Struct KReductionTable 

pub struct KReductionTable { /* private fields */ }

Maps structure names to their singleton-K reduction status.

Implementations

impl KReductionTable

pub fn new() -> Self

Create an empty table.

pub fn set(&mut self, name: &str, reducible: bool)

Mark a structure as K-reducible (or not).

pub fn is_k_reducible(&self, name: &str) -> bool

Query K-reducibility of a structure.

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

Return all K-reducible structure names.

pub fn len(&self) -> usize

Return the number of entries.

pub fn is_empty(&self) -> bool

Return whether empty.

Trait Implementations

impl Default for KReductionTable

fn default() -> Self

Returns the “default value” for a type.