Commits · 892e1de96c6fb2b58d9458e5404b4309673b33a8 · Christoph Schwering / limbo · GitLab

Nov 06, 2014
- 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
- Improved efficency of Clause::Subsumes(). · 7ff3fdf1
  Christoph Schwering authored Oct 28, 2014
  7ff3fdf1
Oct 27, 2014
- Added comparison operator to Clause. · 15b38a14
  Christoph Schwering authored Oct 27, 2014
  
  15b38a14
- Updating a unifier now doesn't fail if the pair was present before. · 648a4a67
  Christoph Schwering authored Oct 27, 2014
  648a4a67
- Clause::Rel(), Clause::Subsume() look correct for non-ground literals. · ec107c42
  Christoph Schwering authored Oct 27, 2014
  ec107c42
- Added unit test for Clause::Rel(). · 88704c93
  Christoph Schwering authored Oct 27, 2014
  88704c93
- Fixed: Atom::is_ground() didn't check arguments. · 1ad60eb0
  Christoph Schwering authored Oct 27, 2014
  
  1ad60eb0
- Moved UnifySeq() to class Term. · 04ab89b4
  Christoph Schwering authored Oct 27, 2014
  
  04ab89b4
- Learned about STL debug define. · f6bb4ad1
  Christoph Schwering authored Oct 27, 2014
  f6bb4ad1
- Added unit test for clause subsumption. · 3c7da002
  Christoph Schwering authored Oct 27, 2014
  
  3c7da002
- Using aggregation instead of inheritance for StdName and Variable. · b0f45d17
  Christoph Schwering authored Oct 27, 2014
  b0f45d17
- Fixed: Ewff::Conj::SubstituteName() erased from wrong map. · 481e6e20
  Christoph Schwering authored Oct 27, 2014
  
  481e6e20
- Fixed: Clause::Subsumption(). · d7e029f5
  Christoph Schwering authored Oct 27, 2014
  
  d7e029f5
- Additional operator<< definitions. · ceb8db1b
  Christoph Schwering authored Oct 27, 2014
  
  ceb8db1b
- Fixed: method dispatching from Literal to Atom · 05414655
  Christoph Schwering authored Oct 27, 2014
  
  05414655