Struct PreConstraint

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

Fields

lhs: PreExp

constraint_type: Comparison

rhs: PreExp

iteration: Vec<IterableSet>

span: InputSpan

Implementations

impl PreConstraint

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

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 ToLatex for PreConstraint

fn to_latex(&self) -> String

impl TypeCheckable for PreConstraint

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

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