Enum LogicalOperator 

pub enum LogicalOperator {
    All,
    Any,
    Exactly(usize),
    AtLeast(usize),
    AtMost(usize),
}

Logical operators for combining multiple boolean results.

These operators define how to evaluate constraint results across multiple columns or multiple constraint evaluations.

Examples

use term_guard::core::LogicalOperator;

// All columns must satisfy the constraint
let all = LogicalOperator::All;

// At least one column must satisfy
let any = LogicalOperator::Any;

// Exactly 2 columns must satisfy
let exactly_two = LogicalOperator::Exactly(2);

// At least 3 columns must satisfy
let at_least_three = LogicalOperator::AtLeast(3);

Variants

All

All values must satisfy the condition (AND logic)

Any

At least one value must satisfy the condition (OR logic)

Exactly(usize)

Exactly N values must satisfy the condition

AtLeast(usize)

At least N values must satisfy the condition

AtMost(usize)

At most N values must satisfy the condition

Implementations

impl LogicalOperator

pub fn evaluate(&self, results: &[bool]) -> bool

Evaluates a slice of boolean results according to this operator.

Arguments

• results - A slice of boolean values to evaluate

Returns

true if the results satisfy the operator’s condition, false otherwise

Examples

use term_guard::core::LogicalOperator;

let results = vec![true, false, true];

assert!(LogicalOperator::Any.evaluate(&results));
assert!(!LogicalOperator::All.evaluate(&results));
assert!(LogicalOperator::Exactly(2).evaluate(&results));
assert!(LogicalOperator::AtLeast(1).evaluate(&results));
assert!(LogicalOperator::AtMost(2).evaluate(&results));

pub fn description(&self) -> String

Returns a human-readable description of the operator.

Trait Implementations

impl Clone for LogicalOperator

fn clone(&self) -> LogicalOperator

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Copy for LogicalOperator

impl Debug for LogicalOperator

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Display for LogicalOperator

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Eq for LogicalOperator

impl PartialEq for LogicalOperator

fn eq(&self, other: &LogicalOperator) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl StructuralPartialEq for LogicalOperator