Function adapton::engine::force_abs
[−]
[src]
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<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)