Commits · 9b3a7f14344e487eb36378c8bf389a42269d58a8 · Christoph Schwering / limbo · GitLab

Nov 29, 2014
- Rearranged formula.cc, added folding. · 9b3a7f14
  Christoph Schwering authored Nov 29, 2014
  
  9b3a7f14
- Added Setup::Progress(). Fixed bugs in [Simple]Clause::ResolveWrt(). · e2b59258
  Christoph Schwering authored Nov 29, 2014
  e2b59258
Nov 28, 2014
- Removed Clause::Unify(). · 9d433890
  Christoph Schwering authored Nov 28, 2014
  9d433890
- Added Clause::ResolveWrt(), which supersedes Clause::ResolveWithUnit(). · a884a5b2
  Christoph Schwering authored Nov 28, 2014
  a884a5b2
- Added methods to Literal::Comparator for search by PredId. · 981ed30a
  Christoph Schwering authored Nov 28, 2014
  981ed30a
Nov 23, 2014
- Replaced Clause::[MIN|MAX]_UNIT with Clause::Set::first_unit(). · 770f34ee
  Christoph Schwering authored Nov 24, 2014
  770f34ee
- Literal::Set considers sign 2nd prio in comparator; ranges for loops. · b478b2c5
  Christoph Schwering authored Nov 23, 2014
  b478b2c5
Nov 22, 2014
- Moved [Low|Upp]erBound() to comparators. · 85274e64
  Christoph Schwering authored Nov 23, 2014
  
  85274e64
Nov 19, 2014
- Renamed some comparators. · 8815dc5c
  Christoph Schwering authored Nov 20, 2014
  
  8815dc5c
Nov 18, 2014
- Introduced comparators. · cbe48b1d
  Christoph Schwering authored Nov 18, 2014
  cbe48b1d
Nov 17, 2014
- Renamed is_ground() to ground(). · 36f6dab3
  Christoph Schwering authored Nov 18, 2014
  
  36f6dab3
- Inlined operator==, operator<. · 7cd92a42
  Christoph Schwering authored Nov 17, 2014
  
  7cd92a42
- Removed unused operators/methods; typedefed all sets. · 147b1203
  Christoph Schwering authored Nov 17, 2014
  147b1203
Nov 15, 2014
- Removed old outcommented code. · 00849f1b
  Christoph Schwering authored Nov 15, 2014
  
  00849f1b
- Updated examples to use [en|dis]able_regression/1. · d7c3d849
  Christoph Schwering authored Nov 15, 2014
  d7c3d849
- Added SfLiteral subclass. · 222d6cb7
  Christoph Schwering authored Nov 15, 2014
  222d6cb7
- Box clauses are not instantiated for {} and added immediately. · 4d83f43f
  Christoph Schwering authored Nov 15, 2014
  4d83f43f
- Setup::AddClause() takes over the task of Setup::AddSensingResult(). · d5437cda
  Christoph Schwering authored Nov 15, 2014
  d5437cda
- Prolog interface has [en|dis]able_regression/1 predicates. · 27eb6b16
  Christoph Schwering authored Nov 15, 2014
  27eb6b16
Nov 14, 2014
- Formulas can be simplified before conversion to CNF. · a62e7276
  Christoph Schwering authored Nov 14, 2014
  a62e7276
- Removed C/C++ examples. · 3a772b7e
  Christoph Schwering authored Nov 14, 2014
  3a772b7e
- Added entailment with regression predicate entailsreg/3. · 6805082d
  Christoph Schwering authored Nov 14, 2014
  6805082d
- Using std::tie in operator< now. · 2f25d376
  Christoph Schwering authored Nov 14, 2014
  2f25d376
- Query CNF is now minimized. · a14b432f
  Christoph Schwering authored Nov 14, 2014
  a14b432f
Nov 13, 2014
- Added second unit test for regression. · 9b754507
  Christoph Schwering authored Nov 13, 2014
  
  9b754507
- Fixed: regression base case and recursive call. Added unit test. · 271b4356
  Christoph Schwering authored Nov 13, 2014
  271b4356
- BATs moved to nested namespace esbl::bats. · f79df4d0
  Christoph Schwering authored Nov 13, 2014
  f79df4d0
- Implemented regression. · f078a4f6
  Christoph Schwering authored Nov 13, 2014
  f078a4f6
Nov 12, 2014
- Fixed: prefixes regression RHS. Formula::Substitute is in-place. · 8ccac5b2
  Christoph Schwering authored Nov 13, 2014
  8ccac5b2
- Proper+ compiler also generates RegressOneStep() method. · 8ee71dff
  Christoph Schwering authored Nov 13, 2014
  8ee71dff
- Fixed: grounding of quantifiers. · 7d96beec
  Christoph Schwering authored Nov 12, 2014
  7d96beec
- One line of documentation. · 712ba62e
  Christoph Schwering authored Nov 12, 2014
  
  712ba62e
- Formulas partly support nested K and B. · 1fcc9f3b
  Christoph Schwering authored Nov 12, 2014
  1fcc9f3b
- Maybe can handle objects like std::unique_ptr. · 45b3b128
  Christoph Schwering authored Nov 12, 2014
  
  45b3b128
- Added Collect[Names|Variables] to TermSeq. · a9d8e4eb
  Christoph Schwering authored Nov 12, 2014
  
  a9d8e4eb
Nov 11, 2014
- Made Maybe more readable. · 65f20311
  Christoph Schwering authored Nov 11, 2014
  
  65f20311
- Merge branch 'cpp-restricted-ewffs' · d9cc6849
  Christoph Schwering authored Nov 11, 2014
  d9cc6849
- Cosmetic changes to make cpplint happy. · a77d7c24
  Christoph Schwering authored Nov 11, 2014
  
  a77d7c24
- There is a unary and binary Maybe now. · f3b86db6
  Christoph Schwering authored Nov 11, 2014
  f3b86db6
- Replaced std::pair/tuple with Maybe where appropriate. · 14ccd664
  Christoph Schwering authored Nov 11, 2014
  14ccd664