Struct Constraint

pub struct Constraint { /* private fields */ }

Implementations

impl Constraint

pub fn new<S: Into<String>>( name: S, expr: Expr, position: Option<Position>, ) -> Self

pub fn expr(&self) -> &Expr

pub fn resolve_type_expr(&mut self, entries: &TypeEntries) -> Result<(), Error>

pub fn resolve_expr( &self, problem: &Problem, entries: &Entries, ) -> Result<Constraint, Error>

pub fn check_parameter_size(&self, problem: &Problem) -> Result<(), Error>

pub fn check_type(&self, problem: &Problem) -> Result<(), Error>

Trait Implementations

impl Clone for Constraint

fn clone(&self) -> Constraint

Returns a copy of the value.

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

Performs copy-assignment from source.

impl GetFromId<ConstraintId, Constraint> for Problem

fn get(&self, id: ConstraintId) -> Option<&Constraint>

impl Named<ConstraintId> for Constraint

fn id(&self) -> ConstraintId

fn set_id(&mut self, id: ConstraintId)

fn name(&self) -> &str

fn naming(&self) -> Naming

impl ToLang for Constraint

fn to_lang(&self, problem: &Problem) -> String

impl WithPosition for Constraint

fn position(&self) -> &Option<Position>