Class PreconditionExpression

  • All Implemented Interfaces:
    java.io.Serializable, Expression<java.lang.Boolean>, Node

    public class PreconditionExpression
    extends ConversionOperationExpression<java.lang.Iterable<java.lang.Boolean>,​java.lang.Boolean>
    This expression reduces an Expression of Iterable of boolean to an Expression of a Boolean. The conversion represents the reduction strategy that will be applied on the iterable.
    See Also:
    Serialized Form
    • Constructor Detail

      • PreconditionExpression

        public PreconditionExpression​(Conversion<java.lang.Iterable<java.lang.Boolean>,​java.lang.Boolean> operation,
                                      Expression<java.lang.Iterable<java.lang.Boolean>> source)