Struct Function

pub struct Function { /* private fields */ }

Implementations

impl Function

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

pub fn add_parameter(&mut self, parameter: Parameter)

pub fn parameters(&self) -> &Vec<Parameter>

pub fn parameters_type(&self) -> Vec<Type>

pub fn duplicate(&self) -> Result<(), Error>

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

Trait Implementations

impl Clone for Function

fn clone(&self) -> Function

Returns a copy of the value.

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

Performs copy-assignment from source.

impl GetFromId<FunctionId, Function> for Problem

fn get(&self, id: FunctionId) -> Option<&Function>

impl Named<FunctionId> for Function

fn id(&self) -> FunctionId

fn set_id(&mut self, id: FunctionId)

fn name(&self) -> &str

fn naming(&self) -> Naming

impl ToLang for Function

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

impl WithExpr for Function

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 Function

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

impl WithType for Function

fn typ(&self) -> &Type

fn set_type(&mut self, typ: Type)

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

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

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

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