Package edu.udel.cis.vsl.gmc.util

package edu.udel.cis.vsl.gmc.util

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

Related Packages

Package	Description
edu.udel.cis.vsl.gmc	The root package of generic model checking is used to construct model checking applications, either sequential or concurrent.
edu.udel.cis.vsl.gmc.concurrent	This package provides concurrent generic model checking functionality.
edu.udel.cis.vsl.gmc.seq	This package provides sequential generic model checking functionality.
edu.udel.cis.vsl.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