Class MonotonicityConceptFunction

  • Direct Known Subclasses:
    IfNodeFunction

    public abstract class MonotonicityConceptFunction
    extends ConceptFunction
    The top level adapter class for MonotonicityAnalysis adapters.
    Since:
    Ptolemy II 10.0
    Version:
    $Id$
    Author:
    Ben Lickly (based on DimensionSystemAdapter)
    Pt.AcceptedRating:
    Red (cshelton)
    Pt.ProposedRating:
    Red (cshelton)
    • Field Detail

      • _monotonicityAnalysisOntology

        protected Ontology _monotonicityAnalysisOntology
        The monotonicityAnalysis ontology referred to by all monotonicityAnalysis adapters.
      • _domainOntologies

        protected java.util.List<Ontology> _domainOntologies
        The domain ontology. This ontology forms the domain of the functions whose monotonicity we check.
      • _constantConcept

        protected FiniteConcept _constantConcept
        The "Constant" Concept from the monotonicityAnalysis ontology.
      • _monotonicConcept

        protected FiniteConcept _monotonicConcept
        The "Monotonic" Concept from the monotonicityAnalysis ontology.
      • _antimonotonicConcept

        protected FiniteConcept _antimonotonicConcept
        The "Antimonotonic" Concept from the monotonicityAnalysis ontology.
      • _generalConcept

        protected FiniteConcept _generalConcept
        The "General" Concept from the monotonicityAnalysis ontology.
      • _nonMonotonicRepresentative

        protected FlatTokenRepresentativeConcept _nonMonotonicRepresentative
        A set of "Almost Monotonic" Concepts (parameterized by counterexamples).
      • _nonAntimonotonicRepresentative

        protected FlatTokenRepresentativeConcept _nonAntimonotonicRepresentative
        A set of "Almost Antimonotonic" Concepts (parameterized by counterexamples).
    • Constructor Detail

      • MonotonicityConceptFunction

        public MonotonicityConceptFunction​(java.lang.String name,
                                           int numArgs,
                                           Ontology monotonicityAnalysisOntology,
                                           java.util.List<Ontology> domainOntologies)
                                    throws IllegalActionException
        Create the concept function over the monotonicity lattice.
        Parameters:
        name - The name of the concept function.
        numArgs - The number of arguments for this function, if this number is fixed, and -1 otherwise.
        monotonicityAnalysisOntology - The ontology that represents monotonicity lattice.
        domainOntologies - The ontologies that represents the domain and range of the function that we are checking for monotonicity.
        Throws:
        IllegalActionException - If the output ontology is null, numArgs is invalid, or the monotonicity ontology does not have the expected structure