Changeset d57e349 for src/ResolvExpr/Candidate.hpp
- Timestamp:
- Jun 11, 2019, 1:36:00 PM (5 years ago)
- Branches:
- ADT, arm-eh, ast-experimental, enum, forall-pointer-decay, jacob/cs343-translation, jenkins-sandbox, master, new-ast, new-ast-unique-expr, pthread-emulation, qualifiedEnum
- Children:
- 3da7c19
- Parents:
- 396037d
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
src/ResolvExpr/Candidate.hpp
r396037d rd57e349 42 42 ast::OpenVarSet open; ///< Open variables for environment 43 43 ast::AssertionList need; ///< Assertions which need to be resolved 44 45 Candidate() = default; 44 46 }; 45 47 … … 49 51 /// List of candidates 50 52 using CandidateList = std::vector< CandidateRef >; 53 54 /// Holdover behaviour from old `findMinCost` -- xxx -- can maybe be eliminated? 55 static inline void promoteCvtCost( CandidateList & candidates ) { 56 for ( CandidateRef & r : candidates ) { 57 r->cost = r->cvtCost; 58 } 59 } 51 60 52 61 void print( std::ostream & os, const Candidate & cand, Indenter indent = {} );
Note: See TracChangeset
for help on using the changeset viewer.