Storm
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
storm::dft::modelchecker::DependencyPair Class Reference

#include <DFTASFChecker.h>

Public Member Functions

 DependencyPair (uint64_t depIndex, uint64_t childIndex)
 

Friends

bool operator< (DependencyPair const &p1, DependencyPair const &p2)
 

Detailed Description

Definition at line 28 of file DFTASFChecker.h.

Constructor & Destructor Documentation

◆ DependencyPair()

storm::dft::modelchecker::DependencyPair::DependencyPair ( uint64_t  depIndex,
uint64_t  childIndex 
)
inline

Definition at line 30 of file DFTASFChecker.h.

Friends And Related Symbol Documentation

◆ operator<

bool operator< ( DependencyPair const &  p1,
DependencyPair const &  p2 
)
friend

Definition at line 32 of file DFTASFChecker.h.


The documentation for this class was generated from the following file: