Changeset 4dc3b8c for src/ResolvExpr/ResolveMode.hpp

Timestamp:

Nov 30, 2023, 6:14:20 PM (23 months ago)

Author:

Peter A. Buhr <pabuhr@…>

Branches:

master

Children:

2f8d351

Parents:

7f2bfb7 (diff), c4570af3 (diff)
Note: this is a merge changeset, the changes displayed below correspond to the merge itself.
Use the (diff) links above to see all the changes relative to each parent.

Message:

Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc

File:

• src/ResolvExpr/ResolveMode.hpp (moved) (moved from src/ResolvExpr/ResolvMode.h ) (2 diffs)

src/ResolvExpr/ResolveMode.hpp

@@ -5 +5 @@
 // file "LICENCE" distributed with Cforall.
 //
-// ResolvMode.h --
+// ResolveMode.hpp --
 //
 // Author           : Aaron B. Moss
@@ -19 +19 @@
 
 /// Flag set for resolution
-struct ResolvMode {
+struct ResolveMode {
         const bool adjust;                       ///< Adjust array and function types to pointer types? [false]
         const bool prune;            ///< Prune alternatives to min-cost per return type? [true]
         const bool failFast;         ///< Fail on no resulting alternatives? [true]
 
-        constexpr ResolvMode(bool a, bool p, bool ff)
+        constexpr ResolveMode(bool a, bool p, bool ff)
         : adjust(a), prune(p), failFast(ff) {}
 
         /// Default settings
-        constexpr ResolvMode() : adjust(false), prune(true), failFast(true) {}
+        constexpr ResolveMode() : adjust(false), prune(true), failFast(true) {}
 
         /// With adjust flag set; turns array and function types into equivalent pointers
-        static constexpr ResolvMode withAdjustment() { return { true, true, true }; }
+        static constexpr ResolveMode withAdjustment() { return { true, true, true }; }
 
         /// With adjust flag set but prune unset; pruning ensures there is at least one alternative
         /// per result type
-        static constexpr ResolvMode withoutPrune() { return { true, false, true }; }
+        static constexpr ResolveMode withoutPrune() { return { true, false, true }; }
 
         /// With adjust and prune flags set but failFast unset; failFast ensures there is at least
         /// one resulting alternative
-        static constexpr ResolvMode withoutFailFast() { return { true, true, false }; }
+        static constexpr ResolveMode withoutFailFast() { return { true, true, false }; }
 
         /// The same mode, but with satisfyAssns turned on; for top-level calls
-        ResolvMode atTopLevel() const { return { adjust, true, failFast }; }
+        ResolveMode atTopLevel() const { return { adjust, true, failFast }; }
 };