Module dev.civl.mc

Package dev.civl.mc.state.IF

Interface MemoryUnitSet

All Superinterfaces:

Iterable<MemoryUnit>

public interface MemoryUnitSet
extends Iterable<MemoryUnit>

A memory unit set represents a set of memory units.

Method Summary

Modifier and Type	Method	Description
void	add(MemoryUnit mu)
boolean	isEmpty()	returns true iff this memory unit set is empty.
Iterable<MemoryUnit>	memoryUnits()	Gets the memory units of this set.
void	print(PrintStream out)

Methods inherited from interface java.lang.Iterable

forEach, iterator, spliterator

Method Details

memoryUnits

Iterable<MemoryUnit> memoryUnits()

Gets the memory units of this set.

Returns:

print

void print(PrintStream out)

add

void add(MemoryUnit mu)

isEmpty

boolean isEmpty()

returns true iff this memory unit set is empty.

Returns: