diff options
Diffstat (limited to 'src/util/sort_inference.h')
| -rw-r--r-- | src/util/sort_inference.h | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/src/util/sort_inference.h b/src/util/sort_inference.h index cd80f57d8..4cf2ab732 100644 --- a/src/util/sort_inference.h +++ b/src/util/sort_inference.h @@ -26,7 +26,7 @@ namespace CVC4 { -class SortInference{ +class SortInference { private: //all subsorts std::vector< int > d_sub_sorts; @@ -69,7 +69,6 @@ private: void printSort( const char* c, int t ); //process int process( Node n, std::map< Node, Node >& var_bound ); - //for monotonicity inference private: void processMonotonic( Node n, bool pol, bool hasPol, std::map< Node, Node >& var_bound ); @@ -107,6 +106,9 @@ public: bool isWellSorted( Node n ); //get constraints for being well-typed according to computed sub-types void getSortConstraints( Node n, SortInference::UnionFind& uf ); +public: + //list of all functions and the uninterpreted symbols they were replaced with + std::map< Node, Node > d_model_replace_f; }; } |