agentm / agentm/project-m36

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

オープン
#382 コメント 0 件 リアクション 0 件 担当者 1 名 @agentm が担当を希望しています GitHub で見る
optimization
主要言語
Haskell
スター
952
フォーク
50
PR マージ指標
30日以内にマージされた PR はありません

説明

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.

コントリビューションガイド

このリポジトリのコントリビューションガイドは索引されていません

評価

この issue はまだ評価されていません。

新しい issue をメールで受け取る

初心者向けの GitHub issue を短くまとめたダイジェスト。