[−][src]Trait rust_smt::Term

pub trait Term: Debug + Clone + Sized {
    fn to_string(&self) -> Result<String, SMTError>;
    fn to_int(&self) -> Result<i64, SMTError>;
}

Required methods

`fn to_string(&self) -> Result<String, SMTError>`

`fn to_int(&self) -> Result<i64, SMTError>`

Loading content...

Implementors

`impl Term for Z3Term`[src]

`fn to_string(&self) -> Result<String, SMTError>`[src]

`fn to_int(&self) -> Result<i64, SMTError>`[src]

Loading content...