Interface InnerConstraintFactory<Solution_>