Trait FormulaVisitor 

pub trait FormulaVisitor<T>: Sized {
    // Required methods
    fn input(&mut self, idx: SymbolId, name: &str) -> T;
    fn constant(&mut self, idx: SymbolId, v: BitVector) -> T;
    fn unary(&mut self, idx: SymbolId, op: BVOperator, v: T) -> T;
    fn binary(&mut self, idx: SymbolId, op: BVOperator, lhs: T, rhs: T) -> T;
}

Required Methods

fn input(&mut self, idx: SymbolId, name: &str) -> T

fn constant(&mut self, idx: SymbolId, v: BitVector) -> T

fn unary(&mut self, idx: SymbolId, op: BVOperator, v: T) -> T

fn binary(&mut self, idx: SymbolId, op: BVOperator, lhs: T, rhs: T) -> T

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementors