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:

• src/storm-dft/modelchecker/DFTASFChecker.h