Commits · 34d652a6036fb9e228be82428cd332388297c503 · Christoph Schwering / limbo · GitLab

Nov 10, 2014
- 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
- Renamed Query to Formula. Prepared for Regression. Added unit test. · 12d15fcc
  Christoph Schwering authored Nov 09, 2014
  
  12d15fcc
- Implemented complex queries. · 285b3f89
  Christoph Schwering authored Nov 09, 2014
  285b3f89
Nov 08, 2014
- Setup::AddClause instantiates box clauses for {} immediately. · 82306e12
  Christoph Schwering authored Nov 08, 2014
  82306e12
Nov 07, 2014
- Fixed: Setup::GroundBoxes(z) didn't ground for z. · 977d5057
  Christoph Schwering authored Nov 07, 2014
  977d5057
- Removed old ESBL code. · 3bbdd863
  Christoph Schwering authored Nov 07, 2014
  
  3bbdd863
- Removed old test code. · 0cf0dcfd
  Christoph Schwering authored Nov 07, 2014
  
  0cf0dcfd
- Fixed: Setups::PropagateBeliefs() built belief setups incorrectly. · 22057978
  Christoph Schwering authored Nov 07, 2014
  22057978
- Generated BAT's names are capitalized but not all-uppercase. · d2fb0b02
  Christoph Schwering authored Nov 07, 2014
  d2fb0b02
- Fixed: assertion in Setup::PropagateUnits() to allow non-units. · 8abd2baa
  Christoph Schwering authored Nov 07, 2014
  8abd2baa
- Added KBat, BBat classes for generated knowledge/belief BATs. · 874c3294
  Christoph Schwering authored Nov 07, 2014
  
  874c3294
- Implemented belief setups. · feb0fbcd
  Christoph Schwering authored Nov 07, 2014
  
  feb0fbcd
Nov 06, 2014
- Simplified generated BATs. · faa83322
  Christoph Schwering authored Nov 06, 2014
  
  faa83322
- Removed useless includes. · 892e1de9
  Christoph Schwering authored Nov 06, 2014
  892e1de9
- Simplified inconsistency management. · daf617b1
  Christoph Schwering authored Nov 06, 2014
  daf617b1
- Fixed Setup::SubsumesWithSplit(). Faster Setup::PropagateUnits(). · 30e2aaa2
  Christoph Schwering authored Nov 06, 2014
  30e2aaa2
- H+ is kept in sync implicitly by Setup::AddClause(). · 105eae5c
  Christoph Schwering authored Nov 06, 2014
  105eae5c
- Boxes are now grounded implicitly by Setup::Entails(). · 6322c8a8
  Christoph Schwering authored Nov 06, 2014
  6322c8a8
- Fixed: Pel(l) = {a | a in Rel(l) and ~a Rel(l)} does work. · 7e05445d
  Christoph Schwering authored Nov 06, 2014
  7e05445d
- Bugfixes in Term, Literal, Ewff, Clause, Setup. · 438c158a
  Christoph Schwering authored Nov 05, 2014
  438c158a
Nov 05, 2014
- Proper+ compiler generates C++ code. · d2666a27
  Christoph Schwering authored Nov 05, 2014
  d2666a27
- Full implementation of Setup class. · a479876d
  Christoph Schwering authored Nov 05, 2014
  a479876d
Nov 04, 2014
- Clause ewffs are restricted to clause variables. · 2bd5b783
  Christoph Schwering authored Nov 04, 2014
  2bd5b783
- Fixed: comparison function in Clause::Subsumes(). · 8235dbdf
  Christoph Schwering authored Nov 04, 2014
  8235dbdf
- Fixed box unification. · 3da68075
  Christoph Schwering authored Nov 04, 2014
  3da68075
- Fixed: Term::[Match|Unify] should fail for different size sequences. · f63c42f6
  Christoph Schwering authored Nov 04, 2014
  
  f63c42f6
Nov 03, 2014
- Subsumption of clauses with ewffs. · e242263e
  Christoph Schwering authored Nov 04, 2014
  e242263e
Oct 31, 2014
- Drastically restricted ewffs. · c1f105f2
  Christoph Schwering authored Oct 31, 2014
  c1f105f2
Oct 30, 2014
- Added [Ewff|Conj]::Subsumes(). · 31e710e2
  Christoph Schwering authored Oct 30, 2014
  31e710e2
- Ewff representation is even closer to unique. · 4c2df1bf
  Christoph Schwering authored Oct 30, 2014
  4c2df1bf
Oct 29, 2014
- Ewff representation is closer to unique. · 79b000c3
  Christoph Schwering authored Oct 29, 2014
  79b000c3
- Result of Term::Unify() is commutative now. · 0ef9f02c
  Christoph Schwering authored Oct 29, 2014
  0ef9f02c
- Started Setup::PropagateUnits(). · 5438ca96
  Christoph Schwering authored Oct 29, 2014
  
  5438ca96
- Added Clause::ResolveWithUnitClause(). · 45f1361a
  Christoph Schwering authored Oct 29, 2014
  45f1361a
- Added [Ewff|Conj]::And(). · 88da8ea8
  Christoph Schwering authored Oct 29, 2014
  88da8ea8
- Removed [Atom|Literal]::AppendActions(). · 9a9b6beb
  Christoph Schwering authored Oct 29, 2014
  9a9b6beb
Oct 28, 2014
- Added Setup::names() and Setup::variables(). · eda61042
  Christoph Schwering authored Oct 28, 2014
  
  eda61042
- Added Setup::Rel() and Setup::Pel(). · 8187e2f3
  Christoph Schwering authored Oct 28, 2014
  
  8187e2f3
- YouCompleteMe configuration. · c3d584eb
  Christoph Schwering authored Oct 28, 2014
  
  c3d584eb