ptolemy.data.ontologies.lattice.adapters.monotonicityAnalysis.actor.lib