public TypeAxiomBuilderPremisses(VCExpressionGenerator gen) : base(gen) { Contract.Requires(gen != null); TypeFunction = HelperFuns.BoogieFunction("dummy", Type.Int); Typed2UntypedFunctions = new Dictionary<Function/*!*/, UntypedFunction>(); MapTypeAbstracterAttr = null; }
internal TypeAxiomBuilderPremisses(TypeAxiomBuilderPremisses builder) : base(builder) { Contract.Requires(builder != null); TypeFunction = builder.TypeFunction; Typed2UntypedFunctions = new Dictionary<Function/*!*/, UntypedFunction>(builder.Typed2UntypedFunctions); MapTypeAbstracterAttr = builder.MapTypeAbstracterAttr == null ? null : new MapTypeAbstractionBuilderPremisses(this, builder.Gen, builder.MapTypeAbstracterAttr); }
// constructor for cloning internal MapTypeAbstractionBuilderPremisses(TypeAxiomBuilderPremisses axBuilder, VCExpressionGenerator gen, MapTypeAbstractionBuilderPremisses builder) : base(axBuilder, gen, builder) { Contract.Requires(builder != null); Contract.Requires(gen != null); Contract.Requires(axBuilder != null); this.AxBuilderPremisses = axBuilder; }