Class MatrixMultiplicationPropagatorPrivateFirst

  • All Implemented Interfaces:
    Propagator

    public class MatrixMultiplicationPropagatorPrivateFirst
    extends MatrixMultiplicationPropagator
    MatrixMultiplicationPropagator that overrides generateFineGrainedConstraints by finding the private elements first followed by propagating PrivateAggregation in case of non-aggregating operator types.
    • Constructor Detail

      • MatrixMultiplicationPropagatorPrivateFirst

        public MatrixMultiplicationPropagatorPrivateFirst()