mCRL2
Loading...
Searching...
No Matches
PriorityPromotionSolver.cpp File Reference

Go to the source code of this file.

Variables

const priority_t COMPUTED_REGION = -1
 

Variable Documentation

◆ COMPUTED_REGION

const priority_t COMPUTED_REGION = -1

Definition at line 10 of file PriorityPromotionSolver.cpp.