Exemple #1
0
 public void TypeCheckInt(Z3TermAst t)
 {
 }
Exemple #2
0
 public Z3TermAst MakeQuantifier(bool isForall, uint weight, string qid, int skolemid, List <string> varNames, List <Type> boogieTypes, List <Z3PatternAst> patterns, List <Z3TermAst> no_patterns, Z3TermAst body)
 {
     return(new Z3StubTermAst());
 }
Exemple #3
0
 public void TypeCheckBool(Z3TermAst t)
 {
 }
Exemple #4
0
 public Z3TermAst MakeLabel(string labelName, bool pos, Z3TermAst child)
 {
     return(new Z3StubTermAst());
 }
Exemple #5
0
 public Z3TermAst MakeLabel(string labelName, bool pos, Z3TermAst child) {
   return new Z3StubTermAst();
 }
Exemple #6
0
 public void TypeCheckInt(Z3TermAst t){}
Exemple #7
0
 public void TypeCheckBool(Z3TermAst t){}
Exemple #8
0
 public Z3TermAst MakeQuantifier(bool isForall, uint weight, string qid, int skolemid, List<string> varNames, List<Type> boogieTypes, List<Z3PatternAst> patterns, List<Z3TermAst> no_patterns, Z3TermAst body) {
     return new Z3StubTermAst();
 }