Пример #1
0
 public override bool IsBDDEncodable()
 {
     return(FirstProcess.IsBDDEncodable() && SecondProcess.IsBDDEncodable());
 }
Пример #2
0
 public override bool IsBDDEncodable()
 {
     return(Process.IsBDDEncodable());
 }