Struct Parameter

pub struct Parameter { /* private fields */ }

Implementations

impl Parameter

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

pub fn name(&self) -> &str

pub fn is_same(&self, other: &Parameter) -> bool

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

Trait Implementations

impl Clone for Parameter

fn clone(&self) -> Parameter

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Parameter

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

Formats the value using the given formatter.

impl Hash for Parameter

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for Parameter

fn eq(&self, other: &Parameter) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl ToLang for Parameter

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

impl WithPosition for Parameter

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

impl WithType for Parameter

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>

impl Eq for Parameter

impl StructuralPartialEq for Parameter