[][src]Trait gf::code::dfa::MonotonicInterp

pub trait MonotonicInterp<D: InterpDirection>: Interp<D> where
    Self::State: Lattice
{ }

A monotonic abstract interpretation.

Monotonic abstract interpretations impose two additional requirements:

Interpretations used with the fixpoint executor are required to be monotonic.

Implementors

Loading content...