Struct PreConstraint

pub struct PreConstraint {
    pub lhs: PreExp,
    pub constraint_type: Comparison,
    pub rhs: PreExp,
    pub iteration: Vec<IterableSet>,
    pub span: InputSpan,
}

Represents a constraint in a mathematical programming problem.

Examp

Fields

lhs: PreExp

Left-hand side expression

constraint_type: Comparison

Type of comparison (<=, =, >=, etc)

rhs: PreExp

Right-hand side expression

iteration: Vec<IterableSet>

Optional iteration sets for quantified constraints

span: InputSpan

Source location information

Implementations

impl PreConstraint

pub fn new( lhs: PreExp, constraint_type: Comparison, rhs: PreExp, iteration: Vec<IterableSet>, span: InputSpan, ) -> Self

Creates a new constraint.

Arguments

• lhs - Left-hand side expression
• constraint_type - Type of comparison
• rhs - Right-hand side expression
• iteration - Vector of iteration sets for quantified constraints
• span - Source location information

Trait Implementations

impl Clone for PreConstraint

fn clone(&self) -> PreConstraint

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for PreConstraint

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

Formats the value using the given formatter.

impl Display for PreConstraint

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

Formats the value using the given formatter.

impl Serialize for PreConstraint

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl TypeCheckable for PreConstraint

fn type_check( &self, context: &mut TypeCheckerContext, fn_context: &FunctionContext<'_>, ) -> Result<(), TransformError>

Performs type checking on the implementing type.

fn populate_token_type_map( &self, context: &mut TypeCheckerContext, fn_context: &FunctionContext<'_>, )

Populates the token type map with type information.