From ec179da0fa3a260bb61524d7569b14dd48ed9f3d Mon Sep 17 00:00:00 2001
From: Arie Gurfinkel <arie.gurfinkel@uwaterloo.ca>
Date: Thu, 4 Jan 2018 13:43:20 -0500
Subject: [PATCH] API to get num of free variables in a pob

---
 src/muz/spacer/spacer_context.h | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/muz/spacer/spacer_context.h b/src/muz/spacer/spacer_context.h
index 10bb06317..494da06a7 100644
--- a/src/muz/spacer/spacer_context.h
+++ b/src/muz/spacer/spacer_context.h
@@ -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