Class BavetAbstractUniConstraintStream<Solution_,​A>