Struct Compiled 

pub struct Compiled {
    pub diagram: Tdd,
    pub forgotten: usize,
    pub peak_pairs: usize,
}

What a finished compile returns.

Fields

diagram: Tdd

The compiled diagram, on the vtree described at compile_cnf.

forgotten: usize

How many of the variables a projected Output forgets are free in diagram, each doubling its count: those ∃-forgotten, and those in no clause, which a component split grafts in free or a clause-free formula leaves unconstrained. Zero for a compile that forgets nothing.

peak_pairs: usize

The largest diagram, in pairs, any step of the compile reached; the largest over the components of a split compile, which run one after another.