Struct ProcessTree 

pub struct ProcessTree {
    pub activity_key: ActivityKey,
    pub tree: Vec<Node>,
    pub transition2node: Vec<usize>,
}

Fields

activity_key: ActivityKey

tree: Vec<Node>

transition2node: Vec<usize>

Implementations

impl ProcessTree

pub fn node_to_lpn( &self, node: usize, net: &mut LabelledPetriNet, translator: &ActivityKeyTranslator, source: usize, sink: usize, ) -> Result<usize>

impl ProcessTree

pub fn number_of_leaves(&self) -> usize

impl ProcessTree

pub fn get_number_of_nodes(&self) -> usize

pub fn get_node(&self, node: usize) -> Option<&Node>

pub fn root(&self) -> usize

pub fn get_node_of_transition( &self, transition: TransitionIndex, ) -> Result<&Node>

pub fn get_parent(&self, node: usize) -> Option<(usize, usize)>

Returns the parent of node. Notice that this is an expensive operation; avoid if possible.

@param node @return The parent of node, and the rank of the child

pub fn get_child_rank_with( &self, parent: usize, grand_child: usize, ) -> Option<usize>

@param parent @param grandChild @return The number of the child within parent that contains grandChild. If grandChild is not a child of parent, will return -1.

pub fn get_children(&self, node: usize) -> ChildrenIterator<'_>

pub fn get_parents(&self, node: usize) -> ParentsIterator<'_>

pub fn get_descendants(&self, node: usize) -> &[Node]

pub fn is_parent_of(&self, parent: usize, child: usize) -> bool

@param parent @param child @return Whether the child is a direct or indirect child of parent.

pub fn traverse(&self, node: usize) -> usize

Find the next node of this node: the next sibling, and if that is not available, the next sibling up the tree. May return a non-existing node if there is no sibling.

pub fn get_child(&self, parent: usize, child_rank: usize) -> usize

pub fn get_number_of_children(&self, parent: usize) -> Option<usize>

pub fn node_to_transition(&self, node: usize) -> Option<usize>

Trait Implementations

impl Clone for ProcessTree

fn clone(&self) -> ProcessTree

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ProcessTree

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

Formats the value using the given formatter.

impl Display for ProcessTree

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

Formats the value using the given formatter.

impl Exportable for ProcessTree

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<(ActivityKey, Vec<Node>)> for ProcessTree

fn from(value: (ActivityKey, Vec<Node>)) -> Self

Converts to this type from the input type.

impl From<ProcessTree> for DeterministicFiniteAutomaton

fn from(tree: ProcessTree) -> Self

Converts to this type from the input type.

impl From<ProcessTree> for LabelledPetriNet

fn from(value: ProcessTree) -> Self

Converts to this type from the input type.

impl From<ProcessTree> for LolaNet

fn from(value: ProcessTree) -> Self

Converts to this type from the input type.

impl From<ProcessTreeMarkupLanguage> for ProcessTree

fn from(value: ProcessTreeMarkupLanguage) -> Self

Converts to this type from the input type.

impl From<StochasticProcessTree> for ProcessTree

fn from(value: StochasticProcessTree) -> Self

Converts to this type from the input type.

impl FromStr for ProcessTree

type Err = Error

The associated error which can be returned from parsing.

fn from_str(s: &str) -> Result<Self, Self::Err>

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

impl Graphable for ProcessTree

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

impl HasActivityKey for ProcessTree

fn activity_key(&self) -> &ActivityKey

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

impl Importable for ProcessTree

const FILE_FORMAT_SPECIFICATION_LATEX: &str = "A process tree is a line-based structure. Lines starting with a \\# are ignored. This first line is exactly `process tree'. The subsequent lines contain the nodes: Each node is either: \\begin{itemize} \\item A line with the word `activity' followed on the same line by a space and the label of the activity leaf; \\item The word `tau'; \\item The name of an operator (`sequence', `xor', `concurrent', `loop', `interleaved', or `or') on its own line. The line thereafter contains the number of children of the node, after which the nodes are given. An operator node must have at least one child. \\end{itemize} Indentation of nodes is allowed, but not mandatory. For instance: \\lstinputlisting[language=ebilines, style=boxed]{../testfiles/all_operators.ptree}"

A latex piece that describes the file format.

const IMPORTER_PARAMETERS: &[ImporterParameter]

Defines the parameters that the importer expects.

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

fn import(reader: &mut dyn BufRead, _: &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 ProcessTree

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

impl TranslateActivityKey for ProcessTree

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<ProcessTree> for PetriNet

type Error = Error

The type returned in the event of a conversion error.

fn try_from(value: ProcessTree) -> Result<Self, Self::Error>

Performs the conversion.

impl TryFrom<ProcessTree> for PetriNetMarkupLanguage

type Error = Error

The type returned in the event of a conversion error.

fn try_from(value: ProcessTree) -> Result<Self, Self::Error>

Performs the conversion.