Struct StaticIntervalOrderBuilder 

pub struct StaticIntervalOrderBuilder {
    order_generator: SimpleOrderGeneratorContext,
    vars: Vec<Variable>,
}

Builder for generating static interval orders

Fields

order_generator: SimpleOrderGeneratorContext

vars: Vec<Variable>

Implementations

impl StaticIntervalOrderBuilder

pub fn new<T: ThresholdAutomaton>( ta: &T, smt_solver_builder: SMTSolverBuilder, ) -> Self

Create a new static interval order builder

pub fn add_single_variable_interval( self, var: &Variable, interval: &IntervalBoundary, ) -> Self

Add an interval found for a single variable

pub fn add_multi_variable_interval( self, sum: &WeightedSum<Variable>, interval: &IntervalBoundary, ) -> Self

Add an interval found for a sum of variables

pub fn build(self) -> Vec<StaticIntervalOrder>

Generate all possible orders on intervals