Struct CompileOptions 

pub struct CompileOptions<'a> {
    pub plan: ComponentPlan<'a>,
    pub output: Output<'a>,
    pub deadline: Option<Instant>,
}

What a whole-formula compile is being asked for.

CompileOptions::default is the plain Boolean compile with component detection — compile_cnf(eng, &formula, &vtree, CompileOptions::default()).

Fields

plan: ComponentPlan<'a>

Which components to compile separately, and against which vtrees.

output: Output<'a>

What the compile produces. Every variable it lists must belong to the formula (1..=formula.num_vars()).

deadline: Option<Instant>

The wall-clock the compile gives up at. When set it is also installed as the apply-level cut for this compile, so one giant un-yielding conjoin can be stopped mid-apply rather than only at a step boundary. None leaves any enclosing apply deadline in force.

Trait Implementations

impl<'a> Default for CompileOptions<'a>

fn default() -> CompileOptions<'a>

Returns the “default value” for a type.