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

Packages that use MemoryUnitSet

Package	Description
dev.civl.mc.kripke.IF	Module kripke provides the definition of various transitions and the enabler and state manager of CIVL.
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 MemoryUnitSet in dev.civl.mc.kripke.IF

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

Modifier and Type	Method	Description
BitSet	LibraryEnabler.ampleSet(State state, int pid, CallOrSpawnStatement statement, MemoryUnitSet[] setsReachableRead, MemoryUnitSet[] setsReachableWrite)	Computes the ample set process IDs from a system function call at a given state for a given process.

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

Methods in dev.civl.mc.semantics.IF that return MemoryUnitSet

Modifier and Type	Method	Description
MemoryUnitSet	MemoryUnitExpressionEvaluator.evaluateMemoryUnit(State state, Pair<Scope,dev.civl.sarl.IF.expr.SymbolicExpression[]> parameterScope, int pid, Expression muExpr)	Evaluates the memory unit represented by an expression in a contract.
MemoryUnitSet	MemoryUnitExpressionEvaluator.evaluates(State state, int pid, MemoryUnitExpression memUnit, MemoryUnitSet muSet)	evaluates the static impact memory unit expression which is the result of static analysis

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

Modifier and Type	Method	Description
MemoryUnitSet	MemoryUnitExpressionEvaluator.evaluates(State state, int pid, MemoryUnitExpression memUnit, MemoryUnitSet muSet)	evaluates the static impact memory unit expression which is the result of static analysis

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

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

Modifier and Type	Method	Description
MemoryUnitSet	MemoryUnitFactory.canonic(MemoryUnitSet muSet)	Return the "canonical" version of the given memory unit set.
MemoryUnitSet	MemoryUnitFactory.intersects(MemoryUnitSet muSet1, MemoryUnitSet muSet2)	This is an over-approximation method of intersection.
MemoryUnitSet	MemoryUnitFactory.newMemoryUnitSet()
MemoryUnitSet	MemoryUnitFactory.union(MemoryUnitSet muSet1, MemoryUnitSet muSet2)	This is an over-approximation method of union.

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

Modifier and Type	Method	Description
void	MemoryUnitFactory.add(MemoryUnitSet muSet, MemoryUnit mu)	Adds a memory unit to a memory unit set.
void	MemoryUnitFactory.add(MemoryUnitSet muSet, dev.civl.sarl.IF.expr.SymbolicExpression pointer, StateFactory stateFactory)
MemoryUnitSet	MemoryUnitFactory.canonic(MemoryUnitSet muSet)	Return the "canonical" version of the given memory unit set.
MemoryUnitSet	MemoryUnitFactory.intersects(MemoryUnitSet muSet1, MemoryUnitSet muSet2)	This is an over-approximation method of intersection.
boolean	MemoryUnitFactory.isJoint(MemoryUnitSet muSet, MemoryUnit mu)	This is an over-approximation method of membership testing.
boolean	MemoryUnitFactory.isJoint(MemoryUnitSet muSet1, MemoryUnitSet muSet2)	This is an over-approximation method to test if two memory unit sets have any intersection.
MemoryUnitSet	MemoryUnitFactory.union(MemoryUnitSet muSet1, MemoryUnitSet muSet2)	This is an over-approximation method of union.