Microsoft.Z3.Context.Ge C# (CSharp) Méthode

Create a probe that evaluates to "true" when the value returned by p1 is greater than or equal the value returned by p2

public Ge ( Probe p1, Probe p2 ) : Probe
p1	Probe
p2	Probe
Résultat	Probe

        public Probe Ge(Probe p1, Probe p2)
        {
            Contract.Requires(p1 != null);
            Contract.Requires(p2 != null);
            Contract.Ensures(Contract.Result<Probe>() != null);

            CheckContextMatch(p1);
            CheckContextMatch(p2);
            return new Probe(this, Native.Z3_probe_ge(nCtx, p1.NativeObject, p2.NativeObject));
        }

Microsoft.Z3.Context.Ge C# (CSharp) Méthode

Ge() public méthode