See: Description
| Class | Description |
|---|---|
| MonotonicityConcept |
A concept that represents the monotoncity of an expression.
|
| MonotonicityConceptFunction |
The top level adapter class for MonotonicityAnalysis adapters.
|
| MonotonicityCounterexamples |
Representation of a set of counterexamples to monotonicity.
|
| MonotonicityCounterexamples.ConceptPair |
Encapsulate counterexample pairs.
|