Class MatrixMultiplicationPropagatorPrivateFirstOptimized

  • All Implemented Interfaces:
    Propagator

    public class MatrixMultiplicationPropagatorPrivateFirstOptimized
    extends MatrixMultiplicationPropagator
    MatrixMultiplicationPropagator that overrides generateFineGrainedConstraints by finding the private elements first while propagating PrivateAggregation in case of non-aggregating operator types. This is an optimized version of MatrixMultiplicationPropagatorPrivateFirst since it does both kinds of propagation in the same loop.
    • Constructor Detail

      • MatrixMultiplicationPropagatorPrivateFirstOptimized

        public MatrixMultiplicationPropagatorPrivateFirstOptimized()