Ejemplos de Slicer.Analyzers.FOLConverter.CanonicalForms GAF en C# (CSharp)

Ejemplo n.º 1

Archivo: Revision.cs Proyecto: 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);
        }

Ejemplo n.º 2

Archivo: GroundClauseEC.cs Proyecto: uriJuhasz/Boogie_verifier

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

Ejemplo n.º 3

Archivo: Revision.cs Proyecto: 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);
            }
        }