Struct MetaState 

pub struct MetaState {
    pub num_mvars: u64,
    pub num_locals: u32,
    pub mvar_assignments: HashMap<MVarId, Expr>,
    pub level_assignments: HashMap<u64, Level>,
    pub num_postponed: usize,
}

Saved state for backtracking.

Fields

num_mvars: u64

Number of metavariables at save point.

num_locals: u32

Number of local declarations at save point.

mvar_assignments: HashMap<MVarId, Expr>

Metavar assignments at save point.

level_assignments: HashMap<u64, Level>

Level mvar assignments at save point.

num_postponed: usize

Number of postponed constraints.

Trait Implementations

impl Clone for MetaState

fn clone(&self) -> MetaState

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for MetaState

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

Formats the value using the given formatter.