Function sequant::operator==(const Expr&, const ExprMatcher&)

• Defined in File expr_matcher.cpp

Function Documentation

bool sequant::operator==(const Expr &expr, const ExprMatcher &matcher)