Exemple #1
0
 protected AbstractNondetMethod()
 {
     del = BackrackImpl;
 }
Exemple #2
0
 protected AbstractNondetMethod()
 {
     del = BackrackImpl;
 }