Skip to main content

DeriveFromIntegerComp

taco_threshold_automaton::lia_threshold_automaton::integer_thresholds

Trait DeriveFromIntegerComp 

Source 
pub trait DeriveFromIntegerComp<T: Atomic, E: Error + From<ConstraintRewriteError>>
where
    Self: Sized + And + Or,
{
    // Required method
    fn form_ordered_constr(
        scaled_t: HashMap<T, Fraction>,
        thr_c: ThresholdConstraint,
    ) -> Result<Self, E>;

    // Provided method
    fn from_integer_expr(
        lhs: IntegerExpression<T>,
        op: ComparisonOp,
        rhs: IntegerExpression<T>,
    ) -> Result<Self, E> { ... }
}
Expand description

Trait that needs to implemented by expressions which can be derived from thresholds and scaled expressions of type T

Required Methods§

Source

fn form_ordered_constr( scaled_t: HashMap<T, Fraction>, thr_c: ThresholdConstraint, ) -> Result<Self, E>

Derive from threshold and map scaled values of T

Provided Methods§

Source

fn from_integer_expr( lhs: IntegerExpression<T>, op: ComparisonOp, rhs: IntegerExpression<T>, ) -> Result<Self, E>

Derive the the type T from the integer expression

Dyn Compatibility§

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementors§