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, toStringvoid setPartialOrderBuilder(PartialOrderBuilder poBuilder)
poBuilder - PartialOrderBuilder getPartialOrderBuilder()