Commits · 147b120320007490db1f90035f8f289b363828ed · Christoph Schwering / limbo · GitLab

Nov 17, 2014
- 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
Nov 10, 2014
- Fixed (?): Truth of (x. P(x)) v (Ex. ~P(x)). · d82eee80
  Christoph Schwering authored Nov 10, 2014
  d82eee80
- Updated readme. · 76f0b323
  Christoph Schwering authored Nov 10, 2014
  
  76f0b323
- Understood the problem from commit c6c66a8a (it's an ESL bug). · c90cdaf4
  Christoph Schwering authored Nov 10, 2014
  c90cdaf4
- Added kitchen scenario from the demo. · 0a0117dc
  Christoph Schwering authored Nov 10, 2014
  0a0117dc
- Fixed: missing assignment in Formula::Cnf::C::Substitute(). · 59267a5a
  Christoph Schwering authored Nov 10, 2014
  59267a5a
- Fixed: splitting only initial literals is not sufficient. · c6c66a8a
  Christoph Schwering authored Nov 10, 2014
  c6c66a8a
- Preliminary version of the demo kitchen BAT. · 88838c16
  Christoph Schwering authored Oct 27, 2014
  88838c16
- Documentation of ECLiPSe-CLP interface. Changed arg-order of entails/3. · bff6ab77
  Christoph Schwering authored Nov 10, 2014
  
  bff6ab77
- Fixed: PEL(c) contains dynamic literals from the query clause. · 71c0d426
  Christoph Schwering authored Nov 10, 2014
  71c0d426
- New ECLiPSe-CLP interface. · 35980a5d
  Christoph Schwering authored Nov 10, 2014
  35980a5d
- Unit test for formulas. · 34d652a6
  Christoph Schwering authored Nov 10, 2014
  
  34d652a6
Nov 09, 2014
- Cosmetic changes to make cpplint happy. · 34750504
  Christoph Schwering authored Nov 09, 2014
  
  34750504