Class BavetAbstractConstraintStream<Solution_>