Esempi in C# (CSharp) per AVal.For

Esempio n. 1

                public static AVal Meet(AVal a, AVal b)
                {
                    bool consistent = a.IsExposable || b.IsExposable;

                    return(AVal.For(consistent));
                }

Esempio n. 2

                public static AVal Join(AVal a, AVal b)
                {
                    bool consistent = a.IsExposable && b.IsExposable;

                    return(AVal.For(consistent));
                }