Mapping from expression to expression.
Definition at line 916 of file BinarySymbolicExpr.h.
#include <BinarySymbolicExpr.h>