C# (CSharp) Microsoft.Boogie.ModelViewer.BCT BCTModel Examples

Example #1

File: BCTProvider.cs Project: Chenguang-Zhu/ICE-C5

    public StateNode(int i, BCTModel parent, Model.CapturedState s)
      : base(s, parent) {
      dm = parent;
      state = s;
      index = i;

      SetupVars();
    }

Example #2

File: BaseProvider.cs Project: xrq-phys/dafny

        public StateNode(int i, BCTModel parent, Model.CapturedState s)
            : base(s, parent)
        {
            dm    = parent;
            state = s;
            index = i;

            SetupVars();
        }

Example #3

File: BCTProvider.cs Project: Chenguang-Zhu/ICE-C5

 public ILanguageSpecificModel GetLanguageSpecificModel(Model m, ViewOptions opts) {
   var dm = new BCTModel(m, opts);
   foreach (var s in m.States) {
     var sn = new StateNode(dm.states.Count, dm, s);
     dm.states.Add(sn);
   }
   dm.FinishStates();
   return dm;
 }

Example #4

File: BaseProvider.cs Project: xrq-phys/dafny

        public ILanguageSpecificModel GetLanguageSpecificModel(Model m, ViewOptions opts)
        {
            var dm = new BCTModel(m, opts);

            foreach (var s in m.States)
            {
                var sn = new StateNode(dm.states.Count, dm, s);
                dm.states.Add(sn);
            }
            dm.FinishStates();
            return(dm);
        }