Struct DblModel

pub struct DblModel {
    pub model: DblModelBox,
    /* private fields */
}

Wasm binding of a model of a double theory.

Fields

model: DblModelBox

The boxed underlying model.

Implementations

impl DblModel

pub fn new(theory: &DblTheory) -> Self

Constructs a new model of a double theory.

pub fn discrete(&self) -> Result<&DiscreteDblModel, String>

Tries to get a model of a discrete theory.

pub fn discrete_mut(&mut self) -> Result<&mut DiscreteDblModel, String>

Tries to get a model of a discrete theory, by mutable reference.

pub fn discrete_tab(&self) -> Result<&DiscreteTabModel, String>

Tries to get a model of a discrete tabulator theory.

pub fn modal(&self) -> Result<&ModalDblModel, String>

Tries to get a model of a modal theory.

pub fn add_ob(&mut self, decl: &ObDecl) -> Result<(), String>

Adds an object to the model.

pub fn add_mor(&mut self, decl: &MorDecl) -> Result<(), String>

Adds a morphism to the model.

impl DblModel

pub fn has_ob(&self, ob: Ob) -> Result<bool, String>

Is the object contained in the model?

pub fn has_mor(&self, mor: Mor) -> Result<bool, String>

Is the morphism contained in the model?

pub fn dom(&self, mor: Mor) -> Result<Ob, String>

Gets the domain of a morphism in the model.

pub fn cod(&self, mor: Mor) -> Result<Ob, String>

Gets the codomain of a morphism in the model.

pub fn get_dom(&self, id: &QualifiedName) -> Result<Option<Ob>, String>

Gets the domain of a morphism generator, if it is set.

pub fn get_cod(&self, id: &QualifiedName) -> Result<Option<Ob>, String>

Gets the codomain of a morphism generator, if it is set.

pub fn ob_type(&self, ob: Ob) -> Result<ObType, String>

Gets the object type of an object in the model.

pub fn mor_type(&self, mor: Mor) -> Result<MorType, String>

Gets the morphism type of a morphism in the model.

pub fn ob_generators(&self) -> Vec<QualifiedName>

Returns the object generators for the model.

pub fn mor_generators(&self) -> Vec<QualifiedName>

Returns the morphism generators for the model.

pub fn ob_generators_with_type( &self, ob_type: ObType, ) -> Result<Vec<QualifiedName>, String>

Returns the object generators of the given object type.

pub fn mor_generators_with_type( &self, mor_type: MorType, ) -> Result<Vec<QualifiedName>, String>

Returns the morphism generators of the given morphism type.

pub fn ob_generator_label(&self, id: &QualifiedName) -> Option<QualifiedLabel>

Gets the human-readable label, if any, for an object generator.

pub fn ob_generator_with_label(&self, label: &QualifiedLabel) -> NameLookup

Gets an object generator with the given human-readable label.

pub fn mor_generator_label(&self, id: &QualifiedName) -> Option<QualifiedLabel>

Gets the human-readable label, if any, for a morphism generator.

pub fn mor_generator_with_label(&self, label: &QualifiedLabel) -> NameLookup

Gets a morphism generator with the given human-readable label.

pub fn validate(&self) -> ModelValidationResult

Validates the model, returning any validation failures.

Trait Implementations

impl From<DblModel> for JsValue

fn from(value: DblModel) -> Self

Converts to this type from the input type.

impl FromWasmAbi for DblModel

type Abi = u32

The Wasm ABI type that this converts from when coming back out from the ABI boundary.

unsafe fn from_abi(js: u32) -> Self

Recover a Self from Self::Abi.

impl IntoWasmAbi for DblModel

type Abi = u32

The Wasm ABI type that this converts into when crossing the ABI boundary.

fn into_abi(self) -> u32

Convert self into Self::Abi so that it can be sent across the wasm ABI boundary.

impl LongRefFromWasmAbi for DblModel

type Abi = u32

Same as RefFromWasmAbi::Abi

type Anchor = RcRef<DblModel>

Same as RefFromWasmAbi::Anchor

unsafe fn long_ref_from_abi(js: Self::Abi) -> Self::Anchor

Same as RefFromWasmAbi::ref_from_abi

impl OptionFromWasmAbi for DblModel

fn is_none(abi: &Self::Abi) -> bool

Tests whether the argument is a “none” instance. If so it will be deserialized as None, and otherwise it will be passed to FromWasmAbi.

impl OptionIntoWasmAbi for DblModel

fn none() -> Self::Abi

Returns an ABI instance indicating “none”, which JS will interpret as the None branch of this option.

impl RefFromWasmAbi for DblModel

type Abi = u32

The Wasm ABI type references to Self are recovered from.

type Anchor = RcRef<DblModel>

The type that holds the reference to Self for the duration of the invocation of the function that has an &Self parameter. This is required to ensure that the lifetimes don’t persist beyond one function call, and so that they remain anonymous.

unsafe fn ref_from_abi(js: Self::Abi) -> Self::Anchor

Recover a Self::Anchor from Self::Abi.

impl RefMutFromWasmAbi for DblModel

type Abi = u32

Same as RefFromWasmAbi::Abi

type Anchor = RcRefMut<DblModel>

Same as RefFromWasmAbi::Anchor

unsafe fn ref_mut_from_abi(js: Self::Abi) -> Self::Anchor

Same as RefFromWasmAbi::ref_from_abi

impl TryFromJsValue for DblModel

type Error = JsValue

The type returned in the event of a conversion error.

fn try_from_js_value(value: JsValue) -> Result<Self, Self::Error>

Performs the conversion.

impl VectorFromWasmAbi for DblModel

type Abi = <Box<[JsValue]> as FromWasmAbi>::Abi

unsafe fn vector_from_abi(js: Self::Abi) -> Box<[DblModel]>

impl VectorIntoJsValue for DblModel

fn vector_into_jsvalue(vector: Box<[DblModel]>) -> JsValue

impl VectorIntoWasmAbi for DblModel

type Abi = <Box<[JsValue]> as IntoWasmAbi>::Abi

fn vector_into_abi(vector: Box<[DblModel]>) -> Self::Abi

impl WasmDescribe for DblModel

fn describe()

impl WasmDescribeVector for DblModel

fn describe_vector()

impl SupportsConstructor for DblModel

impl SupportsInstanceProperty for DblModel

impl SupportsStaticProperty for DblModel