Trait Backend 

pub trait Backend {
    // Required method
    fn exec(&mut self, cmd: Command<'_>) -> Result<String, Error>;
}

The Backend trait is used to interact with SMT solver using the SMT-LIB language.

For more details read the backend module documentation.

Required Methods

fn exec(&mut self, cmd: Command<'_>) -> Result<String, Error>

Trait Implementations

impl Backend for Box<dyn Backend>

fn exec(&mut self, cmd: Command<'_>) -> Result<String, Error>

Dyn Compatibility

This trait is dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementations on Foreign Types

impl Backend for Box<dyn Backend>

fn exec(&mut self, cmd: Command<'_>) -> Result<String, Error>

Implementors

impl Backend for Cvc5Binary

impl Backend for Z3Binary