pub struct TimePetriNetAnalyzer<'a> { /* private fields */ }Expand description
Formal analyzer for Time Petri Nets using the State Class Graph method.
Implementations§
Source§impl<'a> TimePetriNetAnalyzer<'a>
impl<'a> TimePetriNetAnalyzer<'a>
pub fn for_net(net: &'a PetriNet) -> TimePetriNetAnalyzerBuilder<'a>
Sourcepub fn analyze(&self) -> LivenessResult
pub fn analyze(&self) -> LivenessResult
Performs formal liveness analysis.
Sourcepub fn analyze_xor_branches(
net: &PetriNet,
scg: &StateClassGraph,
) -> XorBranchAnalysis
pub fn analyze_xor_branches( net: &PetriNet, scg: &StateClassGraph, ) -> XorBranchAnalysis
Analyzes XOR branch coverage for a built state class graph.
Auto Trait Implementations§
impl<'a> Freeze for TimePetriNetAnalyzer<'a>
impl<'a> !RefUnwindSafe for TimePetriNetAnalyzer<'a>
impl<'a> Send for TimePetriNetAnalyzer<'a>
impl<'a> Sync for TimePetriNetAnalyzer<'a>
impl<'a> Unpin for TimePetriNetAnalyzer<'a>
impl<'a> UnsafeUnpin for TimePetriNetAnalyzer<'a>
impl<'a> !UnwindSafe for TimePetriNetAnalyzer<'a>
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more