Struct Instance

pub struct Instance { /* private fields */ }

Implementations

impl Instance

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

Trait Implementations

impl Clone for Instance

fn clone(&self) -> Instance

Returns a copy of the value.

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

Performs copy-assignment from source.

impl GetFromId<InstanceId, Instance> for Problem

fn get(&self, id: InstanceId) -> Option<&Instance>

impl Named<InstanceId> for Instance

fn id(&self) -> InstanceId

fn set_id(&mut self, id: InstanceId)

fn name(&self) -> &str

fn naming(&self) -> Naming

impl ToLang for Instance

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

impl WithPosition for Instance

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

impl WithType for Instance

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>