public interface PeriodProcConstraints extends PeriodConstraints, ProcessorConstraints
generatePeriodConstraint, getPeriod
checkSat, getModel, popContext, pushContext
generateProcessorConstraint, getProcessors