コード例 #1
0
ファイル: NondetContextHandle.cs プロジェクト: segmond/swicli 
 protected AbstractNondetMethod()
 {
     del = BackrackImpl;
 }
コード例 #2
0
 protected AbstractNondetMethod()
 {
     del = BackrackImpl;
 }