OverloadingInMethod2: zu großes Cartesisches Produkt #169
Reference in New Issue
Block a user
No description provided.
Delete Branch "%!s()"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
class OverloadingInMethod2{
}
Es entstehen in unify 960 Subtypingen mit denen ein rießiges Cartesischen Produkt eintsteht.
Lässt sich mit Zussammenhangskomponenten nicht lösen.
Code ist noch vollendet.
Sollte noch vollendet werden.
Lösungsidee:
Schritt 4, Teil 1 sollte als Ergbenis ein ODER-Constraint gebeldet werden.
Die Bildung des Cart.Produkt sollte dann mit den gleichen Optimierungen (ATPS-Paper) gebildet werden.
Zusammenhangskomponenten wieder löschen, da diese bereits in Sourcefile gebildet werden und sie daher hier nichts mehr bringen
OLD BUG