コード例 #1
0
ファイル: Helpers.cs プロジェクト: ancailliau/KAOSTools 
 private static void AddElementsFor(this IList<string> alphabet, DomainProperty domprop)
 {
     alphabet.AddElementsFor (domprop.FormalSpec);
 }
コード例 #2
0
ファイル: Helpers.cs プロジェクト: ancailliau/KAOSTools 
 private static void AddElementsFor(this IList<string> alphabet, Obstacle obstacle)
 {
     alphabet.AddElementsFor (obstacle.FormalSpec);
 }
コード例 #3
0
ファイル: Helpers.cs プロジェクト: ancailliau/KAOSTools 
 private static void AddElementsFor(this IList<string> alphabet, Goal goal)
 {
     alphabet.AddElementsFor (goal.FormalSpec);
 }