public interface LatProcConstraints extends LatencyConstraints, ProcessorConstraints
generateLatencyConstraint, getLatency
checkSat, getModel, popContext, pushContext
generateProcessorConstraint, getProcessors