public class TranEdge extends Object
| Constructor and Description |
|---|
TranEdge(Node s,
Node d,
DFA.TranCond tran) |
| Modifier and Type | Method and Description |
|---|---|
boolean |
equals(Object o) |
Node |
getSource() |
Node |
getTarget() |
DFA.TranCond |
getTranCond() |
int |
hashCode() |
String |
toString() |
public TranEdge(Node s, Node d, DFA.TranCond tran)
public Node getSource()
public Node getTarget()
public DFA.TranCond getTranCond()
Copyright © 2024 Soot OSS. All rights reserved.