ptolemy.data.ontologies.lattice.LatticeOntologySolver
Below are demonstration models that use ptolemy.data.ontologies.lattice.LatticeOntologySolver
ptolemy/data/ontologies/demo/ConstAbstractInterpretation/ConstAbstractInterpretation.xml
ptolemy/data/ontologies/demo/ConstNonconst/Const.xml
ptolemy/data/ontologies/demo/MonotonicityAnalysis/MonotonicityAnalysis.xml
ptolemy/data/ontologies/demo/ConstNonconst/ConstNonconst.xml