Uses of Interface
dev.civl.mc.util.IF.Printable

Packages that use Printable

Package	Description
dev.civl.mc.kripke.IF	Module kripke provides the definition of various transitions and the enabler and state manager of CIVL.

Uses of Printable in dev.civl.mc.kripke.IF

Methods in dev.civl.mc.kripke.IF with parameters of type Printable

Modifier and Type	Method	Description
abstract void	CIVLStateManager.setUpdater(Printable updater)	Set the field savedStates.