-
- Downloads
Replaced Grounder::Assignments now uses generic mapping_iterator.
This cleans up the Grounder::Assignments code a bit.
Showing
- README.md 38 additions, 23 deletionsREADME.md
- src/limbo/formula.h 43 additions, 8 deletionssrc/limbo/formula.h
- src/limbo/grounder.h 15 additions, 106 deletionssrc/limbo/grounder.h
- src/limbo/internal/iter.h 104 additions, 5 deletionssrc/limbo/internal/iter.h
- tests/grounder.cc 7 additions, 4 deletionstests/grounder.cc
- tests/iter.cc 160 additions, 0 deletionstests/iter.cc
Loading
Please register or sign in to comment