ptolemy.data.ontologies.lattice.UnaryOperationMonotonicFunctionDefinition
Below are demonstration models that use ptolemy.data.ontologies.lattice.UnaryOperationMonotonicFunctionDefinition
ptolemy/data/ontologies/demo/ConstAbstractInterpretation/ConstAbstractInterpretation.xml