src/snark/.deps/sart.Po

   1 build/sart.o: src/snark/sart.cpp /usr/include/stdc-predef.h \
   2  /usr/include/c++/7/cstdio \
   3  /usr/include/x86_64-linux-gnu/c++/7/bits/c++config.h \
   4  /usr/include/x86_64-linux-gnu/c++/7/bits/os_defines.h \
   5  /usr/include/features.h /usr/include/x86_64-linux-gnu/sys/cdefs.h \
   6  /usr/include/x86_64-linux-gnu/bits/wordsize.h \
   7  /usr/include/x86_64-linux-gnu/bits/long-double.h \
   8  /usr/include/x86_64-linux-gnu/gnu/stubs.h \
   9  /usr/include/x86_64-linux-gnu/gnu/stubs-64.h \
  10  /usr/include/x86_64-linux-gnu/c++/7/bits/cpu_defines.h \
  11  /usr/include/stdio.h \
  12  /usr/include/x86_64-linux-gnu/bits/libc-header-start.h \
  13  /usr/lib/gcc/x86_64-linux-gnu/7/include/stddef.h \
  14  /usr/include/x86_64-linux-gnu/bits/types.h \
  15  /usr/include/x86_64-linux-gnu/bits/typesizes.h \
  16  /usr/include/x86_64-linux-gnu/bits/types/__FILE.h \
  17  /usr/include/x86_64-linux-gnu/bits/types/FILE.h /usr/include/libio.h \
  18  /usr/include/_G_config.h \
  19  /usr/include/x86_64-linux-gnu/bits/types/__mbstate_t.h \
  20  /usr/lib/gcc/x86_64-linux-gnu/7/include/stdarg.h \
  21  /usr/include/x86_64-linux-gnu/bits/stdio_lim.h \
  22  /usr/include/x86_64-linux-gnu/bits/sys_errlist.h \
  23  /usr/include/x86_64-linux-gnu/bits/stdio.h \
  24  /usr/include/x86_64-linux-gnu/bits/stdio2.h /usr/include/c++/7/iostream \
  25  /usr/include/c++/7/ostream /usr/include/c++/7/ios \
  26  /usr/include/c++/7/iosfwd /usr/include/c++/7/bits/stringfwd.h \
  27  /usr/include/c++/7/bits/memoryfwd.h /usr/include/c++/7/bits/postypes.h \
  28  /usr/include/c++/7/cwchar /usr/include/wchar.h \
  29  /usr/include/x86_64-linux-gnu/bits/floatn.h \
  30  /usr/include/x86_64-linux-gnu/bits/wchar.h \
  31  /usr/include/x86_64-linux-gnu/bits/types/wint_t.h \
  32  /usr/include/x86_64-linux-gnu/bits/types/mbstate_t.h \
  33  /usr/include/x86_64-linux-gnu/bits/types/locale_t.h \
  34  /usr/include/x86_64-linux-gnu/bits/types/__locale_t.h \
  35  /usr/include/x86_64-linux-gnu/bits/wchar2.h /usr/include/c++/7/exception \
  36  /usr/include/c++/7/bits/exception.h \
  37  /usr/include/c++/7/bits/exception_ptr.h \
  38  /usr/include/c++/7/bits/exception_defines.h \
  39  /usr/include/c++/7/bits/cxxabi_init_exception.h \
  40  /usr/include/c++/7/typeinfo /usr/include/c++/7/bits/hash_bytes.h \
  41  /usr/include/c++/7/new /usr/include/c++/7/bits/nested_exception.h \
  42  /usr/include/c++/7/bits/move.h /usr/include/c++/7/bits/concept_check.h \
  43  /usr/include/c++/7/type_traits /usr/include/c++/7/bits/char_traits.h \
  44  /usr/include/c++/7/bits/stl_algobase.h \
  45  /usr/include/c++/7/bits/functexcept.h \
  46  /usr/include/c++/7/bits/cpp_type_traits.h \
  47  /usr/include/c++/7/ext/type_traits.h \
  48  /usr/include/c++/7/ext/numeric_traits.h \
  49  /usr/include/c++/7/bits/stl_pair.h \
  50  /usr/include/c++/7/bits/stl_iterator_base_types.h \
  51  /usr/include/c++/7/bits/stl_iterator_base_funcs.h \
  52  /usr/include/c++/7/debug/assertions.h \
  53  /usr/include/c++/7/bits/stl_iterator.h \
  54  /usr/include/c++/7/bits/ptr_traits.h /usr/include/c++/7/debug/debug.h \
  55  /usr/include/c++/7/bits/predefined_ops.h /usr/include/c++/7/cstdint \
  56  /usr/lib/gcc/x86_64-linux-gnu/7/include/stdint.h /usr/include/stdint.h \
  57  /usr/include/x86_64-linux-gnu/bits/stdint-intn.h \
  58  /usr/include/x86_64-linux-gnu/bits/stdint-uintn.h \
  59  /usr/include/c++/7/bits/localefwd.h \
  60  /usr/include/x86_64-linux-gnu/c++/7/bits/c++locale.h \
  61  /usr/include/c++/7/clocale /usr/include/locale.h \
  62  /usr/include/x86_64-linux-gnu/bits/locale.h /usr/include/c++/7/cctype \
  63  /usr/include/ctype.h /usr/include/endian.h \
  64  /usr/include/x86_64-linux-gnu/bits/endian.h \
  65  /usr/include/x86_64-linux-gnu/bits/byteswap.h \
  66  /usr/include/x86_64-linux-gnu/bits/byteswap-16.h \
  67  /usr/include/x86_64-linux-gnu/bits/uintn-identity.h \
  68  /usr/include/c++/7/bits/ios_base.h /usr/include/c++/7/ext/atomicity.h \
  69  /usr/include/x86_64-linux-gnu/c++/7/bits/gthr.h \
  70  /usr/include/x86_64-linux-gnu/c++/7/bits/gthr-default.h \
  71  /usr/include/pthread.h /usr/include/sched.h \
  72  /usr/include/x86_64-linux-gnu/bits/types/time_t.h \
  73  /usr/include/x86_64-linux-gnu/bits/types/struct_timespec.h \
  74  /usr/include/x86_64-linux-gnu/bits/sched.h \
  75  /usr/include/x86_64-linux-gnu/bits/cpu-set.h /usr/include/time.h \
  76  /usr/include/x86_64-linux-gnu/bits/time.h \
  77  /usr/include/x86_64-linux-gnu/bits/timex.h \
  78  /usr/include/x86_64-linux-gnu/bits/types/struct_timeval.h \
  79  /usr/include/x86_64-linux-gnu/bits/types/clock_t.h \
  80  /usr/include/x86_64-linux-gnu/bits/types/struct_tm.h \
  81  /usr/include/x86_64-linux-gnu/bits/types/clockid_t.h \
  82  /usr/include/x86_64-linux-gnu/bits/types/timer_t.h \
  83  /usr/include/x86_64-linux-gnu/bits/types/struct_itimerspec.h \
  84  /usr/include/x86_64-linux-gnu/bits/pthreadtypes.h \
  85  /usr/include/x86_64-linux-gnu/bits/thread-shared-types.h \
  86  /usr/include/x86_64-linux-gnu/bits/pthreadtypes-arch.h \
  87  /usr/include/x86_64-linux-gnu/bits/setjmp.h \
  88  /usr/include/x86_64-linux-gnu/c++/7/bits/atomic_word.h \
  89  /usr/include/c++/7/bits/locale_classes.h /usr/include/c++/7/string \
  90  /usr/include/c++/7/bits/allocator.h \
  91  /usr/include/x86_64-linux-gnu/c++/7/bits/c++allocator.h \
  92  /usr/include/c++/7/ext/new_allocator.h \
  93  /usr/include/c++/7/bits/ostream_insert.h \
  94  /usr/include/c++/7/bits/cxxabi_forced.h \
  95  /usr/include/c++/7/bits/stl_function.h \
  96  /usr/include/c++/7/backward/binders.h \
  97  /usr/include/c++/7/bits/range_access.h \
  98  /usr/include/c++/7/initializer_list \
  99  /usr/include/c++/7/bits/basic_string.h \
 100  /usr/include/c++/7/ext/alloc_traits.h \
 101  /usr/include/c++/7/bits/alloc_traits.h \
 102  /usr/include/c++/7/ext/string_conversions.h /usr/include/c++/7/cstdlib \
 103  /usr/include/stdlib.h /usr/include/x86_64-linux-gnu/bits/waitflags.h \
 104  /usr/include/x86_64-linux-gnu/bits/waitstatus.h \
 105  /usr/include/x86_64-linux-gnu/sys/types.h \
 106  /usr/include/x86_64-linux-gnu/sys/select.h \
 107  /usr/include/x86_64-linux-gnu/bits/select.h \
 108  /usr/include/x86_64-linux-gnu/bits/types/sigset_t.h \
 109  /usr/include/x86_64-linux-gnu/bits/types/__sigset_t.h \
 110  /usr/include/x86_64-linux-gnu/bits/select2.h \
 111  /usr/include/x86_64-linux-gnu/sys/sysmacros.h \
 112  /usr/include/x86_64-linux-gnu/bits/sysmacros.h /usr/include/alloca.h \
 113  /usr/include/x86_64-linux-gnu/bits/stdlib-bsearch.h \
 114  /usr/include/x86_64-linux-gnu/bits/stdlib-float.h \
 115  /usr/include/x86_64-linux-gnu/bits/stdlib.h \
 116  /usr/include/c++/7/bits/std_abs.h /usr/include/c++/7/cerrno \
 117  /usr/include/errno.h /usr/include/x86_64-linux-gnu/bits/errno.h \
 118  /usr/include/linux/errno.h /usr/include/x86_64-linux-gnu/asm/errno.h \
 119  /usr/include/asm-generic/errno.h /usr/include/asm-generic/errno-base.h \
 120  /usr/include/c++/7/bits/functional_hash.h \
 121  /usr/include/c++/7/bits/basic_string.tcc \
 122  /usr/include/c++/7/bits/locale_classes.tcc \
 123  /usr/include/c++/7/system_error \
 124  /usr/include/x86_64-linux-gnu/c++/7/bits/error_constants.h \
 125  /usr/include/c++/7/stdexcept /usr/include/c++/7/streambuf \
 126  /usr/include/c++/7/bits/streambuf.tcc \
 127  /usr/include/c++/7/bits/basic_ios.h \
 128  /usr/include/c++/7/bits/locale_facets.h /usr/include/c++/7/cwctype \
 129  /usr/include/wctype.h /usr/include/x86_64-linux-gnu/bits/wctype-wchar.h \
 130  /usr/include/x86_64-linux-gnu/c++/7/bits/ctype_base.h \
 131  /usr/include/c++/7/bits/streambuf_iterator.h \
 132  /usr/include/x86_64-linux-gnu/c++/7/bits/ctype_inline.h \
 133  /usr/include/c++/7/bits/locale_facets.tcc \
 134  /usr/include/c++/7/bits/basic_ios.tcc \
 135  /usr/include/c++/7/bits/ostream.tcc /usr/include/c++/7/istream \
 136  /usr/include/c++/7/bits/istream.tcc src/snark/sart.h src/snark/alg.h \
 137  src/snark/blkdta.h src/snark/GeometricBehaviour.h src/snark/anglst.h \
 138  src/snark/geom.h src/snark/pseudo.h src/snark/SARTConfig.h
 139
 140 /usr/include/stdc-predef.h:
 141
 142 /usr/include/c++/7/cstdio:
 143
 144 /usr/include/x86_64-linux-gnu/c++/7/bits/c++config.h:
 145
 146 /usr/include/x86_64-linux-gnu/c++/7/bits/os_defines.h:
 147
 148 /usr/include/features.h:
 149
 150 /usr/include/x86_64-linux-gnu/sys/cdefs.h:
 151
 152 /usr/include/x86_64-linux-gnu/bits/wordsize.h:
 153
 154 /usr/include/x86_64-linux-gnu/bits/long-double.h:
 155
 156 /usr/include/x86_64-linux-gnu/gnu/stubs.h:
 157
 158 /usr/include/x86_64-linux-gnu/gnu/stubs-64.h:
 159
 160 /usr/include/x86_64-linux-gnu/c++/7/bits/cpu_defines.h:
 161
 162 /usr/include/stdio.h:
 163
 164 /usr/include/x86_64-linux-gnu/bits/libc-header-start.h:
 165
 166 /usr/lib/gcc/x86_64-linux-gnu/7/include/stddef.h:
 167
 168 /usr/include/x86_64-linux-gnu/bits/types.h:
 169
 170 /usr/include/x86_64-linux-gnu/bits/typesizes.h:
 171
 172 /usr/include/x86_64-linux-gnu/bits/types/__FILE.h:
 173
 174 /usr/include/x86_64-linux-gnu/bits/types/FILE.h:
 175
 176 /usr/include/libio.h:
 177
 178 /usr/include/_G_config.h:
 179
 180 /usr/include/x86_64-linux-gnu/bits/types/__mbstate_t.h:
 181
 182 /usr/lib/gcc/x86_64-linux-gnu/7/include/stdarg.h:
 183
 184 /usr/include/x86_64-linux-gnu/bits/stdio_lim.h:
 185
 186 /usr/include/x86_64-linux-gnu/bits/sys_errlist.h:
 187
 188 /usr/include/x86_64-linux-gnu/bits/stdio.h:
 189
 190 /usr/include/x86_64-linux-gnu/bits/stdio2.h:
 191
 192 /usr/include/c++/7/iostream:
 193
 194 /usr/include/c++/7/ostream:
 195
 196 /usr/include/c++/7/ios:
 197
 198 /usr/include/c++/7/iosfwd:
 199
 200 /usr/include/c++/7/bits/stringfwd.h:
 201
 202 /usr/include/c++/7/bits/memoryfwd.h:
 203
 204 /usr/include/c++/7/bits/postypes.h:
 205
 206 /usr/include/c++/7/cwchar:
 207
 208 /usr/include/wchar.h:
 209
 210 /usr/include/x86_64-linux-gnu/bits/floatn.h:
 211
 212 /usr/include/x86_64-linux-gnu/bits/wchar.h:
 213
 214 /usr/include/x86_64-linux-gnu/bits/types/wint_t.h:
 215
 216 /usr/include/x86_64-linux-gnu/bits/types/mbstate_t.h:
 217
 218 /usr/include/x86_64-linux-gnu/bits/types/locale_t.h:
 219
 220 /usr/include/x86_64-linux-gnu/bits/types/__locale_t.h:
 221
 222 /usr/include/x86_64-linux-gnu/bits/wchar2.h:
 223
 224 /usr/include/c++/7/exception:
 225
 226 /usr/include/c++/7/bits/exception.h:
 227
 228 /usr/include/c++/7/bits/exception_ptr.h:
 229
 230 /usr/include/c++/7/bits/exception_defines.h:
 231
 232 /usr/include/c++/7/bits/cxxabi_init_exception.h:
 233
 234 /usr/include/c++/7/typeinfo:
 235
 236 /usr/include/c++/7/bits/hash_bytes.h:
 237
 238 /usr/include/c++/7/new:
 239
 240 /usr/include/c++/7/bits/nested_exception.h:
 241
 242 /usr/include/c++/7/bits/move.h:
 243
 244 /usr/include/c++/7/bits/concept_check.h:
 245
 246 /usr/include/c++/7/type_traits:
 247
 248 /usr/include/c++/7/bits/char_traits.h:
 249
 250 /usr/include/c++/7/bits/stl_algobase.h:
 251
 252 /usr/include/c++/7/bits/functexcept.h:
 253
 254 /usr/include/c++/7/bits/cpp_type_traits.h:
 255
 256 /usr/include/c++/7/ext/type_traits.h:
 257
 258 /usr/include/c++/7/ext/numeric_traits.h:
 259
 260 /usr/include/c++/7/bits/stl_pair.h:
 261
 262 /usr/include/c++/7/bits/stl_iterator_base_types.h:
 263
 264 /usr/include/c++/7/bits/stl_iterator_base_funcs.h:
 265
 266 /usr/include/c++/7/debug/assertions.h:
 267
 268 /usr/include/c++/7/bits/stl_iterator.h:
 269
 270 /usr/include/c++/7/bits/ptr_traits.h:
 271
 272 /usr/include/c++/7/debug/debug.h:
 273
 274 /usr/include/c++/7/bits/predefined_ops.h:
 275
 276 /usr/include/c++/7/cstdint:
 277
 278 /usr/lib/gcc/x86_64-linux-gnu/7/include/stdint.h:
 279
 280 /usr/include/stdint.h:
 281
 282 /usr/include/x86_64-linux-gnu/bits/stdint-intn.h:
 283
 284 /usr/include/x86_64-linux-gnu/bits/stdint-uintn.h:
 285
 286 /usr/include/c++/7/bits/localefwd.h:
 287
 288 /usr/include/x86_64-linux-gnu/c++/7/bits/c++locale.h:
 289
 290 /usr/include/c++/7/clocale:
 291
 292 /usr/include/locale.h:
 293
 294 /usr/include/x86_64-linux-gnu/bits/locale.h:
 295
 296 /usr/include/c++/7/cctype:
 297
 298 /usr/include/ctype.h:
 299
 300 /usr/include/endian.h:
 301
 302 /usr/include/x86_64-linux-gnu/bits/endian.h:
 303
 304 /usr/include/x86_64-linux-gnu/bits/byteswap.h:
 305
 306 /usr/include/x86_64-linux-gnu/bits/byteswap-16.h:
 307
 308 /usr/include/x86_64-linux-gnu/bits/uintn-identity.h:
 309
 310 /usr/include/c++/7/bits/ios_base.h:
 311
 312 /usr/include/c++/7/ext/atomicity.h:
 313
 314 /usr/include/x86_64-linux-gnu/c++/7/bits/gthr.h:
 315
 316 /usr/include/x86_64-linux-gnu/c++/7/bits/gthr-default.h:
 317
 318 /usr/include/pthread.h:
 319
 320 /usr/include/sched.h:
 321
 322 /usr/include/x86_64-linux-gnu/bits/types/time_t.h:
 323
 324 /usr/include/x86_64-linux-gnu/bits/types/struct_timespec.h:
 325
 326 /usr/include/x86_64-linux-gnu/bits/sched.h:
 327
 328 /usr/include/x86_64-linux-gnu/bits/cpu-set.h:
 329
 330 /usr/include/time.h:
 331
 332 /usr/include/x86_64-linux-gnu/bits/time.h:
 333
 334 /usr/include/x86_64-linux-gnu/bits/timex.h:
 335
 336 /usr/include/x86_64-linux-gnu/bits/types/struct_timeval.h:
 337
 338 /usr/include/x86_64-linux-gnu/bits/types/clock_t.h:
 339
 340 /usr/include/x86_64-linux-gnu/bits/types/struct_tm.h:
 341
 342 /usr/include/x86_64-linux-gnu/bits/types/clockid_t.h:
 343
 344 /usr/include/x86_64-linux-gnu/bits/types/timer_t.h:
 345
 346 /usr/include/x86_64-linux-gnu/bits/types/struct_itimerspec.h:
 347
 348 /usr/include/x86_64-linux-gnu/bits/pthreadtypes.h:
 349
 350 /usr/include/x86_64-linux-gnu/bits/thread-shared-types.h:
 351
 352 /usr/include/x86_64-linux-gnu/bits/pthreadtypes-arch.h:
 353
 354 /usr/include/x86_64-linux-gnu/bits/setjmp.h:
 355
 356 /usr/include/x86_64-linux-gnu/c++/7/bits/atomic_word.h:
 357
 358 /usr/include/c++/7/bits/locale_classes.h:
 359
 360 /usr/include/c++/7/string:
 361
 362 /usr/include/c++/7/bits/allocator.h:
 363
 364 /usr/include/x86_64-linux-gnu/c++/7/bits/c++allocator.h:
 365
 366 /usr/include/c++/7/ext/new_allocator.h:
 367
 368 /usr/include/c++/7/bits/ostream_insert.h:
 369
 370 /usr/include/c++/7/bits/cxxabi_forced.h:
 371
 372 /usr/include/c++/7/bits/stl_function.h:
 373
 374 /usr/include/c++/7/backward/binders.h:
 375
 376 /usr/include/c++/7/bits/range_access.h:
 377
 378 /usr/include/c++/7/initializer_list:
 379
 380 /usr/include/c++/7/bits/basic_string.h:
 381
 382 /usr/include/c++/7/ext/alloc_traits.h:
 383
 384 /usr/include/c++/7/bits/alloc_traits.h:
 385
 386 /usr/include/c++/7/ext/string_conversions.h:
 387
 388 /usr/include/c++/7/cstdlib:
 389
 390 /usr/include/stdlib.h:
 391
 392 /usr/include/x86_64-linux-gnu/bits/waitflags.h:
 393
 394 /usr/include/x86_64-linux-gnu/bits/waitstatus.h:
 395
 396 /usr/include/x86_64-linux-gnu/sys/types.h:
 397
 398 /usr/include/x86_64-linux-gnu/sys/select.h:
 399
 400 /usr/include/x86_64-linux-gnu/bits/select.h:
 401
 402 /usr/include/x86_64-linux-gnu/bits/types/sigset_t.h:
 403
 404 /usr/include/x86_64-linux-gnu/bits/types/__sigset_t.h:
 405
 406 /usr/include/x86_64-linux-gnu/bits/select2.h:
 407
 408 /usr/include/x86_64-linux-gnu/sys/sysmacros.h:
 409
 410 /usr/include/x86_64-linux-gnu/bits/sysmacros.h:
 411
 412 /usr/include/alloca.h:
 413
 414 /usr/include/x86_64-linux-gnu/bits/stdlib-bsearch.h:
 415
 416 /usr/include/x86_64-linux-gnu/bits/stdlib-float.h:
 417
 418 /usr/include/x86_64-linux-gnu/bits/stdlib.h:
 419
 420 /usr/include/c++/7/bits/std_abs.h:
 421
 422 /usr/include/c++/7/cerrno:
 423
 424 /usr/include/errno.h:
 425
 426 /usr/include/x86_64-linux-gnu/bits/errno.h:
 427
 428 /usr/include/linux/errno.h:
 429
 430 /usr/include/x86_64-linux-gnu/asm/errno.h:
 431
 432 /usr/include/asm-generic/errno.h:
 433
 434 /usr/include/asm-generic/errno-base.h:
 435
 436 /usr/include/c++/7/bits/functional_hash.h:
 437
 438 /usr/include/c++/7/bits/basic_string.tcc:
 439
 440 /usr/include/c++/7/bits/locale_classes.tcc:
 441
 442 /usr/include/c++/7/system_error:
 443
 444 /usr/include/x86_64-linux-gnu/c++/7/bits/error_constants.h:
 445
 446 /usr/include/c++/7/stdexcept:
 447
 448 /usr/include/c++/7/streambuf:
 449
 450 /usr/include/c++/7/bits/streambuf.tcc:
 451
 452 /usr/include/c++/7/bits/basic_ios.h:
 453
 454 /usr/include/c++/7/bits/locale_facets.h:
 455
 456 /usr/include/c++/7/cwctype:
 457
 458 /usr/include/wctype.h:
 459
 460 /usr/include/x86_64-linux-gnu/bits/wctype-wchar.h:
 461
 462 /usr/include/x86_64-linux-gnu/c++/7/bits/ctype_base.h:
 463
 464 /usr/include/c++/7/bits/streambuf_iterator.h:
 465
 466 /usr/include/x86_64-linux-gnu/c++/7/bits/ctype_inline.h:
 467
 468 /usr/include/c++/7/bits/locale_facets.tcc:
 469
 470 /usr/include/c++/7/bits/basic_ios.tcc:
 471
 472 /usr/include/c++/7/bits/ostream.tcc:
 473
 474 /usr/include/c++/7/istream:
 475
 476 /usr/include/c++/7/bits/istream.tcc:
 477
 478 src/snark/sart.h:
 479
 480 src/snark/alg.h:
 481
 482 src/snark/blkdta.h:
 483
 484 src/snark/GeometricBehaviour.h:
 485
 486 src/snark/anglst.h:
 487
 488 src/snark/geom.h:
 489
 490 src/snark/pseudo.h:
 491
 492 src/snark/SARTConfig.h: