C# (CSharp) Microsoft.Boogie OrderingAxiomBuilder.Setup Exemples

Exemple #1

Fichier : Context.cs Projet : CrystalMei/boogie

        private void SetupOrderingAxiomBuilder(VCExpressionGenerator gen, Boogie2VCExprTranslator t)
        {
            OrderingAxiomBuilder oab = new OrderingAxiomBuilder(gen, t);

            Contract.Assert(oab != null);
            oab.Setup();
            this.orderingAxiomBuilder = oab;
        }

Exemple #2

Fichier : Context.cs Projet : Chenguang-Zhu/ICE-C5

 private void SetupOrderingAxiomBuilder(VCExpressionGenerator gen, Boogie2VCExprTranslator t)
 {
     OrderingAxiomBuilder oab = new OrderingAxiomBuilder(gen, t);
       Contract.Assert(oab != null);
       oab.Setup();
       this.orderingAxiomBuilder = oab;
 }