mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-22 16:45:31 +00:00
Code Activity

API to get num of free variables in a pob

Browse source
This commit is contained in:
Arie Gurfinkel 2018-01-04 13:43:20 -05:00
parent 05e876d684
commit ec179da0fa
1 changed files with 1 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

1
src/muz/spacer/spacer_context.h
View file

@ -524,6 +524,7 @@ public:
void erase_child (pob &v) {m_kids.erase (&v);}
bool is_ground () { return m_binding.empty (); }
unsigned get_free_vars_size() { return m_binding.size(); }
app_ref_vector const &get_binding() const {return m_binding;}
/*
* Return skolem variables that appear in post