コード例 #1
0
ファイル: LTLFormula.cs プロジェクト: vu111293/pat-design 
 public void apply(APMonom m)
 {
     _nba.nba_i_addEdge(_from, m, _to);
 }