Changeset 1d7b0a8 for src/ResolvExpr/AlternativeFinder.h
- Timestamp:
- Jun 11, 2018, 2:50:06 PM (5 years ago)
- Branches:
- new-env
- Children:
- 6d53e779, 982f95d
- Parents:
- 8e18b8e
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
src/ResolvExpr/AlternativeFinder.h
r8e18b8e r1d7b0a8 22 22 #include "Alternative.h" // for AltList, Alternative 23 23 #include "ExplodedActual.h" // for ExplodedActual 24 #include "ResolvMode.h" // for ResolvMode 24 25 #include "ResolvExpr/Cost.h" // for Cost, Cost::infinity 25 26 #include "ResolvExpr/TypeEnvironment.h" // for AssertionSet, OpenVarSet … … 68 69 } 69 70 70 void find( Expression *expr, bool adjust = false, bool prune = true, bool failFast = true);71 void find( Expression *expr, ResolvMode mode = ResolvMode{} ); 71 72 /// Calls find with the adjust flag set; adjustment turns array and function types into equivalent pointer types 72 73 void findWithAdjustment( Expression *expr );
Note: See TracChangeset
for help on using the changeset viewer.