Struct Model 

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

Trait Implementations

impl AsFact<Model, Fact> for &str

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

impl AsFact<Model, Fact> for Fact

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

impl ModelInterface for Model

type Fact = Fact

type Runnable = Runnable

type Value = Value

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

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

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

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

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

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

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

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

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

fn into_decluttered(self) -> Result<Model>

fn into_optimized(self) -> Result<Model>

fn into_runnable(self) -> Result<Runnable>

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

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

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

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

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> + Debug, S: IntoIterator<Item = SV>, SV: TryInto<Self::Value, Error = SE>, SE: Into<Error> + Debug,

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

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