Class OngoingDeferredQuantifiedScalarOperation<S>

  • Type Parameters:
    S - the type of the scalar values (elements of the field on which the operations are based)

    public class OngoingDeferredQuantifiedScalarOperation<S>
    extends java.lang.Object
    Provides methods to describe the right hand part of binary operations on expressions of quantified values