public class IfNodeFunction extends MonotonicityConceptFunction
Red (blickly) |
Red (blickly) |
_antimonotonicConcept, _constantConcept, _domainOntologies, _generalConcept, _monotonicConcept, _monotonicityAnalysisOntology, _nonAntimonotonicRepresentative, _nonMonotonicRepresentative
_argumentDomainOntologies, _name, _numArgsIsFixed, _outputRangeOntology
Constructor and Description |
---|
IfNodeFunction(ASTPtFunctionalIfNode ifNode,
Ontology monotonicityOntology,
java.util.List<Ontology> domainOntologies)
Create a new function from the given ifNode and
over the given monotonicity ontology.
|
Modifier and Type | Method and Description |
---|---|
protected Concept |
_evaluateFunction(java.util.List<Concept> inputConceptValues)
Return the monotonicity concept that results from analyzing the
conditional statement.
|
protected Concept |
_finiteEvaluateFunction(java.lang.String variable,
java.util.List<Concept> inputConceptValues)
Return the monotonicity concept that results from analyzing the
conditional statement with respect to a single variable.
|
evaluateFunction, getArgumentDomainOntologies, getName, getNumberOfArguments, getOutputRangeOntology, isMonotonic, isNumberOfArgumentsFixed, toString
public IfNodeFunction(ASTPtFunctionalIfNode ifNode, Ontology monotonicityOntology, java.util.List<Ontology> domainOntologies) throws IllegalActionException
ifNode
- The AST node being constrained by this function.monotonicityOntology
- The monotonicity ontology.domainOntologies
- The ontologies over which the expression
should be interpreted.IllegalActionException
- If a function cannot be created.protected Concept _evaluateFunction(java.util.List<Concept> inputConceptValues) throws IllegalActionException
_evaluateFunction
in class ConceptFunction
inputConceptValues
- The list of concept inputs to the function.
(i.e. The monotonicity of each of the conditional's branches)IllegalActionException
- If there is an error evaluating the function.ConceptFunction._evaluateFunction(java.util.List)
protected Concept _finiteEvaluateFunction(java.lang.String variable, java.util.List<Concept> inputConceptValues) throws IllegalActionException
variable
- The variable over which to do the analysis.inputConceptValues
- The list of concept inputs to the function.
(i.e. The monotonicity of each of the conditional's branches)IllegalActionException
- If there is an error evaluating the function.