public class Expression extends LatticeOntologyAdapter
Red (blickly) |
Red (blickly) |
_ownConstraints, _subAdapterConstraints, _useDefaultConstraints, interconnectConstraintType
_annotationEvaluator, _solver
Constructor and Description |
---|
Expression(LatticeOntologySolver solver,
Expression actor)
Construct a Expression adapter for the monotonicityAnalysis lattice.
|
Modifier and Type | Method and 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.
|
_addDefaultConstraints, _addSubAdapterConstraints, _annotationEvaluator, _constrainAttributes, _constrainObject, _constrainObjectLists, _constrainSingleObject, _getConstrainedPorts, _getConstraintingPorts, _getSubAdapters, _setConnectionConstraintType, _union, getPropertyTerm, getSolver, isConstraintSource, reinitialize, setAtLeast, setAtMost, setSameAs
_getASTNodeAdapters, _getAttributeParseTrees, _getSinkPortList, _getSourcePortList, getComponent, getContainerEntity, getName, getParseTree, putAttribute, setComponent, setEquals, toString
public Expression(LatticeOntologySolver solver, Expression actor) throws IllegalActionException
solver
- The given solver.actor
- The given Expression actorIllegalActionException
- If the parent throws it.public java.util.List<java.lang.Object> getPropertyables()
getPropertyables
in class OntologyAdapter
OntologyAdapter.getPropertyables()
public java.util.List<Inequality> constraintList() throws IllegalActionException
constraintList
in class LatticeOntologyAdapter
IllegalActionException
- If the parent throws it.LatticeOntologyAdapter.constraintList()
protected java.util.List<Attribute> _getPropertyableAttributes()
_getPropertyableAttributes
in class OntologyAdapter
OntologyAdapter._getPropertyableAttributes()