|
adaptRules.lp
|
mapFC -> pi
|
2019-01-20 14:04:27 +01:00 |
|
cartesian.lp
|
Tests bereinigen
|
2018-07-17 19:51:50 +02:00 |
|
facultyTestInput.lp
|
Tests bereinigen
|
2018-07-17 19:51:50 +02:00 |
|
fc.lp.backup
|
mapFC -> pi
|
2019-01-20 14:04:27 +01:00 |
|
fc.lp.old
|
mapFC -> pi
|
2019-01-20 14:04:27 +01:00 |
|
greater.pl
|
mapFC -> pi
|
2019-01-20 14:04:27 +01:00 |
|
pi.pl
|
mapFC -> pi
|
2019-01-20 14:04:27 +01:00 |
|
reduceRules.lp
|
mapFC -> pi
|
2019-01-20 14:04:27 +01:00 |
|
result.lp
|
Tests bereinigen
|
2018-07-17 19:51:50 +02:00 |
|
rule5.test
|
Tests bereinigen
|
2018-07-17 19:51:50 +02:00 |
|
smaller.pl
|
mapFC -> pi
|
2019-01-20 14:04:27 +01:00 |
|
step4.lp
|
mapFC -> pi
|
2019-01-20 14:04:27 +01:00 |
|
step4.test
|
Tests bereinigen
|
2018-07-17 19:51:50 +02:00 |
|
subst.lp
|
Tests bereinigen
|
2018-07-17 19:51:50 +02:00 |
|
testInput.lp
|
Tests bereinigen
|
2018-07-17 19:51:50 +02:00 |
|
testReduce.lp
|
Tests bereinigen
|
2018-07-17 19:51:50 +02:00 |
|
testUnifikation.lp
|
Tests bereinigen
|
2018-07-17 19:51:50 +02:00 |
|
unifikation.lp
|
Tests bereinigen
|
2018-07-17 19:51:50 +02:00 |
|
unifikation.lp.backup
|
Tests bereinigen
|
2018-07-17 19:51:50 +02:00 |
|
vectorTestInput.lp
|
Tests bereinigen
|
2018-07-17 19:51:50 +02:00 |
