Package ptolemy.data.ontologies.lattice.adapters.monotonicityAnalysis

The ptolemy.data.ontologies.lattice.adapters.monotonicityAnalysis package.

Since:

Ptolemy II 8.1

Class Summary

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.