40 namespace Int {
namespace Linear {
57 int min(
void)
const {
return 0; }
59 int max(
void)
const {
return 0; }
61 int med(
void)
const {
return 0; }
63 int val(
void)
const {
return 0; }
66 unsigned int size(
void)
const {
return 1; }
68 unsigned int width(
void)
const {
return 1; }
78 bool range(
void)
const {
return true; }
83 bool in(
int n)
const { (void) n;
return false; }
85 bool in(
double n)
const { (void) n;
return false; }
92 (void) home; (void) n;
97 (void) home; (void) n;
102 (void) home; (void) n;
107 (void) home; (void) n;
112 (void) home; (void) n;
117 (void) home; (void) n;
122 (void) home; (void) n;
127 (void) home; (void) n;
132 (void) home; (void) n;
137 (void) home; (void) n;
142 (void) home; (void) n;
147 (void) home; (void) n;
157 template<
class Char,
class Traits>
158 std::basic_ostream<Char,Traits>&
159 operator <<(std::basic_ostream<Char,Traits>& os,
const NoView&) {
return os; }
188 int size(
void)
const {
return 0; }
213 (void) p; (void) pc; (void) process;
217 (void) home; (void) p; (void) pc;
231 (void) share; (void) a;
243 static void*
operator new(size_t);
244 static void operator delete(
void*,size_t);