Florian Steurer 7c0a91e624 unitTest for lambda6, alternative sequential execution, minor bugs

2016-04-28 21:24:52 +02:00

..

FiniteClosureBuilder.java

rename mpair to unify pair / refactoring

2016-04-04 11:23:14 +02:00

FiniteClosureTest.java

organized imports

2016-04-07 22:33:14 +02:00

GenerateFiniteClosure.java

Merge mit Unify und Bytecode

2016-03-22 15:13:51 +01:00

RuleSetTest.java

fixed rule set test

2016-04-14 14:21:19 +02:00

StandardUnifyTest.java

extended case 6

2016-04-08 18:48:35 +02:00

TypeFactory.java

Support for FunN in FC added // swap for unifiers

2016-04-07 22:24:35 +02:00

UnifyTest.java

unitTest for lambda6, alternative sequential execution, minor bugs

2016-04-28 21:24:52 +02:00

UnifyTypeFactoryTest.java

Aufräumen

2016-04-07 14:39:07 +02:00