BoundedBinaryExpression()=default | Oasis::BoundedBinaryExpression< Summation, OperandT, IncrementingVarT, LowerBoundT, UpperBoundT > | |
BoundedBinaryExpression(const BoundedBinaryExpression &other) | Oasis::BoundedBinaryExpression< Summation, OperandT, IncrementingVarT, LowerBoundT, UpperBoundT > | inline |
BoundedBinaryExpression(const MostSigOpT &mostSigOp, const LeastSigOpT &leastSigOp) | Oasis::BoundedBinaryExpression< Summation, OperandT, IncrementingVarT, LowerBoundT, UpperBoundT > | inline |
BoundedExpression()=default | Oasis::BoundedExpression< LowerBoundT, UpperBoundT > | |
BoundedExpression(const BoundedExpression &other) | Oasis::BoundedExpression< LowerBoundT, UpperBoundT > | inline |
BoundedExpression(const LowerBoundT &lowerBound, const UpperBoundT &upperBound) | Oasis::BoundedExpression< LowerBoundT, UpperBoundT > | inline |
Copy() const -> std::unique_ptr< Expression > final | Oasis::BoundedBinaryExpression< Summation, OperandT, IncrementingVarT, LowerBoundT, UpperBoundT > | inlinevirtual |
Copy(tf::Subflow &subflow) const -> std::unique_ptr< Expression > final | Oasis::BoundedBinaryExpression< Summation, OperandT, IncrementingVarT, LowerBoundT, UpperBoundT > | inline |
Differentiate(const Expression &differentiationVariable) const -> std::unique_ptr< Expression > override | Oasis::BoundedBinaryExpression< Summation, OperandT, IncrementingVarT, LowerBoundT, UpperBoundT > | inlinevirtual |
Equals(const Expression &other) const -> bool final | Oasis::BoundedBinaryExpression< Summation, OperandT, IncrementingVarT, LowerBoundT, UpperBoundT > | inlinevirtual |
FindZeros() const -> std::vector< std::unique_ptr< Expression > > | Oasis::Expression | |
Flatten(std::vector< std::unique_ptr< Expression > > &out) const -> void | Oasis::BoundedBinaryExpression< Summation, OperandT, IncrementingVarT, LowerBoundT, UpperBoundT > | inline |
Generalize() const -> std::unique_ptr< Expression > final | Oasis::BoundedBinaryExpression< Summation, OperandT, IncrementingVarT, LowerBoundT, UpperBoundT > | inlinevirtual |
Generalize(tf::Subflow &subflow) const -> std::unique_ptr< Expression > final | Oasis::BoundedBinaryExpression< Summation, OperandT, IncrementingVarT, LowerBoundT, UpperBoundT > | inline |
GetCategory() const -> uint32_t | Oasis::Expression | virtual |
GetLeastSigOp() const -> const LeastSigOpT & | Oasis::BoundedBinaryExpression< Summation, OperandT, IncrementingVarT, LowerBoundT, UpperBoundT > | inline |
GetLowerBound() const -> const LowerBoundT & | Oasis::BoundedExpression< LowerBoundT, UpperBoundT > | inline |
GetMostSigOp() const -> const MostSigOpT & | Oasis::BoundedBinaryExpression< Summation, OperandT, IncrementingVarT, LowerBoundT, UpperBoundT > | inline |
GetType() const -> ExpressionType | Oasis::Expression | virtual |
GetUpperBound() const -> const UpperBoundT & | Oasis::BoundedExpression< LowerBoundT, UpperBoundT > | inline |
HasLeastSigOp() const -> bool | Oasis::BoundedBinaryExpression< Summation, OperandT, IncrementingVarT, LowerBoundT, UpperBoundT > | inline |
HasLowerBound() const -> bool | Oasis::BoundedExpression< LowerBoundT, UpperBoundT > | inline |
HasMostSigOp() const -> bool | Oasis::BoundedBinaryExpression< Summation, OperandT, IncrementingVarT, LowerBoundT, UpperBoundT > | inline |
HasUpperBound() const -> bool | Oasis::BoundedExpression< LowerBoundT, UpperBoundT > | inline |
Integrate(const Expression &) const -> std::unique_ptr< Expression > | Oasis::Expression | virtual |
IntegrateWithBounds(const Expression &, const Expression &, const Expression &) -> std::unique_ptr< Expression > | Oasis::Expression | virtual |
Is() const | Oasis::Expression | inline |
Is() const | Oasis::Expression | inline |
Is() const | Oasis::Expression | inline |
operator=(const BoundedBinaryExpression &other) -> BoundedBinaryExpression &=default | Oasis::BoundedBinaryExpression< Summation, OperandT, IncrementingVarT, LowerBoundT, UpperBoundT > | |
Serialize(SerializationVisitor &visitor) const override | Oasis::BoundedBinaryExpression< Summation, OperandT, IncrementingVarT, LowerBoundT, UpperBoundT > | inlinevirtual |
SetLeastSigOp(const T &op) -> bool | Oasis::BoundedBinaryExpression< Summation, OperandT, IncrementingVarT, LowerBoundT, UpperBoundT > | inline |
SetLowerBound(const T &expr) | Oasis::BoundedExpression< LowerBoundT, UpperBoundT > | inline |
SetMostSigOp(const T &op) -> bool | Oasis::BoundedBinaryExpression< Summation, OperandT, IncrementingVarT, LowerBoundT, UpperBoundT > | inline |
SetUpperBound(const T &expr) | Oasis::BoundedExpression< LowerBoundT, UpperBoundT > | inline |
Simplify() const -> std::unique_ptr< Expression > override | Oasis::BoundedBinaryExpression< Summation, OperandT, IncrementingVarT, LowerBoundT, UpperBoundT > | inlinevirtual |
Simplify(tf::Subflow &subflow) const -> std::unique_ptr< Expression > override | Oasis::BoundedBinaryExpression< Summation, OperandT, IncrementingVarT, LowerBoundT, UpperBoundT > | inline |
StructurallyEquivalent(const Expression &other) const -> bool final | Oasis::BoundedBinaryExpression< Summation, OperandT, IncrementingVarT, LowerBoundT, UpperBoundT > | inlinevirtual |
StructurallyEquivalent(const Expression &other, tf::Subflow &subflow) const -> bool final | Oasis::BoundedBinaryExpression< Summation, OperandT, IncrementingVarT, LowerBoundT, UpperBoundT > | inline |
Substitute(const Expression &var, const Expression &val) -> std::unique_ptr< Expression > override | Oasis::BoundedBinaryExpression< Summation, OperandT, IncrementingVarT, LowerBoundT, UpperBoundT > | inlinevirtual |
SwapOperands() const -> DerivedSpecialized | Oasis::BoundedBinaryExpression< Summation, OperandT, IncrementingVarT, LowerBoundT, UpperBoundT > | inline |
~Expression()=default | Oasis::Expression | virtual |