C# (CSharp) Microsoft.Boogie.TypeErasure MapTypeAbstractionBuilderArguments 예제들

예제 #1

파일: TypeErasureArguments.cs 프로젝트: zvonimir/boogie

 // constructor for cloning
 internal MapTypeAbstractionBuilderArguments(TypeAxiomBuilderArguments axBuilder, VCExpressionGenerator gen,
                                             MapTypeAbstractionBuilderArguments builder)
     : base(axBuilder, gen, builder)
 {
     Contract.Requires(builder != null);
     Contract.Requires(gen != null);
     Contract.Requires(axBuilder != null);
     this.AxBuilderArguments = axBuilder;
 }

예제 #2

파일: TypeErasureArguments.cs 프로젝트: Chenguang-Zhu/ICE-C5

 // constructor for cloning
 internal MapTypeAbstractionBuilderArguments(TypeAxiomBuilderArguments axBuilder, VCExpressionGenerator gen, MapTypeAbstractionBuilderArguments builder)
   : base(axBuilder, gen, builder) {
   Contract.Requires(builder != null);
   Contract.Requires(gen != null);
   Contract.Requires(axBuilder != null);
   this.AxBuilderArguments = axBuilder;
 }