Struct StochasticBusinessProcessModelAndNotation 

pub struct StochasticBusinessProcessModelAndNotation {
    pub bpmn: BusinessProcessModelAndNotation,
}

Fields

bpmn: BusinessProcessModelAndNotation

Implementations

impl StochasticBusinessProcessModelAndNotation

pub fn export_to_writer(&self, f: &mut dyn Write) -> Result<(), Error>

impl StochasticBusinessProcessModelAndNotation

pub fn get_initial_marking(&self) -> Result<BPMNMarking, Error>

BPMN 2.0.2 standard page 238

pub fn execute_transition( &self, marking: &mut BPMNMarking, transition_index: usize, ) -> Result<(), Error>

pub fn is_final_marking(&self, marking: &BPMNMarking) -> Result<bool, Error>

pub fn is_transition_silent( &self, transition_index: usize, marking: &BPMNMarking, ) -> bool

pub fn get_transition_activity( &self, transition_index: usize, marking: &BPMNMarking, ) -> Option<Activity>

pub fn get_enabled_transitions( &self, marking: &BPMNMarking, ) -> Result<Vec<usize>, Error>

pub fn number_of_transitions(&self, marking: &BPMNMarking) -> usize

pub fn get_transition_weight( &self, transition_index: usize, marking: &BPMNMarking, ) -> Option<FractionEnum>

impl StochasticBusinessProcessModelAndNotation

pub fn is_structurally_correct(&self) -> Result<(), Error>

impl StochasticBusinessProcessModelAndNotation

pub fn import_from_reader( reader: &mut dyn BufRead, ) -> Result<StochasticBusinessProcessModelAndNotation, Error>

where StochasticBusinessProcessModelAndNotation: Sized,

pub fn number_of_elements(&self) -> usize

pub fn number_of_message_flows(&self) -> usize

pub fn elements(&self) -> Vec<&BPMNElement>

returns all elements in the model (recursively)

pub fn parent_of(&self, global_index: (usize, ())) -> Option<&dyn Processable>

pub fn sequence_flows(&self) -> Vec<&BPMNSequenceFlow>

Returns all sequence flows (recursive)

pub fn global_index_2_element(&self, index: (usize, ())) -> Option<&BPMNElement>

find an element with the given index

pub fn global_index_2_element_mut( &mut self, index: (usize, ()), ) -> Option<&mut BPMNElement>

find an element with the given index

pub fn index_2_object(&self, index: (usize, ())) -> Option<&dyn BPMNObject>

find the object of the given index

pub fn message_flow_index_2_source( &self, message_flow_index: usize, ) -> Result<&BPMNElement, Error>

return the element that is the source of the given message flow

pub fn message_flow_index_2_target( &self, message_flow_index: usize, ) -> Result<&BPMNElement, Error>

return the element that is the target of the given message flow

pub fn global_index_2_sequence_flow_and_parent( &self, sequence_flow_global_index: (usize, ()), ) -> Option<(&BPMNSequenceFlow, &dyn Processable)>

return the sequence flow with the given global index

pub fn transition_debug( &self, transition_index: usize, marking: &BPMNMarking, ) -> Option<String>

pub fn transition_2_marked_sequence_flows<'a>( &'a mut self, marking: &BPMNMarking, transition_index: usize, ) -> Option<Vec<(usize, ())>>

Returns the global indices of sequence flows that get a token by executing this transition.

pub fn global_index_2_sequence_flow_mut( &mut self, sequence_flow_global_index: (usize, ()), ) -> Option<&mut BPMNSequenceFlow>

return the sequence flow with this index, if it exists (recurses)

Trait Implementations

impl Clone for StochasticBusinessProcessModelAndNotation

fn clone(&self) -> StochasticBusinessProcessModelAndNotation

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for StochasticBusinessProcessModelAndNotation

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

Formats the value using the given formatter.

impl Display for StochasticBusinessProcessModelAndNotation

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

Formats the value using the given formatter.

impl Exportable for StochasticBusinessProcessModelAndNotation

fn export_from_object(object: EbiObject, f: &mut dyn Write) -> Result<()>

Input: any EbiObject. Output: the object will have been converted if necessary, and written to f. May fail for all kinds of reasons.

fn export(&self, f: &mut dyn Write) -> Result<()>

impl From<StochasticBusinessProcessModelAndNotation> for BusinessProcessModelAndNotation

fn from( value: StochasticBusinessProcessModelAndNotation, ) -> BusinessProcessModelAndNotation

Converts to this type from the input type.

impl FromStr for StochasticBusinessProcessModelAndNotation

type Err = Error

The associated error which can be returned from parsing.

fn from_str( s: &str, ) -> Result<StochasticBusinessProcessModelAndNotation, <StochasticBusinessProcessModelAndNotation as FromStr>::Err>

Parses a string s to return a value of this type.

impl Graphable for StochasticBusinessProcessModelAndNotation

fn to_dot(&self) -> Result<VisualGraph>

impl HasActivityKey for StochasticBusinessProcessModelAndNotation

fn activity_key(&self) -> &ActivityKey

fn activity_key_mut(&mut self) -> &mut ActivityKey

impl Importable for StochasticBusinessProcessModelAndNotation

const IMPORTER_PARAMETERS: &[ImporterParameter]

Defines the parameters that the importer expects.

const FILE_FORMAT_SPECIFICATION_LATEX: &str = "A stochastic Business Process Model and Notation (BPMN) model follows the OMG 2.0.2 standard~\\cite{omg2011bpmn}. In addition, certain sequence flows must have <weight constant=\"..\"> tags in the namespace https://www.ebitools.org/sbpmn/20260305. Currently, a sub-set of elements is supported."

A latex piece that describes the file format.

fn import_as_object( reader: &mut dyn BufRead, parameter_values: &ImporterParameterValues, ) -> Result<EbiObject>

fn import( reader: &mut dyn BufRead, _parameter_values: &ImporterParameterValues, ) -> Result<Self>

where Self: Sized,

Attempts to import from the reader. The parameter_values must match the order given in IMPORTER_PARAMETERS.

fn default_importer_parameter_values() -> ImporterParameterValues

impl Infoable for StochasticBusinessProcessModelAndNotation

fn info(&self, f: &mut impl Write) -> Result<()>

impl TranslateActivityKey for StochasticBusinessProcessModelAndNotation

fn translate_using_activity_key(&mut self, to_activity_key: &mut ActivityKey)

Change the activity key of this object, by translating all mentions of activities to the new activity key (which will be updated with activity labels it did not have yet.). This is a potentially expensive operation. If only a part of the activities will be used, then consider using an ActivityKeyTranslator directly. The activity key of this object will be updated too, so the activity keys will be equivalent afterwards.

impl TryFrom<BusinessProcessModelAndNotation> for StochasticBusinessProcessModelAndNotation

fn try_from( value: BusinessProcessModelAndNotation, ) -> Result<StochasticBusinessProcessModelAndNotation, <StochasticBusinessProcessModelAndNotation as TryFrom<BusinessProcessModelAndNotation>>::Error>

Attempt to transform a BPMN model into an SBPMN model. This is possible if the appropriate sequence flows are annotated with weights.

type Error = Error

The type returned in the event of a conversion error.