JanUlrich e2d384e7f9 Merge mit Unify und Einbinden der neuen Unifizierung. Nich lauffähige Version

2016-03-30 18:16:27 +02:00

..

FiniteClosureBuilder.java

Merge mit Unify und Einbinden der neuen Unifizierung. Nich lauffähige Version

2016-03-30 18:16:27 +02:00

FiniteClosureTest.java

Merge mit Unify und Einbinden der neuen Unifizierung. Nich lauffähige Version

2016-03-30 18:16:27 +02:00

GenerateFiniteClosure.java

Merge mit Unify und Bytecode

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

RuleSetTest.java

Umstellung auf MPair beginnen

2016-03-24 11:57:17 +01:00

StandardUnifyTest.java

Umstellung auf MPair beginnen

2016-03-24 11:57:17 +01:00

TypeFactory.java

Test GenerateFiniteClosure anfügen

2016-03-17 16:54:43 +01:00

UnifyOldTest.java

Test GenerateFiniteClosure anfügen

2016-03-17 16:54:43 +01:00

UnifyTest.java

Umstellung auf MPair beginnen

2016-03-24 11:57:17 +01:00