[][src]Function adapton::engine::force_abs

pub fn force_abs<Arg: 'static + Eq + Debug + Clone + Hash, Abs: 'static + Eq + Debug + Clone + Hash, T: 'static + Eq + Debug + Clone + Hash, DiffT: 'static + Eq + Debug + Clone + Hash, S: 'static + Eq + Debug + Clone + Hash>(
    absmapfam: Box<dyn AbsMapFam<Arg, Abs, T, DiffT, S>>,
    arg: Arg,
    a: Art<T>
) -> S

Demand & observe arts, through an abstracted mapping function (See AbsMapFam trait)

(e.g., interval-based projections, using the abstract domain of intervals)