Base classes

Classes
class	smp::model_checker_base< typeparams >
	An abstract model checker. More...

---

Detailed Description

This module collects all base classes associated with model checking.