C# (CSharp) Slicer.Analyzers.FOLConverter.CanonicalForms GAF Examples

Example #1

File: Revision.cs Project: uriJuhasz/Boogie_verifier

        internal void removeGAF(GAF gaf)
        {
#if DEBUG
            Debug.Assert(gafByGTT.ContainsKey(gaf.gtt));
//            Debug.Assert(upToDate(gaf.gArguments));
#endif
            gafByGTT[gaf.gtt].Remove(gaf);
        }

Example #2

File: GroundClauseEC.cs Project: uriJuhasz/Boogie_verifier

        internal GL(GAF formula, bool polarity)
            : base(formula, polarity)
        {
            gaf = formula;
#if DEBUG
            m[index] = this;
#endif
        }

Example #3

File: Revision.cs Project: uriJuhasz/Boogie_verifier

        public void addGAF(GAF gaf)
        {
#if DEBUG
            Debug.Assert(!gafByGTT.ContainsKey(gaf.gtt) || !gafByGTT[gaf.gtt].Contains(gaf));
            Debug.Assert(upToDate(gaf.gtt));
#endif
            {
                ISet <GAF> e;
                if (!gafByGTT.TryGetValue(gaf.gtt, out e))
                {
                    gafByGTT[gaf.gtt] = e = new HashSet <GAF>();
                }
                e.Add(gaf);
            }
        }