See: Description
Class | Description |
---|---|
ASTPtFunctionalIfNode |
Adapter for FunctionalIfNodes in the monotonicity analysis.
|
ASTPtLeafNode |
Adapter for RelationalNodes in the monotonicity analysis.
|
ASTPtRelationalNode |
Adapter for RelationalNodes in the monotonicity analysis.
|
IfNodeFunction |
A representation of the monotonic function used to infer the
monotonicity of conditional nodes (if nodes) in the abstract
syntax trees of Ptolemy expressions.
|