Module dev.civl.gmc

Package dev.civl.gmc.util

package dev.civl.gmc.util

The utility package for GMC, providing a set of utility classes and functions used by GMC.

Related Packages

Package	Description
dev.civl.gmc	The root package of generic model checking is used to construct model checking applications, either sequential or concurrent.
dev.civl.gmc.concurrent	This package provides concurrent generic model checking functionality.
dev.civl.gmc.dpor
dev.civl.gmc.seq	This package provides sequential generic model checking functionality.
dev.civl.gmc.smc	A simple implementation of General Model Checker (GMC) is used by a set of code coverage test cases.

Classes

Class	Description
Pair<L,R>
Utils