public interface LatProcBuffConstraints extends LatencyConstraints, ProcessorConstraints, BufferConstraints
generateLatencyConstraint, getLatency
generateProcessorConstraint, getProcessors
generateBufferConstraint, getTotalBufferSize
checkSat, getModel, popContext, pushContext