Class MatrixMultiplicationPropagatorNaive

  • All Implemented Interfaces:
    Propagator

    public class MatrixMultiplicationPropagatorNaive
    extends MatrixMultiplicationPropagator
    MatrixMultiplicationPropagator that overrides generateFineGrainedConstraints with a naive propagation of the fine-grained constraints. The output is correct, but is likely less efficient than other implementations.
    • Constructor Detail

      • MatrixMultiplicationPropagatorNaive

        public MatrixMultiplicationPropagatorNaive()