Trait gf::ai::symbolic::Concretizer

pub trait Concretizer {
    fn concretize(&self, expr: FlatLattice<Expr>) -> FlatLattice<BitVec>;
}

🟢 A concretization delegate.

Required methods

fn concretize(&self, expr: FlatLattice<Expr>) -> FlatLattice<BitVec>

Get concrete value for an expression.

Loading content...

Implementors

impl Concretizer for TrivialConcretizer

fn concretize(&self, expr: FlatLattice<Expr>) -> FlatLattice<BitVec>

Loading content...