diff options
Diffstat (limited to 'src/parser/tptp/tptp.h')
-rw-r--r-- | src/parser/tptp/tptp.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/parser/tptp/tptp.h b/src/parser/tptp/tptp.h index 082b905df..605748d88 100644 --- a/src/parser/tptp/tptp.h +++ b/src/parser/tptp/tptp.h @@ -47,6 +47,8 @@ class Tptp : public Parser { bool fof() const { return d_fof; } void setFof(bool fof) { d_fof = fof; } + void forceLogic(const std::string& logic) override; + void addFreeVar(Expr var); std::vector< Expr > getFreeVar(); |