Model

Struct Model 

Source
pub struct Model(/* private fields */);

Trait Implementations§

Source§

impl AsFact<Model, Fact> for &str

Source§

fn as_fact(&self, model: &mut Model) -> Result<Bow<'_, Fact>>

Source§

impl AsFact<Model, Fact> for Fact

Source§

fn as_fact(&self, _model: &mut Model) -> Result<Bow<'_, Fact>>

Source§

impl Clone for Model

Source§

fn clone(&self) -> Model

Returns a duplicate of the value. Read more
1.0.0 · Source§

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

Performs copy-assignment from source. Read more
Source§

impl Debug for Model

Source§

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

Formats the value using the given formatter. Read more
Source§

impl Drop for Model

Source§

fn drop(&mut self)

Executes the destructor for this type. Read more
Source§

impl ModelInterface for Model

Source§

type Fact = Fact

Source§

type Value = Value

Source§

type Runnable = Runnable

Source§

fn input_count(&self) -> Result<usize>

Source§

fn output_count(&self) -> Result<usize>

Source§

fn input_name(&self, id: usize) -> Result<String>

Source§

fn output_name(&self, id: usize) -> Result<String>

Source§

fn set_output_names( &mut self, outputs: impl IntoIterator<Item = impl AsRef<str>>, ) -> Result<()>

Source§

fn input_fact(&self, id: usize) -> Result<Fact>

Source§

fn output_fact(&self, id: usize) -> Result<Fact>

Source§

fn declutter(&mut self) -> Result<()>

Source§

fn optimize(&mut self) -> Result<()>

Source§

fn into_decluttered(self) -> Result<Model>

Source§

fn into_optimized(self) -> Result<Model>

Source§

fn into_runnable(self) -> Result<Runnable>

Source§

fn concretize_symbols( &mut self, values: impl IntoIterator<Item = (impl AsRef<str>, i64)>, ) -> Result<()>

Source§

fn transform(&mut self, transform: &str) -> Result<()>

Source§

fn pulse(&mut self, name: impl AsRef<str>, value: impl AsRef<str>) -> Result<()>

Source§

fn cost_json(&self) -> Result<String>

Source§

fn profile_json<I, IV, IE, S, SV, SE>( &self, inputs: Option<I>, state_initializers: Option<S>, ) -> Result<String>
where I: IntoIterator<Item = IV>, IV: TryInto<Self::Value, Error = IE>, IE: Into<Error>, S: IntoIterator<Item = SV>, SV: TryInto<Self::Value, Error = SE>, SE: Into<Error>,

Source§

fn property_keys(&self) -> Result<Vec<String>>

Source§

fn property(&self, name: impl AsRef<str>) -> Result<Value>

Auto Trait Implementations§

§

impl Freeze for Model

§

impl RefUnwindSafe for Model

§

impl !Send for Model

§

impl !Sync for Model

§

impl Unpin for Model

§

impl UnwindSafe for Model

Blanket Implementations§

Source§

impl<T> Any for T
where T: 'static + ?Sized,

Source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
Source§

impl<T> Borrow<T> for T
where T: ?Sized,

Source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
Source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

Source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
Source§

impl<T> CloneToUninit for T
where T: Clone,

Source§

unsafe fn clone_to_uninit(&self, dest: *mut u8)

🔬This is a nightly-only experimental API. (clone_to_uninit)
Performs copy-assignment from self to dest. Read more
Source§

impl<T> From<T> for T

Source§

fn from(t: T) -> T

Returns the argument unchanged.

Source§

impl<T, U> Into<U> for T
where U: From<T>,

Source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

Source§

impl<T> ToOwned for T
where T: Clone,

Source§

type Owned = T

The resulting type after obtaining ownership.
Source§

fn to_owned(&self) -> T

Creates owned data from borrowed data, usually by cloning. Read more
Source§

fn clone_into(&self, target: &mut T)

Uses borrowed data to replace owned data, usually by cloning. Read more
Source§

impl<T, U> TryFrom<U> for T
where U: Into<T>,

Source§

type Error = Infallible

The type returned in the event of a conversion error.
Source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
Source§

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

Source§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
Source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.