Struct rsmt2::Kid
[−]
[src]
pub struct Kid {
// some fields omitted
}A solver Child.
Methods
impl Kid[src]
fn mk(conf: SolverConf) -> SmtRes<Self>
Creates a new solver kid.
fn kill(self) -> UnitSmtRes
Kills the solver kid.