Uses of Interface
dev.civl.mc.model.IF.contract.MemoryEvent

Packages that use MemoryEvent

Package	Description
dev.civl.mc.model.IF.contract

Uses of MemoryEvent in dev.civl.mc.model.IF.contract

Methods in dev.civl.mc.model.IF.contract that return MemoryEvent

Modifier and Type	Method	Description
MemoryEvent	ContractFactory.newMemoryEvent(CIVLSource source, DependsEvent.DependsEventKind kind, Set<Expression> memoryUnits)	Creates a new instance of memory event of the given kind.