diff options
Diffstat (limited to 'src/expr/expr_manager_template.h')
| -rw-r--r-- | src/expr/expr_manager_template.h | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/src/expr/expr_manager_template.h b/src/expr/expr_manager_template.h index 8acb7489f..d7c89ecdc 100644 --- a/src/expr/expr_manager_template.h +++ b/src/expr/expr_manager_template.h @@ -319,7 +319,10 @@ public: * e.getConst<CVC4::Kind>() will yield k. */ Expr operatorOf(Kind k); - + + /** Get a Kind from an operator expression */ + Kind operatorToKind(Expr e); + /** Make a function type from domain to range. */ FunctionType mkFunctionType(Type domain, Type range); |