por.hh File Reference

Go to the source code of this file.

Classes

class  por_t
 Class for utilization of partial order reduction. More...

Variables

const std::size_t POR_FIND_ONLY = 4
 Defines the type of choosing ample set - only finds processes whose transitions can be taken as ample set.
const std::size_t POR_FIRST = 1
 Defines the type of choosing ample set - transitions from the first proper process will be taken.
const std::size_t POR_LAST = 2
 Defines the type of choosing ample set - transitions from the last proper process will be taken.
const std::size_t POR_SMALLEST = 3
 Defines the type of choosing ample set - transitions from the proper process with smallest number of transitions will be taken.


Detailed Description

* This file contains the class por_t for utilization of partial order reduction.

Reference Manual for Library, 2006 developed in ParaDiSe laboratory, Faculty of Informatics, Masaryk University