Grundgerüst für Fixpoint-Solver
IFixpointSolver
compose mit priorize
compositor priorize tests
refactoring compositor tests
erster Schritt der Fixpunktberechnung
Fixpunkt erster schritt
Merge branch 'bpUserStory16' of https://github.com/multi-perspectives/lecture-project.git into bpUserStory16
added ConstraintViolation
Merge branch 'bpUserStory16' of https://github.com/multi-perspectives/lecture-project.git into bpUserStory16
Added Fixpoint-Button to GUI
Autovervollständigung in Editor integriert und leicht angepasst
Klassifiziert jetzt auch automatisch auf Unbound und erkennt den Fehler
in der Konfiguration
Some Fixes
Changed FixpointTest
unnötige klassen entfernt
Added Fixpointtests
Fixed Merge-Conflict