Uses of Enum Class
dev.civl.mc.config.IF.CIVLConstants.DeadlockKind

Packages that use CIVLConstants.DeadlockKind

Package	Description
dev.civl.mc.config.IF	Module config provides static configurations of the CIVL tool.

Uses of CIVLConstants.DeadlockKind in dev.civl.mc.config.IF

Methods in dev.civl.mc.config.IF that return CIVLConstants.DeadlockKind

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

Methods in dev.civl.mc.config.IF with parameters of type CIVLConstants.DeadlockKind

Modifier and Type	Method	Description
void	CIVLConfiguration.setCheckDeadlockKind(CIVLConstants.DeadlockKind checkDeadlockKind)	Sets the kind of deadlocks we want to check for