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

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

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

        public Probe Le(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_le(nCtx, p1.NativeObject, p2.NativeObject));
        }

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

Le() public méthode