Uses of Interface
dev.civl.mc.dynamic.IF.DynamicMemoryLocationSet

Packages that use DynamicMemoryLocationSet

Package	Description
dev.civl.mc.dynamic.IF	Module dynamic provides general computations of symbolic expressions, including the pretty printing method.
dev.civl.mc.state.IF	Module state is responsible for the creation and manipulation of states of a CIVL model.

Uses of DynamicMemoryLocationSet in dev.civl.mc.dynamic.IF

Methods in dev.civl.mc.dynamic.IF that return DynamicMemoryLocationSet

Modifier and Type	Method	Description
DynamicMemoryLocationSet	DynamicMemoryLocationSetFactory.addReference(DynamicMemoryLocationSet writeSet, dev.civl.sarl.IF.expr.SymbolicExpression memValue)	Add references in a "memValue" into the given "writeSet", returns a new write set
DynamicMemoryLocationSet	DynamicMemoryLocationSet.apply(dev.civl.sarl.IF.UnaryOperator<dev.civl.sarl.IF.expr.SymbolicExpression> operator)	Apply an UnaryOperator on the set of memory location references.
DynamicMemoryLocationSet	DynamicMemoryLocationSetFactory.empty()

Methods in dev.civl.mc.dynamic.IF with parameters of type DynamicMemoryLocationSet

Modifier and Type	Method	Description
DynamicMemoryLocationSet	DynamicMemoryLocationSetFactory.addReference(DynamicMemoryLocationSet writeSet, dev.civl.sarl.IF.expr.SymbolicExpression memValue)	Add references in a "memValue" into the given "writeSet", returns a new write set

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

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

Modifier and Type	Method	Description
DynamicMemoryLocationSet	StateFactory.peekReadWriteSet(State state, int pid, boolean isRead)