Trait ModelInterface

Source

pub trait ModelInterface: Sized {
    type Fact: FactInterface;
    type Runnable: RunnableInterface;
    type Value: ValueInterface;

Show 16 methods    // Required methods
    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<Self::Fact>;
    fn output_fact(&self, id: usize) -> Result<Self::Fact>;
    fn into_runnable(self) -> Result<Self::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 property_keys(&self) -> Result<Vec<String>>;
    fn property(&self, name: impl AsRef<str>) -> Result<Self::Value>;
    fn parse_fact(&self, spec: &str) -> Result<Self::Fact>;

    // Provided methods
    fn input_facts(&self) -> Result<impl Iterator<Item = Self::Fact>> { ... }
    fn output_facts(&self) -> Result<impl Iterator<Item = Self::Fact>> { ... }
}