agentm / agentm/project-m36

eliminate duplicate constraint check if the source attribute shares the same constraint

Offen
#382 0 Kommentare 0 Reaktionen 1 zugewiesene Person Beansprucht von @agentm Auf GitHub ansehen
optimization
Vorherrschende Sprache
Haskell
Sterne
952
Forks
50
PR-Merge-Kennzahlen
Keine gemergten PRs in 30 T.

Beschreibung

When copying an attribute X from relvarA to Y in relvarB and if X has a subset of Y's constraints, then Y's constraints do not need to be validated. The constraint has already been validated in X.

Beitragsleitfaden

Für dieses Repository ist kein Beitragsleitfaden indexiert

Bewertung

Dieses Issue wurde noch nicht bewertet.

Neue Issues direkt in Ihr Postfach

Eine kurze Übersicht über anfängerfreundliche GitHub-Issues.