コード例 #1
0
ファイル: Fdd.cs プロジェクト: sorenjuul/bddsharp 
 /// <summary>
 /// Constructor for the FDD.
 /// </summary>
 /// <param name="states">Number of different states an FDD can hold</param>
 public Fdd(int states)
 {
     this.StartVar = FddKernel.IthVar(states);
 }