Class BavetAbstractQuadConstraintStream<Solution_,​A,​B,​C,​D>