public interface PeriodConstraints extends SolverFunctions
Modifier and Type | Method and Description |
---|---|
void |
generatePeriodConstraint(int constraintValue)
Set the period constraint for exploration query.
|
int |
getPeriod(java.util.Map<java.lang.String,java.lang.String> model)
Get the period value calculated by the solver on a SAT result.
|
checkSat, getModel, popContext, pushContext
int getPeriod(java.util.Map<java.lang.String,java.lang.String> model)
model
- model returned by the Solver on a SAT result.void generatePeriodConstraint(int constraintValue)
constraintValue
- period constraint for an exploration query.