Class AnchorVariableDemand<Solution_>