Uses of Enum Class
dev.civl.gmc.concurrent.ProvisoValue

Packages that use ProvisoValue

Package	Description
dev.civl.gmc.concurrent	This package provides concurrent generic model checking functionality.

Uses of ProvisoValue in dev.civl.gmc.concurrent

Methods in dev.civl.gmc.concurrent that return ProvisoValue

Modifier and Type	Method	Description
ProvisoValue	ConcurrentNode.getProviso()
static ProvisoValue	ProvisoValue.valueOf(String name)	Returns the enum constant of this class with the specified name.
static ProvisoValue[]	ProvisoValue.values()	Returns an array containing the constants of this enum class, in the order they are declared.