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

Class Expression

java.lang.Object

ptolemy.data.ontologies.OntologyAdapter

ptolemy.data.ontologies.lattice.LatticeOntologyAdapter

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

public class Expression
extends LatticeOntologyAdapter

A simple adapter for expressions that just connects the output port to the overall expression result.

Since:

Ptolemy II 10.0

Version:

$Id$

Author:

Ben Lickly

Pt.AcceptedRating:

Red (blickly)

Pt.ProposedRating:

Red (blickly)

Field Summary

Fields inherited from class ptolemy.data.ontologies.lattice.LatticeOntologyAdapter

_ownConstraints, _subAdapterConstraints, _useDefaultConstraints, interconnectConstraintType

Fields inherited from class ptolemy.data.ontologies.OntologyAdapter

_annotationEvaluator, _solver

Constructor Summary

Constructors

Constructor	Description
Expression(LatticeOntologySolver solver, Expression actor)	Construct a Expression adapter for the monotonicityAnalysis lattice.

Method Summary

Modifier and Type	Method	Description
protected java.util.List<Attribute>	_getPropertyableAttributes()	Return the actor's expression, as it is the only propertyable attribute inside the expression actor.
java.util.List<Inequality>	constraintList()	Return the list of constraints for this actor, including the constraint between the expression actor's output port and the evaluated expression.
java.util.List<java.lang.Object>	getPropertyables()	Return the list of conceptables with the input ports omitted.

Methods inherited from class ptolemy.data.ontologies.lattice.LatticeOntologyAdapter

_addDefaultConstraints, _addSubAdapterConstraints, _annotationEvaluator, _constrainAttributes, _constrainObject, _constrainObjectLists, _constrainSingleObject, _getConstrainedPorts, _getConstraintingPorts, _getSubAdapters, _setConnectionConstraintType, _union, getPropertyTerm, getSolver, isConstraintSource, reinitialize, setAtLeast, setAtMost, setSameAs

Methods inherited from class ptolemy.data.ontologies.OntologyAdapter

_getASTNodeAdapters, _getAttributeParseTrees, _getSinkPortList, _getSourcePortList, getComponent, getContainerEntity, getName, getParseTree, putAttribute, setComponent, setEquals, toString

Methods inherited from class java.lang.Object

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

Constructor Detail

Expression

public Expression(LatticeOntologySolver solver,
                  Expression actor)
           throws IllegalActionException

Construct a Expression adapter for the monotonicityAnalysis lattice.

Parameters:

solver - The given solver.

actor - The given Expression actor

Throws:

IllegalActionException - If the parent throws it.

Method Detail

getPropertyables

public java.util.List<java.lang.Object> getPropertyables()

Return the list of conceptables with the input ports omitted. Since the new monotonicity analysis gives the output monotonicity in terms of the free variables, there is no need to infer concepts for the input variables, and in fact doing so may be confusing, since those values are ignored by the expression actor.

Overrides:

getPropertyables in class OntologyAdapter

Returns:

A list of conceptable objects with the input ports removed.

See Also:

OntologyAdapter.getPropertyables()

constraintList

public java.util.List<Inequality> constraintList()
                                          throws IllegalActionException

Return the list of constraints for this actor, including the constraint between the expression actor's output port and the evaluated expression.

Overrides:

constraintList in class LatticeOntologyAdapter

Returns:

The list of constraints.

Throws:

IllegalActionException - If the parent throws it.

See Also:

LatticeOntologyAdapter.constraintList()

_getPropertyableAttributes

protected java.util.List<Attribute> _getPropertyableAttributes()

Return the actor's expression, as it is the only propertyable attribute inside the expression actor.

Overrides:

_getPropertyableAttributes in class OntologyAdapter

Returns:

A list with just the expression.

See Also:

OntologyAdapter._getPropertyableAttributes()