Class InnerConstraintFactory<Solution_>