C# (CSharp) PAT.KWSN.LTS Process.IsBDDEncodableの例

コード例 #1

ファイル: ConditionalChoiceAtomic.cs プロジェクト: vu111293/pat-design

 public override bool IsBDDEncodable()
 {
     return(FirstProcess.IsBDDEncodable() && SecondProcess.IsBDDEncodable());
 }

コード例 #2

ファイル: Hiding.cs プロジェクト: vu111293/pat-design

 public override bool IsBDDEncodable()
 {
     return(Process.IsBDDEncodable());
 }