Uses of Interface
dev.civl.mc.state.IF.DynamicScope

Packages that use DynamicScope

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

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

Methods in dev.civl.mc.state.IF that return DynamicScope

Modifier and Type	Method	Description
DynamicScope	State.getDyscope(int id)	Returns the id-th dynamic scope in this state.
DynamicScope	DynamicScope.setValue(int vid, dev.civl.sarl.IF.expr.SymbolicExpression value)	Sets the value assigned to the vid-th variable.