Interface SingleConstraintVerification<Solution_>