Commits · master · Johannes Westphal / minimalform · GitLab

28 Dec, 2016 11 commits
- Added Petrick Procedure. · 6eb2216c
  Johannes Westphal authored Dec 28, 2016
  
  6eb2216c
- Few bug fixes in minimization. · bc9b6d8c
  Johannes Westphal authored Dec 28, 2016
  
  bc9b6d8c
- Optimized Consensus rule. · 657c6ae0
  Johannes Westphal authored Dec 28, 2016
  
  657c6ae0
- And is now the default operator. · 96a14791
  Johannes Westphal authored Dec 28, 2016
  
  96a14791
- And is now the default operator. · 2ca576e6
  Johannes Westphal authored Dec 28, 2016
  
  2ca576e6
- Added complex absorption rule. · 64e31ba0
  Johannes Westphal authored Dec 28, 2016
  
  64e31ba0
- Bug fix in absorption minimization. · 4aaf8dea
  Johannes Westphal authored Dec 28, 2016
  
  4aaf8dea
- Added implication and equality operators (Parse bug fix). · 01bb8b22
  Johannes Westphal authored Dec 28, 2016
  
  01bb8b22
- Added implication and equality operators (Parse bug fix). · abfbc67b
  Johannes Westphal authored Dec 28, 2016
  
  abfbc67b
- Added implication and equality operators (Parse bug fix). · cdc9813d
  Johannes Westphal authored Dec 28, 2016
  
  cdc9813d
- Added implication and equality operators. · 34fc3f3e
  Johannes Westphal authored Dec 28, 2016
  
  34fc3f3e
26 Dec, 2016 7 commits
- Bug fix in DNF and KNF. · edbb66fe
  Johannes Westphal authored Dec 26, 2016
  
  edbb66fe
- Calculation duration is printed. · 0cb75130
  Johannes Westphal authored Dec 26, 2016
  
  0cb75130
- Terms are / can be sorted now. · 8d0434f4
  Johannes Westphal authored Dec 26, 2016
  
  8d0434f4
- DNF and KNF are being calculated. · 317e3a42
  Johannes Westphal authored Dec 26, 2016
  
  317e3a42
- DNF and KNF are being calculated. · c232c7e7
  Johannes Westphal authored Dec 26, 2016
  
  c232c7e7
- DNF and KNF are being calculated. · 788f8bd2
  Johannes Westphal authored Dec 26, 2016
  
  788f8bd2
- DNF and KNF are being calculated. · b72564c0
  Johannes Westphal authored Dec 26, 2016
  
  b72564c0
25 Dec, 2016 2 commits
- Added absortion rules for entire or / and terms. · efded7fe
  Johannes Westphal authored Dec 25, 2016
  
  efded7fe
- Added absortion rules for entire or / and terms. · c0a225b8
  Johannes Westphal authored Dec 25, 2016
  
  c0a225b8
24 Dec, 2016 2 commits
- Added equality operators to TruthTable class. · b6b057db
  Johannes Westphal authored Dec 24, 2016
  
  b6b057db
- Fixed bug in consensus rule. · 86cfd39e
  Johannes Westphal authored Dec 24, 2016
  
  86cfd39e
23 Dec, 2016 11 commits
- Fixed bug in absobtion rule. · 5cf82c11
  Johannes Westphal authored Dec 23, 2016
  
  5cf82c11
- Fixed absobtion rule. · ebfa578e
  Johannes Westphal authored Dec 23, 2016
  
  ebfa578e
- Added an additional absorbtion rule to minimization. · 9944cbde
  Johannes Westphal authored Dec 23, 2016
  
  9944cbde
- Fixed a bug in Minimalform::minimizeAndOrTerms. · 3df4c02e
  Johannes Westphal authored Dec 23, 2016
  
  3df4c02e
- Removed print statements of cmd line args. · 30df0ff1
  Johannes Westphal authored Dec 23, 2016
  
  30df0ff1
- Fixed little function parse error. · cecd6700
  Johannes Westphal authored Dec 23, 2016
  
  cecd6700
- Updated command line parameter parsing. · b33e5ebd
  Johannes Westphal authored Dec 23, 2016
  
  b33e5ebd
- Added command line parameter parsing. · 9fd9e0cd
  Johannes Westphal authored Dec 23, 2016
  
  9fd9e0cd
- Added command line parameter parsing. · e446949c
  Johannes Westphal authored Dec 23, 2016
  
  e446949c
- Added method Function::recalcUsedVariables which removes unused variables from parameter list. · 799d8568
  Johannes Westphal authored Dec 23, 2016
  
  799d8568
- Consensus minimization added. · 876f0727
  Johannes Westphal authored Dec 23, 2016
  
  876f0727
22 Dec, 2016 4 commits
- Absorbtion minimization added. · 8fb6198f
  Johannes Westphal authored Dec 23, 2016
  
  8fb6198f
- Distribution minimization added. · 2c0e42e3
  Johannes Westphal authored Dec 22, 2016
  
  2c0e42e3
- Created class TruthTable. · 63d71c4f
  Johannes Westphal authored Dec 22, 2016
  
  63d71c4f
- Minimal form working quite good (still without distributions). · 4a14d6ca
  Johannes Westphal authored Dec 22, 2016
  
  4a14d6ca
21 Dec, 2016 1 commit
- Minimal form begin. · 7452c3b4
  Johannes Westphal authored Dec 21, 2016
  
  7452c3b4
17 Dec, 2016 2 commits
- Function name parsing optimized. · 36e1aabc
  Johannes Westphal authored Dec 17, 2016
  
  36e1aabc
- & and | operators can be used together without parenthesis. · cd2852ef
  Johannes Westphal authored Dec 17, 2016
  
  cd2852ef