public class MonotonicityOrderGlobalActive extends MonotonicityOrderGlobalImpl
localMonotonicity, monotonicityNotions| Constructor and Description |
|---|
MonotonicityOrderGlobalActive() |
| Modifier and Type | Method and Description |
|---|---|
void |
addMonotonicityNotion(Monotonicity monotonicity)
add an extra notion of monotonicity
|
addProcessTree, addProcessTree, getMonotonicityOrderLocals, getNext, getNodes, hasNext, printOrdering, removedFromParetoFrontpublic void addMonotonicityNotion(Monotonicity monotonicity)
MonotonicityOrderGlobal