Esempio n. 1
0
 // return whether there are some elements that are fix
 inline bool has_no_fixed_elements() const {
   return fix.empty();
 }
Esempio n. 2
0
 // return whether the list contains no element
 bool empty() const{
   return fix.empty() && variable.empty();
 }