Class BavetConstraintSession<Solution_>