Skip to main content

Bounded

Trait Bounded 

Source
pub trait Bounded {
    type LivState: Displayable;

    // Required method
    fn bounded(&self) -> Result<bool>;
}

Required Associated Types§

Required Methods§

Source

fn bounded(&self) -> Result<bool>

Returns whether the model has a bounded state space.

Implementations on Foreign Types§

Source§

impl Bounded for DeterministicFiniteAutomaton

Source§

impl Bounded for DirectlyFollowsGraph

Source§

impl Bounded for DirectlyFollowsModel

Source§

impl Bounded for EventLog

Source§

impl Bounded for EventLogCsv

Source§

impl Bounded for EventLogOcel

Source§

impl Bounded for EventLogPython

Source§

impl Bounded for EventLogTraceAttributes

Source§

impl Bounded for EventLogXes

Source§

impl Bounded for FiniteLanguage

Source§

impl Bounded for FiniteStochasticLanguage

Source§

impl Bounded for LabelledPetriNet

Source§

impl Bounded for ProcessTree

Source§

impl Bounded for StochasticDeterministicFiniteAutomaton

Source§

impl Bounded for StochasticDirectlyFollowsModel

Source§

impl Bounded for StochasticLabelledPetriNet

Source§

impl Bounded for StochasticNondeterministicFiniteAutomaton

Source§

impl Bounded for StochasticProcessTree

Implementors§