Struct Model 

pub struct Model {
    pub groups: Vec<(String, usize)>,
    pub var_names: HashMap<usize, String>,
}

Fields

groups: Vec<(String, usize)>

var_names: HashMap<usize, String>

Implementations

impl Model

pub fn new() -> Self

pub fn open_group(&mut self, name: &str)

pub fn close_group(&mut self)

pub fn alloc_var<VStore, Domain>( &mut self, vstore: &mut VStore, dom: Domain, ) -> Var<VStore>

where VStore: VStoreConcept<Item = Domain>, Domain: Clone + Debug + 'static,

pub fn alloc_var_with_name<VStore, Domain>( &mut self, vstore: &mut VStore, dom: Domain, name: String, ) -> Var<VStore>

where VStore: VStoreConcept<Item = Domain>, Domain: Clone + Debug + 'static,

pub fn register_var(&mut self, var: usize, name: String)

pub fn var_name(&self, idx: usize) -> String

pub fn inc_group(&mut self)

pub fn display_global<VStore>(&self, name: &str, args: &Vec<Var<VStore>>)

Trait Implementations

impl Clone for Model

fn clone(&self) -> Model

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<VStore, Domain, Bound> DisplayStateful<Model> for Addition<VStore>

where VStore: VStoreConcept<Item = Domain>, Domain: Collection<Item = Bound>, Bound: Debug,

fn display(&self, model: &Model)

impl<VStore> DisplayStateful<Model> for AllEqual<VStore>

fn display(&self, model: &Model)

impl<VStore> DisplayStateful<Model> for Boolean<VStore>

fn display(&self, model: &Model)

impl<VStore> DisplayStateful<Model> for BooleanNeg<VStore>

fn display(&self, model: &Model)

impl<VStore> DisplayStateful<Model> for Conjunction<VStore>

fn display(&self, model: &Model)

impl<V> DisplayStateful<Model> for Constant<V>

where V: Debug,

fn display(&self, _model: &Model)

impl<VStore> DisplayStateful<Model> for Disjunction<VStore>

fn display(&self, model: &Model)

impl<VStore> DisplayStateful<Model> for Distinct<VStore>

fn display(&self, model: &Model)

impl<Domain> DisplayStateful<Model> for Identity<Domain>

fn display(&self, model: &Model)

impl<Memory, Event, Domain> DisplayStateful<Model> for Store<Memory, Event>

where Memory: MemoryConcept<Item = Domain>, Domain: Display + IsSingleton,

fn display(&self, model: &Model)

impl<VStore, Event, R, S> DisplayStateful<Model> for Store<VStore, Event, R, S>

fn display(&self, model: &Model)

impl<VStore> DisplayStateful<Model> for Sum<VStore>

fn display(&self, model: &Model)

impl<VStore> DisplayStateful<Model> for XEqY<VStore>

fn display(&self, model: &Model)

impl<VStore> DisplayStateful<Model> for XEqYMulZ<VStore>

fn display(&self, model: &Model)

impl<VStore> DisplayStateful<Model> for XEqYPlusZ<VStore>

where VStore: Collection,

fn display(&self, model: &Model)

impl<VStore> DisplayStateful<Model> for XGreaterYPlusZ<VStore>

fn display(&self, model: &Model)

impl<VStore> DisplayStateful<Model> for XLessY<VStore>

fn display(&self, model: &Model)

impl<VStore> DisplayStateful<Model> for XLessYPlusZ<VStore>

fn display(&self, model: &Model)

impl<VStore> DisplayStateful<Model> for XNeqY<VStore>

fn display(&self, model: &Model)