JanUlrich 5e5a17b265 toString zu UndMenge hinzugefügt

2015-05-07 14:41:13 +02:00

..

MartinTestCases

Menge eingeführt und dadurch Vector abgelöst. KomplexeMenge eingeführt, ConstraintSet baut nun darauf auf

2015-04-22 21:40:22 +02:00

TypeInsertTests

toString zu UndMenge hinzugefügt

2015-05-07 14:41:13 +02:00

InsertSingleTypeTest.java

Menge eingeführt und dadurch Vector abgelöst. KomplexeMenge eingeführt, ConstraintSet baut nun darauf auf

2015-04-22 21:40:22 +02:00

KarthesischesProduktTest.java

Menge eingeführt und dadurch Vector abgelöst. KomplexeMenge eingeführt, ConstraintSet baut nun darauf auf

2015-04-22 21:40:22 +02:00

MethodTypeInsertTest.jav

MethodTypeInsertTest angefügt

2014-03-09 13:03:30 +01:00

MethodTypeInsertTest.java

MethodTypeInsertTest angefügt

2014-03-09 13:03:30 +01:00

MethodTypeInsertTestSolution.jav

MethodTypeInsertTest angefügt

2014-03-09 13:03:30 +01:00

ParameterInsertTest.java

ParameterInsertTest added

2014-03-10 15:56:17 +01:00

ParameterTypeInsertTest.jav

ParameterInsertTest added

2014-03-10 15:56:17 +01:00

ParameterTypeInsertTestSolution.jav

Fixed Tests. Doppelte TypeAssumptions beseitigt

2014-04-14 18:05:24 +02:00

SingleTypeInsertTest.jav

GenericVarAssumption eingeführt

2014-06-18 09:06:08 +02:00

SyntaxTreeTests.java

SyntaxTreeNode.getDescription() angefügt

2014-03-12 15:27:26 +01:00

TRMEqualTest.java

Menge eingeführt und dadurch Vector abgelöst. KomplexeMenge eingeführt, ConstraintSet baut nun darauf auf

2015-04-22 21:40:22 +02:00

TypeInsertSetEqualTest.jav

Menge eingeführt und dadurch Vector abgelöst. KomplexeMenge eingeführt, ConstraintSet baut nun darauf auf

2015-04-22 21:40:22 +02:00

TypeInsertSetEqualTest.java

Menge eingeführt und dadurch Vector abgelöst. KomplexeMenge eingeführt, ConstraintSet baut nun darauf auf

2015-04-22 21:40:22 +02:00

TypeInsertTester.java

Logger angepasst. MyCompiler.getAPI erfordert nun einen Logger als Parameter. Filterung im Unify eingefügt.

2015-05-07 01:01:39 +02:00

VariableTypeInsertTest.jav

TypeInsertTests angefügt

2014-03-09 11:44:12 +01:00

VariableTypeInsertTest.java

TypeInsertTests angefügt

2014-03-09 11:44:12 +01:00

VariableTypeInsertTestSolution.jav

TypeInsertTests angefügt

2014-03-09 11:44:12 +01:00