Struct trivial_kernel::state::State

pub struct State { /* fields omitted */ }

Implementations

impl State

pub fn get_current_term(&self) -> u32

pub fn increment_current_term(&mut self)

pub fn get_current_theorem(&self) -> u32

pub fn increment_current_theorem(&mut self)

pub fn get_current_sort(&self) -> u8

pub fn increment_current_sort(&mut self)

pub fn from_table<T: Table>(table: &T) -> State

Trait Implementations

impl Clone for State

fn clone(&self) -> State

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Copy for State

impl Debug for State

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

Formats the value using the given formatter.

impl Default for State

fn default() -> State

Returns the “default value” for a type.