public MkBVUGT ( |
||
t1 | ||
t2 | ||
Résultat |
public BoolExpr MkBVUGT(BitVecExpr t1, BitVecExpr t2)
{
Contract.Requires(t1 != null);
Contract.Requires(t2 != null);
Contract.Ensures(Contract.Result<BoolExpr>() != null);
CheckContextMatch(t1);
CheckContextMatch(t2);
return new BoolExpr(this, Native.Z3_mk_bvugt(nCtx, t1.NativeObject, t2.NativeObject));
}