public void TypeCheckInt(Z3TermAst t) { }
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()); }
public void TypeCheckBool(Z3TermAst t) { }
public Z3TermAst MakeLabel(string labelName, bool pos, Z3TermAst child) { return(new Z3StubTermAst()); }
public Z3TermAst MakeLabel(string labelName, bool pos, Z3TermAst child) { return new Z3StubTermAst(); }
public void TypeCheckInt(Z3TermAst t){}
public void TypeCheckBool(Z3TermAst t){}
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(); }