BinaryOp is a generic class which symbolised binary operator. More...
BinaryOp is a generic class which symbolised binary operator.
BinaryOp is integrated in the pattern matching system to permit a factorization of the accessors.
Definition at line 36 of file krat_exp_pattern.hh.