32 std::size_t
size()
const {
return vec.size(); }
38 void push_back(
typename Container::value_type in) {
vec.push_back(in); }
55 typename std::vector<T>::iterator begin() {
58 typename std::vector<T>::iterator end() {
65 std::size_t count = 0;
68 std::size_t size()
const {
return count; }
69 void push_back(T) { count++; }
70 void clear() { count = 0; }
71 void reserve(std::size_t) {}
86 std::size_t count = 0;
97 std::size_t
size()
const {
return count; }
98 void push_back(
const Zone &ans) {
101 printf(
"%10lf %8s t %s %10lf\n", -ans.value(0, 1).first,
102 (ans.value(0, 1).second ?
"<=" :
"<"),
103 (ans.value(1, 0).second ?
"<=" :
"<"), ans.value(1, 0).first);
104 printf(
"%10lf %8s t' %s %10lf\n", -ans.value(0, 2).first,
105 (ans.value(0, 2).second ?
"<=" :
"<"),
106 (ans.value(2, 0).second ?
"<=" :
"<"), ans.value(2, 0).first);
107 printf(
"%10lf %8s t' - t %s %10lf\n", -ans.value(1, 2).first,
108 (ans.value(1, 2).second ?
"<=" :
"<"),
109 (ans.value(2, 1).second ?
"<=" :
"<"), ans.value(2, 1).first);
110 puts(
"=============================");
117 using value_type =
Zone;
Container class for the output zones.
Definition: ans_vec.hh:17
void clear()
Remove all the contained zones.
Definition: ans_vec.hh:42
std::size_t size() const
Returns the number of the contained zones.
Definition: ans_vec.hh:32
void reserve(std::size_t n)
Reserve the space to contain zones.
Definition: ans_vec.hh:50
AnsContainer(const Container vec)
Constructor.
Definition: ans_vec.hh:24
Container vec
The actual container of the zones.
Definition: ans_vec.hh:20
void push_back(typename Container::value_type in)
Append a zone to the container.
Definition: ans_vec.hh:38
AnsContainer()
Constructor.
Definition: ans_vec.hh:26
Definition: ans_vec.hh:53
Definition: ans_vec.hh:63
A pseudo-container class to print the given zone to stdout. This is given to AnsContainer.
Definition: ans_vec.hh:84
std::size_t size() const
Returns the count of output zones.
Definition: ans_vec.hh:97
void reserve(std::size_t)
Does nothing.
Definition: ans_vec.hh:116
void clear()
Resets the count of output zones.
Definition: ans_vec.hh:114
PrintContainer(bool isQuiet)
Constructor.
Definition: ans_vec.hh:95
Implementation of a zone with DBM.
Definition: zone.hh:43