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