public interface LatBuffConstraints extends LatencyConstraints, BufferConstraints
generateLatencyConstraint, getLatency
generateBufferConstraint, getTotalBufferSize
checkSat, getModel, popContext, pushContext