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