mirror of
https://github.com/Z3Prover/z3
synced 2025-04-08 18:31:49 +00:00
Merge branch 'master' of https://github.com/z3prover/z3
This commit is contained in:
commit
b618537322
|
@ -108,7 +108,7 @@ namespace recfun {
|
|||
bool is_shared(euf::theory_var v) const override { return true; }
|
||||
void init_search() override {}
|
||||
bool should_research(sat::literal_vector const& core) override;
|
||||
bool is_beta_redex(euf::enode* p, euf::enode* n) const;
|
||||
bool is_beta_redex(euf::enode* p, euf::enode* n) const override;
|
||||
void add_assumptions(sat::literal_set& assumptions) override;
|
||||
bool tracking_assumptions() override { return true; }
|
||||
};
|
||||
|
|
Loading…
Reference in a new issue