*/
#include <climits>
-#include <algorithm>
#include <json/json.h>
#include "Attribute.h"
void IntegerAttribute::setClosedLowerBound(int bound)
{
- __closedLowerBound = std::max(__closedLowerBound, bound);
+ __closedLowerBound = bound;
}
void IntegerAttribute::setClosedUpperBound(int bound)
{
- __closedUpperBound = std::min(__closedUpperBound, bound);
+ __closedUpperBound = bound;
}
void IntegerAttribute::setOpenLowerBound(int bound)
{
- __openLowerBound = std::max(__openLowerBound, bound);
+ __openLowerBound = bound;
}
void IntegerAttribute::setOpenUpperBound(int bound)
{
- __openUpperBound = std::min(__openUpperBound, bound);
+ __openUpperBound = bound;
}
bool IntegerAttribute::addTarget(int target)