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