Commit Graph

90 Commits

Author SHA1 Message Date
Patrick Lühne 903993dbec
Minor clean-up 2020-04-09 16:49:45 +02:00
Patrick Lühne f4f8dbf396
Minor clean-up 2020-04-09 16:11:59 +02:00
Patrick Lühne 680f17bda0
Refactoring 2020-04-09 16:07:34 +02:00
Patrick Lühne f949c0f3f8
Refactoring 2020-04-09 16:07:34 +02:00
Patrick Lühne 7b2b292727
Remove unneeded parentheses enum 2020-04-09 16:07:33 +02:00
Patrick Lühne 6c326ddb70
Refactor parenthesis rules for terms 2020-04-09 16:07:33 +02:00
Patrick Lühne 9754f933ef
Reorganize term formatter tests 2020-04-09 16:07:33 +02:00
Patrick Lühne 351d7cdd19
Rewrite term formatting tests for clarity 2020-04-09 16:07:33 +02:00
Patrick Lühne 3b7394a43e
Support quantified expressions with 0 parameters 2020-04-09 16:07:33 +02:00
Patrick Lühne 9a8013f1cb
Support empty n-aries 2020-04-09 16:07:33 +02:00
Patrick Lühne 51cbdb313f
Finish testing biconditionals 2020-04-09 16:07:33 +02:00
Patrick Lühne 3bd52845be
Reorganize tests 2020-04-09 16:07:33 +02:00
Patrick Lühne 186ed314d3
Rewrite tests for clarity 2020-04-09 16:07:33 +02:00
Patrick Lühne a8df440fdf
Add type annotations 2020-04-09 16:07:33 +02:00
Patrick Lühne d051b84845
Rewrite tests for clarity 2020-04-09 16:07:33 +02:00
Patrick Lühne 704fe597a2
Rewrite tests for clarity 2020-04-09 16:07:33 +02:00
Patrick Lühne f3b4cdc399
Experimental method for testing all permutations 2020-04-09 16:07:33 +02:00
Patrick Lühne 21d4b1d605
Test biconditionals 2020-04-09 16:07:32 +02:00
Patrick Lühne 0c132edc07
Continue testing implication 2020-04-09 16:07:32 +02:00
Patrick Lühne b6308695f6
Fix precedence of implication 2020-04-09 16:07:32 +02:00
Patrick Lühne e0dbb8b75f
Refactor parenthesis requirement check 2020-04-09 16:07:32 +02:00
Patrick Lühne 80d7460ec1
Start testing implications 2020-04-09 16:07:32 +02:00
Patrick Lühne 33f751781e
Test disjunction 2020-04-09 16:07:32 +02:00
Patrick Lühne e4700fc638
Test conjunction 2020-04-09 16:07:32 +02:00
Patrick Lühne 9e74116a4d
Clean up tests 2020-04-09 16:07:32 +02:00
Patrick Lühne 5512813cba
Clean up tests 2020-04-09 16:07:32 +02:00
Patrick Lühne c11156b2ce
Test quantified formulas 2020-04-09 16:07:32 +02:00
Patrick Lühne cc3265fc72
Test negation 2020-04-09 16:07:32 +02:00
Patrick Lühne 121c858bff
Remove unneeded precedence implementation 2020-04-09 16:07:32 +02:00
Patrick Lühne 881419b8ee
Address warnings 2020-04-09 16:07:31 +02:00
Patrick Lühne dc27ab8aeb
Fix 2020-04-09 16:07:31 +02:00
Patrick Lühne c8ca7ba337
Remove ChildPosition enum 2020-04-09 16:07:31 +02:00
Patrick Lühne 1968ed83ee
Refactor precedence rules for formulas 2020-04-09 16:07:31 +02:00
Patrick Lühne d1ab7963b1
Before larger refactoring 2020-04-09 16:07:31 +02:00
Patrick Lühne 1a497254a8
Add unit tests for precedence-0 formulas and lower 2020-04-09 16:07:31 +02:00
Patrick Lühne d57b3b3b62
Test remaining formula types 2020-04-09 16:07:31 +02:00
Patrick Lühne 57d568916f
Minor formatting 2020-04-09 16:07:31 +02:00
Patrick Lühne e4fe047aba
Start testing formula formatter 2020-04-09 16:07:31 +02:00
Patrick Lühne 600a6a1b4b
Refactor precedence rules 2020-04-09 16:07:31 +02:00
Patrick Lühne 8bf9d4bd45
Fix implication formatting 2020-04-09 16:07:31 +02:00
Patrick Lühne f82a20e5f1
Work in progress 2020-04-09 16:07:31 +02:00
Patrick Lühne 5c51018ab1
Add unit test for function declaration formatting 2020-04-09 16:07:30 +02:00
Patrick Lühne 23e1854346
Test term formatting 2020-04-09 16:07:30 +02:00
Patrick Lühne a3da369346
Split formatting functionality into two files 2020-04-09 16:07:30 +02:00
Patrick Lühne caf957deed
Fix implication parser and output 2020-04-09 16:07:30 +02:00
Patrick Lühne 1ece0e89ef
Add note 2020-04-09 16:07:30 +02:00
Patrick Lühne 0fdec430af
Parentheses for stronger checks 2020-04-09 16:07:30 +02:00
Patrick Lühne 5ea0a96ec4
Test disjunction parser 2020-04-09 16:07:30 +02:00
Patrick Lühne 17d8dbd8ba
Test conjunction parser 2020-04-09 16:07:30 +02:00
Patrick Lühne 834e59207f
Add note 2020-04-09 16:07:30 +02:00