pub trait ConstraintVecExt {
// Required methods
fn and_all(self) -> Option<Constraint>;
fn or_all(self) -> Option<Constraint>;
fn postall(self, model: &mut Model) -> Vec<PropId>;
}Expand description
Extension trait for Vec
Required Methods§
Sourcefn and_all(self) -> Option<Constraint>
fn and_all(self) -> Option<Constraint>
Combine all constraints with AND logic
Sourcefn or_all(self) -> Option<Constraint>
fn or_all(self) -> Option<Constraint>
Combine all constraints with OR logic