Struct Engine

pub struct Engine<'lt, A: Analysis<'lt>> {
    pub analysis: &'lt mut A,
    pub dfg: DataFlowGraph<A::SetType>,
    pub cfg: &'lt ControlFlowGraph,
}

Fields

analysis: &'lt mut A

dfg: DataFlowGraph<A::SetType>

cfg: &'lt ControlFlowGraph

Implementations

impl<'lt, A: Analysis<'lt>> Engine<'lt, A>

pub fn new(cfg: &'lt ControlFlowGraph, analysis: &'lt mut A) -> Self

pub fn iterate_to_fixpoint(self) -> DataFlowGraph<A::SetType>