public class RegEdge extends Object
Modifier and Type | Field and Description |
---|---|
RegState |
dest
The destination state.
|
RegState |
org
The origin state.
|
Constructor and Description |
---|
RegEdge(RegState org,
RegState dest)
The constructor which creates an edge.
|
Modifier and Type | Method and Description |
---|---|
boolean |
check(TimeStamp<Integer>[] activeLevels)
It checks if the edge is between active states.
|
Copyright © 2022. All rights reserved.