public interface IPNPartialOrderAwareReplayAlgorithm extends IPNReplayAlgorithm
Modifier and Type | Method and Description |
---|---|
PartialOrderBuilder |
getPartialOrderBuilder()
Returns the current partial order builder
|
void |
setPartialOrderBuilder(PartialOrderBuilder poBuilder)
Set the partial order builder for any implementation of the IPN
algorithm.
|
constructParamProvider, getHTMLInfo, isAllReqSatisfied, isReqWOParameterSatisfied, replayLog, toString
void setPartialOrderBuilder(PartialOrderBuilder poBuilder)
poBuilder
- PartialOrderBuilder getPartialOrderBuilder()