StochasticDirectlyFollowsModel

ebi_objects::ebi_objects::stochastic_directly_follows_model

Struct StochasticDirectlyFollowsModel

pub struct StochasticDirectlyFollowsModel {
    pub activity_key: ActivityKey,
    pub node_2_activity: Vec<Activity>,
    pub empty_traces_weight: Fraction,
    pub sources: Vec<NodeIndex>,
    pub targets: Vec<NodeIndex>,
    pub weights: Vec<Fraction>,
    pub start_node_weights: Vec<Fraction>,
    pub end_node_weights: Vec<Fraction>,
}

Fields§

§activity_key: ActivityKey§node_2_activity: Vec<Activity>§empty_traces_weight: Fraction§sources: Vec<NodeIndex>§targets: Vec<NodeIndex>§weights: Vec<Fraction>§start_node_weights: Vec<Fraction>§end_node_weights: Vec<Fraction>

Implementations§

impl StochasticDirectlyFollowsModel

pub fn new(activity_key: ActivityKey) -> Self

Creates a new stochastic directly follows model. This has the empty stochastic language, until a state or an empty trace is added.

pub fn has_empty_traces(&self) -> bool

pub fn can_terminate_in_node(&self, node: NodeIndex) -> bool

pub fn number_of_start_nodes(&self) -> usize

pub fn number_of_end_nodes(&self) -> usize

pub fn is_start_node(&self, node: NodeIndex) -> bool

pub fn is_end_node(&self, node: NodeIndex) -> bool

pub fn can_execute_edge(&self, edge: usize) -> bool

pub fn get_max_state(&self) -> usize

pub fn add_node(&mut self, activity: Activity) -> NodeIndex

pub fn add_empty_trace(&mut self, weight: &Fraction)

pub fn add_edge( &mut self, source: NodeIndex, target: NodeIndex, weight: Fraction, )

pub fn binary_search( &self, source: NodeIndex, target: NodeIndex, ) -> (bool, usize)

Trait Implementations§

impl Clone for StochasticDirectlyFollowsModel

fn clone(&self) -> StochasticDirectlyFollowsModel

Returns a duplicate of the value. Read more

1.0.0 · Source§

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

Performs copy-assignment from source. Read more

impl Debug for StochasticDirectlyFollowsModel

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

Formats the value using the given formatter. Read more

impl Display for StochasticDirectlyFollowsModel

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

Formats the value using the given formatter. Read more

impl Exportable for StochasticDirectlyFollowsModel

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

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

impl From<DirectlyFollowsGraph> for StochasticDirectlyFollowsModel

fn from(value: DirectlyFollowsGraph) -> Self

Converts to this type from the input type.

impl From<StochasticDirectlyFollowsModel> for DirectlyFollowsModel

fn from(value: StochasticDirectlyFollowsModel) -> Self

Converts to this type from the input type.

impl From<StochasticDirectlyFollowsModel> for LabelledPetriNet

fn from(value: StochasticDirectlyFollowsModel) -> LabelledPetriNet

Converts to this type from the input type.

impl From<StochasticDirectlyFollowsModel> for LolaNet

fn from(value: StochasticDirectlyFollowsModel) -> Self

Converts to this type from the input type.

impl From<StochasticDirectlyFollowsModel> for StochasticLabelledPetriNet

fn from(value: StochasticDirectlyFollowsModel) -> Self

Converts to this type from the input type.

impl FromStr for StochasticDirectlyFollowsModel

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. Read more

impl Graphable for StochasticDirectlyFollowsModel

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

impl HasActivityKey for StochasticDirectlyFollowsModel

fn activity_key(&self) -> &ActivityKey

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

impl Importable for StochasticDirectlyFollowsModel

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

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

impl Infoable for StochasticDirectlyFollowsModel

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

impl TranslateActivityKey for StochasticDirectlyFollowsModel

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

type Error = Error

The type returned in the event of a conversion error.

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

Performs the conversion.

impl TryFrom<StochasticDirectlyFollowsModel> for PetriNetMarkupLanguage

type Error = Error

The type returned in the event of a conversion error.

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

Performs the conversion.

Auto Trait Implementations§

impl Freeze for StochasticDirectlyFollowsModel

impl RefUnwindSafe for StochasticDirectlyFollowsModel

