public class EdgeTransfer extends java.lang.Object implements IEdgeTransfer<Context>
Constructor and Description |
---|
EdgeTransfer()
Constructs a new EdgeTransfer object.
|
Modifier and Type | Method and Description |
---|---|
void |
setSolverInterface(GenericSolver.SolverInterface c)
Initializes the connection to the solver.
|
Context |
transfer(BasicBlock src,
BasicBlock dst)
Returns non-null context if flow should occur on the given edge.
|
public void setSolverInterface(GenericSolver.SolverInterface c)
public Context transfer(BasicBlock src, BasicBlock dst)
IEdgeTransfer
transfer
in interface IEdgeTransfer<Context>
Copyright © 2009-2019 Aarhus University