示例#1
0
 public DSL()
 {
     statements = new Statements();
     satisfy    = new Relation();
     notSatisfy = new Relation();
 }
示例#2
0
 public DSL()
 {
     statements = new Statements();
     satisfy = new Relation();
     notSatisfy = new Relation();
 }