Changes in src/ResolvExpr/ResolvMode.h [396037d:6d6e829]

File:

• src/ResolvExpr/ResolvMode.h (modified) (2 diffs)

src/ResolvExpr/ResolvMode.h

@@ -22 +22 @@
                 const bool prune;            ///< Prune alternatives to min-cost per return type? [true]
                 const bool failFast;         ///< Fail on no resulting alternatives? [true]
-                const bool satisfyAssns;     ///< Satisfy assertions? [false]
+                const bool resolveAssns;     ///< Resolve assertions? [false]
 
         private:
-                constexpr ResolvMode(bool a, bool p, bool ff, bool sa) 
-                : adjust(a), prune(p), failFast(ff), satisfyAssns(sa) {}
+                constexpr ResolvMode(bool a, bool p, bool ff, bool ra) 
+                : adjust(a), prune(p), failFast(ff), resolveAssns(ra) {}
 
         public:
                 /// Default settings
-                constexpr ResolvMode() : adjust(false), prune(true), failFast(true), satisfyAssns(false) {}
+                constexpr ResolvMode() : adjust(false), prune(true), failFast(true), resolveAssns(false) {}
                 
                 /// With adjust flag set; turns array and function types into equivalent pointers
@@ -43 +43 @@
                 static constexpr ResolvMode withoutFailFast() { return { true, true, false, false }; }
 
-                /// The same mode, but with satisfyAssns turned on; for top-level calls
+                /// The same mode, but with resolveAssns turned on; for top-level calls
                 ResolvMode atTopLevel() const { return { adjust, prune, failFast, true }; }
         };