Package ptolemy.data.ontologies.lattice.adapters.monotonicityAnalysis

Class MonotonicityConceptFunction

java.lang.Object

ptolemy.data.ontologies.ConceptFunction

ptolemy.data.ontologies.lattice.adapters.monotonicityAnalysis.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 Summary

Fields

Modifier and Type	Field	Description
protected FiniteConcept	_antimonotonicConcept	The "Antimonotonic" Concept from the monotonicityAnalysis ontology.
protected FiniteConcept	_constantConcept	The "Constant" Concept from the monotonicityAnalysis ontology.
protected java.util.List<Ontology>	_domainOntologies	The domain ontology.
protected FiniteConcept	_generalConcept	The "General" Concept from the monotonicityAnalysis ontology.
protected FiniteConcept	_monotonicConcept	The "Monotonic" Concept from the monotonicityAnalysis ontology.
protected Ontology	_monotonicityAnalysisOntology	The monotonicityAnalysis ontology referred to by all monotonicityAnalysis adapters.
protected FlatTokenRepresentativeConcept	_nonAntimonotonicRepresentative	A set of "Almost Antimonotonic" Concepts (parameterized by counterexamples).
protected FlatTokenRepresentativeConcept	_nonMonotonicRepresentative	A set of "Almost Monotonic" Concepts (parameterized by counterexamples).

Fields inherited from class ptolemy.data.ontologies.ConceptFunction

_argumentDomainOntologies, _name, _numArgsIsFixed, _outputRangeOntology

Constructor Summary

Constructors

Constructor	Description
MonotonicityConceptFunction(java.lang.String name, int numArgs, Ontology monotonicityAnalysisOntology, java.util.List<Ontology> domainOntologies)	Create the concept function over the monotonicity lattice.

Method Summary

Methods inherited from class ptolemy.data.ontologies.ConceptFunction

_evaluateFunction, evaluateFunction, getArgumentDomainOntologies, getName, getNumberOfArguments, getOutputRangeOntology, isMonotonic, isNumberOfArgumentsFixed, toString

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

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