C# (CSharp) Reachability.Export2OtherGraFile Examples

Example #1

        public static void ExportReachabilityFileFromPlaceDiationary(SortedDictionary <int, Place> data)
        {
            if (data.Count == 0)
            {
                return;
            }
            Marking      M0  = GetInitialMarkingFromPlaceDictionary(data);
            Reachability gra = new Reachability(M0);

            gra.Export2GraFile();
            gra.ExportStateFile();
            gra.Export2OtherGraFile();
        }