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

Packages that use MemoryUnit

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

Uses of MemoryUnit in dev.civl.mc.semantics.IF

Methods in dev.civl.mc.semantics.IF with parameters of type MemoryUnit

Modifier and Type	Method	Description
StringBuffer	SymbolicAnalyzer.memoryUnitToString(State state, MemoryUnit mu)	Pretty representation of a memory unit.

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

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

Modifier and Type	Method	Description
MemoryUnit	MemoryUnitFactory.extendReference(MemoryUnit mu, dev.civl.sarl.IF.expr.ReferenceExpression extraRef)	extends a memory unit with extra references.
MemoryUnit	MemoryUnitFactory.newMemoryUnit(int dyscopeID, int varID, dev.civl.sarl.IF.expr.ReferenceExpression reference)
MemoryUnit	MemoryUnit.setReference(dev.civl.sarl.IF.expr.ReferenceExpression ref)	updates the reference of this memory unit

Methods in dev.civl.mc.state.IF that return types with arguments of type MemoryUnit

Modifier and Type	Method	Description
Iterable<MemoryUnit>	MemoryUnitSet.memoryUnits()	Gets the memory units of this set.

Methods in dev.civl.mc.state.IF with parameters of type MemoryUnit

Modifier and Type	Method	Description
void	MemoryUnitFactory.add(MemoryUnitSet muSet, MemoryUnit mu)	Adds a memory unit to a memory unit set.
void	MemoryUnitSet.add(MemoryUnit mu)
boolean	MemoryUnitFactory.contains(MemoryUnit mu1, MemoryUnit mu2)	Does mu1 contains mu2? returns true iff mu1 equals mu2, or mu1 and mu2 are referring to the same object and mu1 is containing mu2.
MemoryUnit	MemoryUnitFactory.extendReference(MemoryUnit mu, dev.civl.sarl.IF.expr.ReferenceExpression extraRef)	extends a memory unit with extra references.
boolean	MemoryUnitFactory.isJoint(MemoryUnit mu1, MemoryUnit mu2)	This is an over-approximation method to test if two memory units have any intersection.
boolean	MemoryUnitFactory.isJoint(MemoryUnitSet muSet, MemoryUnit mu)	This is an over-approximation method of membership testing.