public interface LatencyConstraints extends SolverFunctions
Modifier and Type | Method and Description |
---|---|
void |
generateLatencyConstraint(int latency)
Set the latency constraint for exploration query.
|
int |
getLatency(java.util.Map<java.lang.String,java.lang.String> model)
Get the latency of the application graph calculated by the solver and returned in the model.
|
checkSat, getModel, popContext, pushContext
int getLatency(java.util.Map<java.lang.String,java.lang.String> model)
model
- model returned by the Solver on a SAT result.void generateLatencyConstraint(int latency)
latency
- upper bound on the latency value for the exploration.