Struct Variable

pub struct Variable { /* private fields */ }

Implementations

impl Variable

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

Trait Implementations

impl Clone for Variable

fn clone(&self) -> Variable

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl GetFromId<VariableId, Variable> for Problem

fn get(&self, id: VariableId) -> Option<&Variable>

impl Named<VariableId> for Variable

fn id(&self) -> VariableId

fn set_id(&mut self, id: VariableId)

fn name(&self) -> &str

fn naming(&self) -> Naming

impl ToLang for Variable

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

impl WithExpr for Variable

fn expr(&self) -> &Option<Expr>

fn set_expr(&mut self, expr: Option<Expr>)

fn entries(&self) -> Entries

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

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

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

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

impl WithPosition for Variable

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

impl WithType for Variable

fn typ(&self) -> &Type

fn set_type(&mut self, typ: Type)

fn resolve_type_children(&mut self, _: &TypeEntries) -> Result<(), Error>

fn check_interval_children(&self, _: &Problem) -> Result<(), Error>

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

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