Struct Insts

pub struct Insts { /* private fields */ }

Implementations

impl Insts

pub fn get_match(&self, fingerprint: Fingerprint) -> Option<MatchIdx>

pub fn end_inst(&mut self) -> Result<()>

pub fn has_theory_solving_inst(&self) -> bool

pub fn instantiations(&self) -> impl Iterator<Item = InstData<'_>>

pub fn get_inst(&self, iidx: InstIdx) -> InstData<'_>

Trait Implementations

impl Debug for Insts

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

Formats the value using the given formatter.

impl Default for Insts

fn default() -> Insts

Returns the “default value” for a type.

impl Index<InstIdx> for Insts

type Output = Instantiation

The returned type after indexing.

fn index(&self, idx: InstIdx) -> &Self::Output

Performs the indexing (container[index]) operation.

impl Index<MatchIdx> for Insts

type Output = Match

The returned type after indexing.

fn index(&self, idx: MatchIdx) -> &Self::Output

Performs the indexing (container[index]) operation.

impl IndexMut<InstIdx> for Insts

fn index_mut(&mut self, idx: InstIdx) -> &mut Self::Output

Performs the mutable indexing (container[index]) operation.