Trait prover_lab::z3log::ModelExt

pub trait ModelExt {
    // Required method
    fn id2s(&self, id: &Ident) -> String;
}

Helper trait to print es by their id.

Required Methods

fn id2s(&self, id: &Ident) -> String

Implementations on Foreign Types

impl ModelExt for Model

fn id2s(&self, id: &Ident) -> String

Implementors