impl Send for StochasticDirectlyFollowsModel

impl Sync for StochasticDirectlyFollowsModel

impl Unpin for StochasticDirectlyFollowsModel

impl UnwindSafe for StochasticDirectlyFollowsModel

Blanket Implementations§

impl<T> Any for T
where T: 'static + ?Sized,

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more

impl<T> Borrow<T> for T
where T: ?Sized,

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more

impl<T> BorrowMut<T> for T
where T: ?Sized,

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more

impl<T> CloneToUninit for T
where T: Clone,

unsafe fn clone_to_uninit(&self, dest: *mut u8)

🔬This is a nightly-only experimental API. (clone_to_uninit)

Performs copy-assignment from self to dest. Read more

impl<T, U> ExactFrom<T> for U
where U: TryFrom<T>,

fn exact_from(value: T) -> U

impl<T, U> ExactInto<U> for T
where U: ExactFrom<T>,

fn exact_into(self) -> U

impl<T> Finish for T

fn finish(self)

Does nothing but move self, equivalent to drop.

impl<T> From<T> for T

fn from(t: T) -> T

Returns the argument unchanged.

impl<T, U> Into<U> for T
where U: From<T>,

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

impl<T> IntoEither for T

fn into_either(self, into_left: bool) -> Either<Self, Self>

Converts self into a Left variant of Either<Self, Self> if into_left is true. Converts self into a Right variant of Either<Self, Self> otherwise. Read more

fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
where F: FnOnce(&Self) -> bool,

Converts self into a Left variant of Either<Self, Self> if into_left(&self) returns true. Converts self into a Right variant of Either<Self, Self> otherwise. Read more

impl<T, U> OverflowingInto<U> for T
where U: OverflowingFrom<T>,

fn overflowing_into(self) -> (U, bool)

impl<T> Pointable for T

const ALIGN: usize

The alignment of pointer.

type Init = T

The type for initializers.

unsafe fn init(init: <T as Pointable>::Init) -> usize

Initializes a with the given initializer. Read more

unsafe fn deref<'a>(ptr: usize) -> &'a T

Dereferences the given pointer. Read more

unsafe fn deref_mut<'a>(ptr: usize) -> &'a mut T

Mutably dereferences the given pointer. Read more

unsafe fn drop(ptr: usize)

Drops the object pointed to by the given pointer. Read more

impl<T, U> RoundingInto<U> for T
where U: RoundingFrom<T>,

fn rounding_into(self, rm: RoundingMode) -> (U, Ordering)

impl<T> Same for T

type Output = T

Should always be Self

impl<T, U> SaturatingInto<U> for T
where U: SaturatingFrom<T>,

fn saturating_into(self) -> U

impl<T> ToDebugString for T
where T: Debug,

fn to_debug_string(&self) -> String

Returns the String produced by Ts Debug implementation.

§Examples

use malachite_base::strings::ToDebugString;

assert_eq!([1, 2, 3].to_debug_string(), "[1, 2, 3]");
assert_eq!(
    [vec![2, 3], vec![], vec![4]].to_debug_string(),
    "[[2, 3], [], [4]]"
);
assert_eq!(Some(5).to_debug_string(), "Some(5)");

impl<T> ToOwned for T
where T: Clone,

type Owned = T

The resulting type after obtaining ownership.

fn to_owned(&self) -> T

Creates owned data from borrowed data, usually by cloning. Read more

fn clone_into(&self, target: &mut T)

Uses borrowed data to replace owned data, usually by cloning. Read more

impl<T> ToPDF for T
where T: ToSVG,

fn to_pdf(&self) -> Result<PortableDocumentFormat, Error>

impl<T> ToSVG for T
where T: Graphable,

fn to_svg(&self) -> Result<ScalableVectorGraphics, Error>

impl<T> ToString for T
where T: Display + ?Sized,

fn to_string(&self) -> String

Converts the given value to a String. Read more

impl<T, U> TryFrom<U> for T
where U: Into<T>,

type Error = Infallible

The type returned in the event of a conversion error.

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.

impl<V, T> VZip<V> for T
where V: MultiLane<T>,

fn vzip(self) -> V

impl<T, U> WrappingInto<U> for T
where U: WrappingFrom<T>,

fn wrapping_into(self) -> U