public abstract class Query extends Object
| Constructor and Description |
|---|
Query(ControlFlowGraph.Edge cfgEdge,
Val variable) |
| Modifier and Type | Method and Description |
|---|---|
sync.pds.solver.nodes.Node<ControlFlowGraph.Edge,Val> |
asNode() |
ControlFlowGraph.Edge |
cfgEdge() |
boolean |
equals(Object obj) |
Type |
getType() |
int |
hashCode() |
String |
toString() |
Val |
var() |
public Query(ControlFlowGraph.Edge cfgEdge, Val variable)
public sync.pds.solver.nodes.Node<ControlFlowGraph.Edge,Val> asNode()
public ControlFlowGraph.Edge cfgEdge()
public Val var()
public Type getType()
Copyright © 2024. All rights reserved.