Package org.mpi_sws.jmc.api.util

package org.mpi_sws.jmc.api.util

Provides Redefinitions of java.utl classes with plugs to support JMC model checking.

Related Packages

Package	Description
org.mpi_sws.jmc.api.util.concurrent	Redefinitions of classes in the java.util.concurrent package.
org.mpi_sws.jmc.api.util.statements	Defines additional statements of the JMC API to be used in JMC tests.

Classes

Class	Description
JmcRandom	A JMC-specific implementation of java.util.Random that allows for model checking.