JanUlrich 0a6aa450db OverloadingVector Test

2016-05-03 13:03:14 +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

OverloadingVector Test

2016-05-03 13:03:14 +02:00

UnifyTypeFactoryTest.java

Aufräumen

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