public interface BufferConstraints extends SolverFunctions
Modifier and Type | Method and Description |
---|---|
void |
generateBufferConstraint(int bufferSize)
Set the buffer size for exploration query.
|
int |
getTotalBufferSize(java.util.Map<java.lang.String,java.lang.String> model)
Get Total Buffer Size from the model.
|
checkSat, getModel, popContext, pushContext
int getTotalBufferSize(java.util.Map<java.lang.String,java.lang.String> model)
model
- model returned by the Solver on a SAT result.void generateBufferConstraint(int bufferSize)
bufferSize
- total buffer size for the query.