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.
|