[NotNull] public static BoolExpr MkConstraint([NotNull] this Context ctx, [NotNull] Booly p0, [NotNull] Booly p1, [NotNull] Booly p2, [NotNull] Booly p3, [NotNull] Expression <Func <bool, bool, bool, bool, bool> > expression) { if (ctx == null) { throw new ArgumentNullException(nameof(ctx)); } if (p0 == null) { throw new ArgumentNullException(nameof(p0)); } if (p1 == null) { throw new ArgumentNullException(nameof(p1)); } if (p2 == null) { throw new ArgumentNullException(nameof(p2)); } if (p3 == null) { throw new ArgumentNullException(nameof(p3)); } if (expression == null) { throw new ArgumentNullException(nameof(expression)); } return(MkExpressionConstraint.CreateBoolExpression(ctx, MkExpressionConstraint.ExtractParameters(ctx, expression.Parameters, p0, p1, p2, p3), expression.Body)); }
[NotNull] public static BoolExpr MkConstraint([NotNull] this Context ctx, [NotNull] Inty p0, [NotNull] Expression <Func <long, bool> > expression) { if (ctx == null) { throw new ArgumentNullException(nameof(ctx)); } if (p0 == null) { throw new ArgumentNullException(nameof(p0)); } if (expression == null) { throw new ArgumentNullException(nameof(expression)); } return(MkExpressionConstraint.CreateBoolExpression(ctx, MkExpressionConstraint.ExtractParameters(ctx, expression.Parameters, p0), expression.Body)); }