public final class AbstractionBufferEventPair extends java.lang.Object implements Abstraction<BufferEventPair>
AbstractionBufferEventPair
maps a transition into the buffer-event pair.Constructor and Description |
---|
AbstractionBufferEventPair() |
Modifier and Type | Method and Description |
---|---|
BufferEventPair |
apply(MmuTransition transition) |
public BufferEventPair apply(MmuTransition transition)
apply
in interface Function<MmuTransition,BufferEventPair>