Struct ConstraintProgram 

pub struct ConstraintProgram { /* private fields */ }

A named collection of compiled constraints that can be evaluated together.

All constraints share the same input vector but may have different dimensionality requirements.

Implementations

impl ConstraintProgram

pub fn new() -> Self

Create an empty program.

pub fn add(&mut self, expr: ConstraintExpr, name: &str, num_dims: usize)

Compile and add a constraint expression to the program.

pub fn evaluate_all( &self, x: &Array1<f32>, ) -> LogicResult<HashMap<String, bool>>

Evaluate all constraints and return a map from name → feasibility.

pub fn violated(&self, x: &Array1<f32>) -> LogicResult<Vec<String>>

Return the names of all violated (infeasible) constraints.

pub fn is_feasible(&self, x: &Array1<f32>) -> LogicResult<bool>

Return true iff all constraints are satisfied.

pub fn num_constraints(&self) -> usize

Return the number of constraints in this program.

Trait Implementations

impl Default for ConstraintProgram

fn default() -> Self

Returns the “default value” for a type.