Enum RefinementPredicate 

pub enum RefinementPredicate {
    Equal(f64),
    NotEqual(f64),
    GreaterThan(f64),
    GreaterThanOrEqual(f64),
    LessThan(f64),
    LessThanOrEqual(f64),
    Range {
        min: f64,
        max: f64,
    },
    RangeExclusive {
        min: f64,
        max: f64,
    },
    Modulo {
        divisor: i64,
        remainder: i64,
    },
    InSet(Vec<f64>),
    NotInSet(Vec<f64>),
    And(Vec<RefinementPredicate>),
    Or(Vec<RefinementPredicate>),
    Not(Box<RefinementPredicate>),
    Custom {
        name: String,
        description: String,
        checker: Arc<dyn Fn(f64) -> bool + Send + Sync>,
    },
    Dependent {
        variable: String,
        relation: DependentRelation,
    },
    StringLength {
        min: Option<usize>,
        max: Option<usize>,
    },
    Pattern(String),
}

A refinement predicate that constrains values.

Variants

Equal(f64)

Value must equal a constant

NotEqual(f64)

Value must not equal a constant

GreaterThan(f64)

Value must be greater than a constant

GreaterThanOrEqual(f64)

Value must be greater than or equal to a constant

LessThan(f64)

Value must be less than a constant

LessThanOrEqual(f64)

Value must be less than or equal to a constant

Range

Value must be in a range [min, max]

Fields

min: f64

max: f64

RangeExclusive

Value must be in a half-open range [min, max)

Fields

min: f64

max: f64

Modulo

Value must satisfy a modulo constraint (value % divisor == remainder)

Fields

divisor: i64

remainder: i64

InSet(Vec<f64>)

Value must be in a set of allowed values

NotInSet(Vec<f64>)

Value must not be in a set of disallowed values

And(Vec<RefinementPredicate>)

Conjunction of predicates (all must be satisfied)

Or(Vec<RefinementPredicate>)

Disjunction of predicates (at least one must be satisfied)

Not(Box<RefinementPredicate>)

Negation of a predicate

Custom

Custom predicate with a name (for symbolic reasoning)

Fields

name: String

description: String

checker: Arc<dyn Fn(f64) -> bool + Send + Sync>

Dependent

Dependent predicate referencing another variable

Fields

variable: String

relation: DependentRelation

StringLength

String length constraint

Fields

min: Option<usize>

max: Option<usize>

Pattern(String)

Pattern match constraint (for strings)

Implementations

impl RefinementPredicate

pub fn greater_than(value: f64) -> Self

Create a “greater than” predicate.

pub fn greater_than_or_equal(value: f64) -> Self

Create a “greater than or equal” predicate.

pub fn less_than(value: f64) -> Self

Create a “less than” predicate.

pub fn less_than_or_equal(value: f64) -> Self

Create a “less than or equal” predicate.

pub fn range(min: f64, max: f64) -> Self

Create a range predicate [min, max].

pub fn modulo(divisor: i64, remainder: i64) -> Self

Create a modulo constraint predicate.

pub fn in_set(values: Vec<f64>) -> Self

Create a predicate requiring value to be in a set.

pub fn and(predicates: Vec<RefinementPredicate>) -> Self

Create a conjunction of predicates.

pub fn or(predicates: Vec<RefinementPredicate>) -> Self

Create a disjunction of predicates.

pub fn not(predicate: RefinementPredicate) -> Self

Create a negation of a predicate.

pub fn custom<F>( name: impl Into<String>, description: impl Into<String>, checker: F, ) -> Self

where F: Fn(f64) -> bool + Send + Sync + 'static,

Create a custom predicate with a checker function.

pub fn dependent( variable: impl Into<String>, relation: DependentRelation, ) -> Self

Create a dependent predicate.

pub fn check(&self, value: f64) -> bool

Check if a value satisfies this predicate.

Note: For dependent predicates, this returns true (use check_with_context instead).

pub fn check_with_context( &self, value: f64, context: &RefinementContext, ) -> bool

Check if a value satisfies this predicate with a context for dependent predicates.

pub fn free_variables(&self) -> Vec<String>

Get the free variables referenced by this predicate.

pub fn simplify(&self) -> RefinementPredicate

Simplify the predicate by removing redundant constraints.

pub fn to_string_repr(&self) -> String

Convert to a human-readable string.

Trait Implementations

impl Clone for RefinementPredicate

fn clone(&self) -> RefinementPredicate

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for RefinementPredicate

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

Formats the value using the given formatter.