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;
}
