Inheritance diagram for binary_term:
For internal use only.
This branch term applies a binary functor to its subterms. A binary term is const chunkable if each subterm's chunked types are the same and there is an appropriate binary functor on the chunked type. Such terms are declared as partial specializations with additional members.
LTerm | The left subterm type. | |
RTerm | The right subterm type. | |
BOp | The binary functor. | |
Enable | If void, enables a particular template specialization. |