Uses of Interface
dev.civl.mc.kripke.IF.AtomicStep

Packages that use AtomicStep

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 AtomicStep in dev.civl.mc.kripke.IF

Methods in dev.civl.mc.kripke.IF that return types with arguments of type AtomicStep

Modifier and Type	Method	Description
Iterable<AtomicStep>	TraceStep.getAtomicSteps()	Returns the list of atomic steps of this trace step.

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

Modifier and Type	Method	Description
void	TraceStep.addAtomicStep(AtomicStep step)	Adds an atomic step to the trace step.