Exemple #1
0
 public Z3TypeCachedBuilder(Z3apiProverContext context)
 {
     this.container = context;
 }
Exemple #2
0
 public Z3apiExprLineariser(Z3apiProverContext cm, UniqueNamer namer)
 {
     this.cm          = cm;
     this.namer       = namer;
     this.letBindings = new Dictionary <VCExprVar, Term>();
 }