ptolemy.data.ontologies.OntologySolverModel
Below are demonstration models that use ptolemy.data.ontologies.OntologySolverModel
ptolemy/data/ontologies/demo/CarTracking/CarTracking.xml
ptolemy/data/ontologies/demo/ConstAbstractInterpretation/ConstAbstractInterpretation.xml
ptolemy/demo/FuelSystem/FuelSystemOntology.xml
ptolemy/data/ontologies/demo/ConstNonconst/Const.xml
ptolemy/data/ontologies/demo/MonotonicityAnalysis/MonotonicityAnalysis.xml