Uses of Class
dev.civl.mc.state.IF.CIVLHeapException

Packages that use CIVLHeapException

Package	Description
dev.civl.mc.state.IF	Module state is responsible for the creation and manipulation of states of a CIVL model.

Uses of CIVLHeapException in dev.civl.mc.state.IF

Methods in dev.civl.mc.state.IF that throw CIVLHeapException

Modifier and Type	Method	Description
State	StateFactory.canonic(State state, boolean collectProcesses, boolean collectScopes, boolean collectHeaps, boolean collectSymbolicConstants, boolean simplify, Set<CIVLHeapException.HeapErrorKind> toBeIgnored)	Return the "canonical" version of the given state.
State	StateFactory.initialState(Model model)	Returns the canonic, initial state for a CIVL Model.