Constraint-Expression

geplante Verbesserungen

Verwendung BoolStringTupel für bessere Fehlertexte 3-state Logik (Menüpunkt aktiv/inaktiv/unsichtbar) projizierte Prädikate (Wiederverwendung Prädikat für anderen Kontext-Objekt-Typ, atomare sichere Operationen für mehrere Ctx-Obj-Member) sichere Schleife (Vermeidung Endlos-Schleife, Invarianten) Totale Ordnung für kontinuierliche Werte (float, double, BigDecimal) Vorgefertigte Prädikate für All-Quantor und Existenz-Quantor auf Arrays und Collections Umstellung auf SAT-Solver
Anfang weiter