Changeset 41c19b4 for src/ResolvExpr/SatisfyAssertions.hpp
- Timestamp:
- Nov 30, 2020, 2:42:35 PM (4 years ago)
- Branches:
- ADT, arm-eh, ast-experimental, enum, forall-pointer-decay, jacob/cs343-translation, master, new-ast-unique-expr, pthread-emulation, qualifiedEnum
- Children:
- 4a8f150, 6d1790c
- Parents:
- d738aeb (diff), 4f0c520 (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. - File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
src/ResolvExpr/SatisfyAssertions.hpp
rd738aeb r41c19b4 27 27 namespace ResolvExpr { 28 28 29 /// Recursively satisfies all assertions provided in a candidate; returns true if succeeds 29 /// Recursively satisfies all assertions provided in a candidate 30 /// returns true if it has been run (candidate has any assertions) 30 31 void satisfyAssertions( 31 32 CandidateRef & cand, const ast::SymbolTable & symtab, CandidateList & out,
Note: See TracChangeset
for help on using the changeset viewer.