diff options
Diffstat (limited to 'src/parser/cvc/cvc.h')
-rw-r--r-- | src/parser/cvc/cvc.h | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/parser/cvc/cvc.h b/src/parser/cvc/cvc.h index feb962a09..58d387ca8 100644 --- a/src/parser/cvc/cvc.h +++ b/src/parser/cvc/cvc.h @@ -34,6 +34,9 @@ class Cvc : public Parser public: void forceLogic(const std::string& logic) override; + /** Updates name to the tester name of cons, e.g. "is_cons" */ + bool getTesterName(api::Term cons, std::string& name) override; + protected: Cvc(api::Solver* solver, Input* input, |