VariableConstraint

taco_threshold_automaton

Trait VariableConstraint 

Source 
pub trait VariableConstraint:
    Clone
    + Debug
    + Display
    + PartialEq
    + Ord {
    // Required method
    fn as_boolean_expr(&self) -> BooleanExpression<Variable>;
}
Expand description

Trait implemented by all flavors of constraints over variables that can serve as Guards

This trait is for example implemented by BooleanExpression<Variable> or lia_threshold_automaton::LIAVariableConstraint

Required Methods§

Source

fn as_boolean_expr(&self) -> BooleanExpression<Variable>

Get the guard as a boolean expression over variables

Dyn Compatibility§

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementors§