OASIS
Open Algebra Software
Loading...
Searching...
No Matches
Oasis::IAssociativeAndCommutative Concept Reference

#include <Oasis/BinaryExpression.hpp>

Concept definition

template<template< typename, typename > typename T>
concept Oasis::IAssociativeAndCommutative = IExpression<T<Expression, Expression>> && ((T<Expression, Expression>::GetStaticCategory() & (Associative | Commutative)) == (Associative | Commutative))
Definition BinaryExpression.hpp:28
An expression concept.
Definition Concepts.hpp:25
@ Commutative
Definition Expression.hpp:44
@ Associative
Definition Expression.hpp:43