[−][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)