public BekProg2STb(AStrExpr <STModel, Expr> ase, STBuilderZ3 stb, Sort charsort, string name) : base(ase) { this.name = name; this.stb = stb; this.charsort = charsort; Z3Provider z3p = (Z3Provider)stb.Solver; css = z3p.CharSetProvider; css2 = new BV2Solver(z3p.CharSetProvider, z3p.CharSetProvider); }
public BekProg(AStrExpr <STModel, Expr> ase, STBuilderZ3 stb, Sort charsort) : base(ase) { this.stb = stb; this.charsort = charsort; }