2021-07-09T09:03:59,238 Created temporary directory: /tmp/pip-ephem-wheel-cache-ow4zhjm2 2021-07-09T09:03:59,240 Created temporary directory: /tmp/pip-req-tracker-g02oiwk_ 2021-07-09T09:03:59,241 Initialized build tracking at /tmp/pip-req-tracker-g02oiwk_ 2021-07-09T09:03:59,241 Created build tracker: /tmp/pip-req-tracker-g02oiwk_ 2021-07-09T09:03:59,241 Entered build tracker: /tmp/pip-req-tracker-g02oiwk_ 2021-07-09T09:03:59,242 Created temporary directory: /tmp/pip-wheel-z_06ibhg 2021-07-09T09:03:59,275 1 location(s) to search for versions of graphillion: 2021-07-09T09:03:59,275 * https://pypi.org/simple/graphillion/ 2021-07-09T09:03:59,275 Fetching project page and analyzing links: https://pypi.org/simple/graphillion/ 2021-07-09T09:03:59,276 Getting page https://pypi.org/simple/graphillion/ 2021-07-09T09:03:59,277 Found index url https://pypi.org/simple 2021-07-09T09:03:59,469 Found link https://files.pythonhosted.org/packages/8e/f1/b145bdc717d7caae7b325c2254594452a1c7ce29a6ba6ae0391fffa318e1/Graphillion-0.9.tar.gz#sha256=6e7322d9449c9a83666b833aca6e0d7719eb47bd57693bd0e3c2da61fbd38d32 (from https://pypi.org/simple/graphillion/), version: 0.9 2021-07-09T09:03:59,469 Found link https://files.pythonhosted.org/packages/9a/f9/8cc4e027c809a7b0591622f23a86b4c1291f20adb4654f2fec082435d109/Graphillion-0.91.tar.gz#sha256=54049195c0fa85deac149d666fb6773784bc106282c06189aab1adee6b1a4622 (from https://pypi.org/simple/graphillion/), version: 0.91 2021-07-09T09:03:59,470 Found link https://files.pythonhosted.org/packages/bd/44/6de72bf3b63e1ec4f0b6faaa5ea9e6c43ed3f6c800a2c136bd58c8250cb4/Graphillion-0.92.tar.gz#sha256=43da6ef180dd48e98e6ff22021ec06ce4ddfd3522959b0608bfac151af201eb3 (from https://pypi.org/simple/graphillion/), version: 0.92 2021-07-09T09:03:59,470 Found link https://files.pythonhosted.org/packages/d3/a1/4d11184a28f428cb141832863788d97b26b694e8ec85df112133dfd0b0d9/Graphillion-0.93.tar.gz#sha256=ad390cd55050a76bc0ad8b28bfbf64a1f5ba299eadb5e53d312c39a264b02a34 (from https://pypi.org/simple/graphillion/), version: 0.93 2021-07-09T09:03:59,470 Found link https://files.pythonhosted.org/packages/18/69/57faf4eb394988974612a4739f29ff778ed106a3ae9986d623b8ec89c1cf/Graphillion-0.94.tar.gz#sha256=42c2e1b0661d6692ed78922c14dd507b5a52b61bf33ce4e1e82c67ca31087868 (from https://pypi.org/simple/graphillion/), version: 0.94 2021-07-09T09:03:59,470 Found link https://files.pythonhosted.org/packages/dc/62/3609666fe6357948502d13fe6f920310e559ffb08f73950cc582018d40be/Graphillion-0.95.tar.gz#sha256=02a201fba1ece31c6f61efd2a3860bccfbb80cc154e972ad5350c58b91dff5f2 (from https://pypi.org/simple/graphillion/), version: 0.95 2021-07-09T09:03:59,471 Found link https://files.pythonhosted.org/packages/c9/19/72af4fd22c0cb3ee84c1be1eed5dad59a002a0c5522e3c0bfad04c4c368a/Graphillion-0.96.tar.gz#sha256=14d4a6125583e7e24fda2880434cf0101904423cf55614e74cec55adefcff1e8 (from https://pypi.org/simple/graphillion/), version: 0.96 2021-07-09T09:03:59,471 Found link https://files.pythonhosted.org/packages/6d/55/cf6247114eb8e92fe2af34715db6305b8092aa001f950e987bce709773ce/Graphillion-0.97.tar.gz#sha256=c0d7d04a420374e45b07c5e1e1370aa41a6c3a9cd09b430c33b9656d5c78697a (from https://pypi.org/simple/graphillion/), version: 0.97 2021-07-09T09:03:59,471 Found link https://files.pythonhosted.org/packages/1b/84/770f9d59447f1b3b23dd0fda0fc0bdb43d15efeed168cd587d030919a543/Graphillion-0.98.tar.gz#sha256=812a50faeb85fe1061fc9609a7234e8829147cf61833660c9c841ac50870b5ee (from https://pypi.org/simple/graphillion/), version: 0.98 2021-07-09T09:03:59,472 Found link https://files.pythonhosted.org/packages/4e/a9/9e37c4917c6dc0773d073354b8262929bd46375fafcc480b99b5335a12c1/Graphillion-0.99.tar.gz#sha256=e635f8c12a94abd4fe13bd99e33a326a661ac7d13198b6fbb11060c117b19ab0 (from https://pypi.org/simple/graphillion/), version: 0.99 2021-07-09T09:03:59,487 Skipping link: none of the wheel's tags (cp27-cp27m-macosx_10_12_intel) are compatible (run pip debug --verbose to show compatible tags): https://files.pythonhosted.org/packages/96/3d/17e5063439ed95cc9cab51c489a82c4839b3121bdec4e0999309bc102092/Graphillion-1.0-cp27-cp27m-macosx_10_12_intel.whl#sha256=1b1e6c696ac4cf4eeacfc2915d14bacd82e02478766848c8a1b5304282266b47 (from https://pypi.org/simple/graphillion/) 2021-07-09T09:03:59,488 Skipping link: none of the wheel's tags (cp27-cp27m-macosx_10_12_x86_64) are compatible (run pip debug --verbose to show compatible tags): https://files.pythonhosted.org/packages/a5/3d/295de1628cf209ca4caeb9ab4b90cd34e22c15cfb6177b8999972c47620b/Graphillion-1.0-cp27-cp27m-macosx_10_12_x86_64.whl#sha256=d7bb5d88605a3fd7a6edc7243ff6ead4d11f0ce014914f27c16997adc255277d (from https://pypi.org/simple/graphillion/) 2021-07-09T09:03:59,488 Skipping link: none of the wheel's tags (cp27-cp27m-win_amd64) are compatible (run pip debug --verbose to show compatible tags): https://files.pythonhosted.org/packages/6b/81/00d5663bbe5b6f5531c17aafbbc5f3698bc637f8719614a040c85497cbb5/Graphillion-1.0-cp27-cp27m-win_amd64.whl#sha256=e7f14d0844697a685668a9140ea752cbd0b8ae7c90930e9a10112d6348b9ac10 (from https://pypi.org/simple/graphillion/) 2021-07-09T09:03:59,489 Skipping link: none of the wheel's tags (cp35-cp35m-win_amd64) are compatible (run pip debug --verbose to show compatible tags): https://files.pythonhosted.org/packages/a4/ec/45899f1f05b725f6dda8fd412d99a2a7cb15a228f776c4ce63544cf4b7f4/Graphillion-1.0-cp35-cp35m-win_amd64.whl#sha256=c4bf6552119084efb83b13524dfbe3b25c59a9a230b448123eabf2e5f4b3773b (from https://pypi.org/simple/graphillion/) 2021-07-09T09:03:59,489 Skipping link: none of the wheel's tags (cp36-cp36m-macosx_10_12_x86_64) are compatible (run pip debug --verbose to show compatible tags): https://files.pythonhosted.org/packages/85/87/79dcd2f97a0142a01c13d90483b4b808aa36abaeda4ece4d2d154450e0ed/Graphillion-1.0-cp36-cp36m-macosx_10_12_x86_64.whl#sha256=282e8e0c07640a7d4d28f189ede5d32aabefdce6c4eab2014d8ba1f8fce3b2b8 (from https://pypi.org/simple/graphillion/) 2021-07-09T09:03:59,490 Skipping link: none of the wheel's tags (cp36-cp36m-win_amd64) are compatible (run pip debug --verbose to show compatible tags): https://files.pythonhosted.org/packages/0f/7e/32bec25f3071a313ff4eb36cf7e8ecf93e8e0849e4943e209f7921516434/Graphillion-1.0-cp36-cp36m-win_amd64.whl#sha256=3fbcb149d4fd5cb70c1a52413b2aba6c148fd53f715e4f8c5fcdea490735f566 (from https://pypi.org/simple/graphillion/) 2021-07-09T09:03:59,490 Found link https://files.pythonhosted.org/packages/76/ab/77518f27708fab656aef822a9d808bbf21c650cb14b0d716c6e9cb31c9af/Graphillion-1.0.tar.gz#sha256=e8c3581221f816162a648c907da0698a1958e75eefd2c4b7c0861ee5ec88d819 (from https://pypi.org/simple/graphillion/), version: 1.0 2021-07-09T09:03:59,491 Skipping link: none of the wheel's tags (cp27-cp27m-macosx_10_13_x86_64) are compatible (run pip debug --verbose to show compatible tags): https://files.pythonhosted.org/packages/d7/51/6097640dab167cfca3b58800a5c2f90cc7571c754e8401583999e7e5b24f/Graphillion-1.2-cp27-cp27m-macosx_10_13_x86_64.whl#sha256=4c5445e53cff56322377516b5c522904384959a9a1387b5dd19bc519757f46cd (from https://pypi.org/simple/graphillion/) 2021-07-09T09:03:59,491 Skipping link: none of the wheel's tags (cp36-cp36m-macosx_10_13_x86_64) are compatible (run pip debug --verbose to show compatible tags): https://files.pythonhosted.org/packages/32/93/fef05c315ce7550ee7e07041c10d28a7541dbfd045c9d448448ff76a04e6/Graphillion-1.2-cp36-cp36m-macosx_10_13_x86_64.whl#sha256=b66bb74f20c1b6f58213c5c6e084e23d77ea7711ee7faf0c4bf9ab118c166a50 (from https://pypi.org/simple/graphillion/) 2021-07-09T09:03:59,491 Found link https://files.pythonhosted.org/packages/f0/c8/37a05ae2edad19ca0fa404ec01431f6e55291ede03afaad04cd92e51e781/Graphillion-1.2.tar.gz#sha256=79c725cb05a9ac35b38d3dac43cca1e552e6e9b285bd3003386448e57c235cb2 (from https://pypi.org/simple/graphillion/), version: 1.2 2021-07-09T09:03:59,492 Skipping link: none of the wheel's tags (cp27-cp27m-macosx_10_12_x86_64) are compatible (run pip debug --verbose to show compatible tags): https://files.pythonhosted.org/packages/bd/08/fc925c5708116957712f35176edc3aae549968800b1a44116a86d84478c5/Graphillion-1.3-cp27-cp27m-macosx_10_12_x86_64.whl#sha256=d34f1bab5afaeee8ea5c1b3ce4ee7b3cd93b48562229915f958bc9e38bc4cde3 (from https://pypi.org/simple/graphillion/) 2021-07-09T09:03:59,492 Skipping link: none of the wheel's tags (cp36-cp36m-macosx_10_12_x86_64) are compatible (run pip debug --verbose to show compatible tags): https://files.pythonhosted.org/packages/11/07/c3ec71df1b98c729263a85cd56c1f1a89ced14b30f091186323dd6caa446/Graphillion-1.3-cp36-cp36m-macosx_10_12_x86_64.whl#sha256=bc6a1ce757f139658a3237698cf69ee57f942c76d88a48e495758c1110667ef9 (from https://pypi.org/simple/graphillion/) 2021-07-09T09:03:59,493 Found link https://files.pythonhosted.org/packages/3d/5b/5104de075566e8e5c3588a017f988dcb00ef53558bb603c5acc7630558a5/Graphillion-1.3.tar.gz#sha256=fbb370ac1dfe871d03073db94e22fdc97f6d13a16e3dbbdddb8e144c4e559c30 (from https://pypi.org/simple/graphillion/), version: 1.3 2021-07-09T09:03:59,493 Skipping link: none of the wheel's tags (cp38-cp38-macosx_10_15_x86_64) are compatible (run pip debug --verbose to show compatible tags): https://files.pythonhosted.org/packages/29/61/6e2706a1b2f9db31d61581367140b70d337a55a3afa7fe582f1d8b263ba2/Graphillion-1.4-cp38-cp38-macosx_10_15_x86_64.whl#sha256=015c7d9ef308b1aee00f774a7914263c1dd5aef02e744fd6941196288d1f5d1e (from https://pypi.org/simple/graphillion/) 2021-07-09T09:03:59,493 Found link https://files.pythonhosted.org/packages/8c/6a/80976fce3e952ee42658895fbc4bb755f1d772159c1d871c467efb6447f4/Graphillion-1.4.tar.gz#sha256=3fac5b4fe0d3d71c8d898e3d1a58166b806102d2b5ede9471b713536879ecdd5 (from https://pypi.org/simple/graphillion/), version: 1.4 2021-07-09T09:03:59,494 Skipping link: not a file: https://pypi.org/simple/graphillion/ 2021-07-09T09:03:59,496 Given no hashes to check 1 links for project 'graphillion': discarding no candidates 2021-07-09T09:03:59,514 Collecting graphillion==0.9 2021-07-09T09:03:59,516 Created temporary directory: /tmp/pip-unpack-wcdi_8hf 2021-07-09T09:03:59,559 Downloading Graphillion-0.9.tar.gz (1.0 MB) 2021-07-09T09:03:59,902 Added graphillion==0.9 from https://files.pythonhosted.org/packages/8e/f1/b145bdc717d7caae7b325c2254594452a1c7ce29a6ba6ae0391fffa318e1/Graphillion-0.9.tar.gz#sha256=6e7322d9449c9a83666b833aca6e0d7719eb47bd57693bd0e3c2da61fbd38d32 to build tracker '/tmp/pip-req-tracker-g02oiwk_' 2021-07-09T09:03:59,903 Running setup.py (path:/tmp/pip-wheel-z_06ibhg/graphillion_8b1de364598440b18a54425c22a53250/setup.py) egg_info for package graphillion 2021-07-09T09:03:59,904 Created temporary directory: /tmp/pip-pip-egg-info-1fpvqeaf 2021-07-09T09:03:59,904 Running command python setup.py egg_info 2021-07-09T09:04:00,682 running egg_info 2021-07-09T09:04:00,684 creating /tmp/pip-pip-egg-info-1fpvqeaf/Graphillion.egg-info 2021-07-09T09:04:00,685 writing /tmp/pip-pip-egg-info-1fpvqeaf/Graphillion.egg-info/PKG-INFO 2021-07-09T09:04:00,687 writing dependency_links to /tmp/pip-pip-egg-info-1fpvqeaf/Graphillion.egg-info/dependency_links.txt 2021-07-09T09:04:00,690 writing top-level names to /tmp/pip-pip-egg-info-1fpvqeaf/Graphillion.egg-info/top_level.txt 2021-07-09T09:04:00,691 writing manifest file '/tmp/pip-pip-egg-info-1fpvqeaf/Graphillion.egg-info/SOURCES.txt' 2021-07-09T09:04:01,010 reading manifest file '/tmp/pip-pip-egg-info-1fpvqeaf/Graphillion.egg-info/SOURCES.txt' 2021-07-09T09:04:01,012 reading manifest template 'MANIFEST.in' 2021-07-09T09:04:01,020 writing manifest file '/tmp/pip-pip-egg-info-1fpvqeaf/Graphillion.egg-info/SOURCES.txt' 2021-07-09T09:04:01,095 Source in /tmp/pip-wheel-z_06ibhg/graphillion_8b1de364598440b18a54425c22a53250 has version 0.9, which satisfies requirement graphillion==0.9 from https://files.pythonhosted.org/packages/8e/f1/b145bdc717d7caae7b325c2254594452a1c7ce29a6ba6ae0391fffa318e1/Graphillion-0.9.tar.gz#sha256=6e7322d9449c9a83666b833aca6e0d7719eb47bd57693bd0e3c2da61fbd38d32 2021-07-09T09:04:01,096 Removed graphillion==0.9 from https://files.pythonhosted.org/packages/8e/f1/b145bdc717d7caae7b325c2254594452a1c7ce29a6ba6ae0391fffa318e1/Graphillion-0.9.tar.gz#sha256=6e7322d9449c9a83666b833aca6e0d7719eb47bd57693bd0e3c2da61fbd38d32 from build tracker '/tmp/pip-req-tracker-g02oiwk_' 2021-07-09T09:04:01,101 Created temporary directory: /tmp/pip-unpack-m1cxgifm 2021-07-09T09:04:01,101 Building wheels for collected packages: graphillion 2021-07-09T09:04:01,105 Created temporary directory: /tmp/pip-wheel-_vmzlc4d 2021-07-09T09:04:01,105 Building wheel for graphillion (setup.py): started 2021-07-09T09:04:01,106 Destination directory: /tmp/pip-wheel-_vmzlc4d 2021-07-09T09:04:01,106 Running command /usr/bin/python3 -u -c 'import io, os, sys, setuptools, tokenize; sys.argv[0] = '"'"'/tmp/pip-wheel-z_06ibhg/graphillion_8b1de364598440b18a54425c22a53250/setup.py'"'"'; __file__='"'"'/tmp/pip-wheel-z_06ibhg/graphillion_8b1de364598440b18a54425c22a53250/setup.py'"'"';f = getattr(tokenize, '"'"'open'"'"', open)(__file__) if os.path.exists(__file__) else io.StringIO('"'"'from setuptools import setup; setup()'"'"');code = f.read().replace('"'"'\r\n'"'"', '"'"'\n'"'"');f.close();exec(compile(code, __file__, '"'"'exec'"'"'))' bdist_wheel -d /tmp/pip-wheel-_vmzlc4d 2021-07-09T09:04:01,936 running bdist_wheel 2021-07-09T09:04:02,090 running build 2021-07-09T09:04:02,090 running build_py 2021-07-09T09:04:02,229 creating build 2021-07-09T09:04:02,230 creating build/lib.linux-armv7l-3.9 2021-07-09T09:04:02,230 creating build/lib.linux-armv7l-3.9/graphillion 2021-07-09T09:04:02,232 copying graphillion/graphset.py -> build/lib.linux-armv7l-3.9/graphillion 2021-07-09T09:04:02,236 copying graphillion/tutorial.py -> build/lib.linux-armv7l-3.9/graphillion 2021-07-09T09:04:02,238 copying graphillion/setset.py -> build/lib.linux-armv7l-3.9/graphillion 2021-07-09T09:04:02,240 copying graphillion/__init__.py -> build/lib.linux-armv7l-3.9/graphillion 2021-07-09T09:04:02,242 copying graphillion/release.py -> build/lib.linux-armv7l-3.9/graphillion 2021-07-09T09:04:02,244 running build_ext 2021-07-09T09:04:02,249 building '_graphillion' extension 2021-07-09T09:04:02,250 creating build/temp.linux-armv7l-3.9 2021-07-09T09:04:02,250 creating build/temp.linux-armv7l-3.9/src 2021-07-09T09:04:02,251 creating build/temp.linux-armv7l-3.9/src/SAPPOROBDD 2021-07-09T09:04:02,252 creating build/temp.linux-armv7l-3.9/src/graphillion 2021-07-09T09:04:02,252 arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -g -fwrapv -O2 -g -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -DHAVE_LIBGMP -DHAVE_LIBGMPXX -Isrc -I/usr/include -I/usr/include/python3.9 -c src/SAPPOROBDD/BDD.cc -o build/temp.linux-armv7l-3.9/src/SAPPOROBDD/BDD.o 2021-07-09T09:04:06,339 arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -g -fwrapv -O2 -g -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -DHAVE_LIBGMP -DHAVE_LIBGMPXX -Isrc -I/usr/include -I/usr/include/python3.9 -c src/SAPPOROBDD/ZBDD.cc -o build/temp.linux-armv7l-3.9/src/SAPPOROBDD/ZBDD.o 2021-07-09T09:04:12,394 arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -g -fwrapv -O2 -g -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -DHAVE_LIBGMP -DHAVE_LIBGMPXX -Isrc -I/usr/include -I/usr/include/python3.9 -c src/SAPPOROBDD/bddc.c -o build/temp.linux-armv7l-3.9/src/SAPPOROBDD/bddc.o 2021-07-09T09:04:12,612 src/SAPPOROBDD/bddc.c: In function ‘import’: 2021-07-09T09:04:12,614 src/SAPPOROBDD/bddc.c:2586:11: warning: comparison of integer expressions of different signedness: ‘int’ and ‘bddvar’ {aka ‘unsigned int’} [-Wsign-compare] 2021-07-09T09:04:12,614 2586 | while(n > bddvarused()) bddnewvar(); 2021-07-09T09:04:12,614 | ^ 2021-07-09T09:04:16,445 arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -g -fwrapv -O2 -g -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -DHAVE_LIBGMP -DHAVE_LIBGMPXX -Isrc -I/usr/include -I/usr/include/python3.9 -c src/graphillion/graphset.cc -o build/temp.linux-armv7l-3.9/src/graphillion/graphset.o 2021-07-09T09:04:19,827 In file included from src/subsetting/dd/DdNodeTable.hpp:18, 2021-07-09T09:04:19,827 from src/subsetting/dd/DdBuilder.hpp:20, 2021-07-09T09:04:19,827 from src/subsetting/dd/ZddStructure.hpp:14, 2021-07-09T09:04:19,828 from src/graphillion/graphset.cc:32: 2021-07-09T09:04:19,828 src/subsetting/dd/../util/MyVector.hpp: In instantiation of ‘void MyVector::shrink(size_t) [with T = MyVector; size_t = unsigned int]’: 2021-07-09T09:04:19,828 src/subsetting/dd/../util/MyVector.hpp:188:9: required from ‘void MyVector::clear() [with T = MyVector]’ 2021-07-09T09:04:19,828 src/subsetting/dd/DdNodeTable.hpp:50:32: required from here 2021-07-09T09:04:19,828 src/subsetting/dd/../util/MyVector.hpp:177:20: warning: ‘void* memcpy(void*, const void*, size_t)’ writing to an object of type ‘class MyVector’ with no trivial copy-assignment; use copy-assignment or copy-initialization instead [-Wclass-memaccess] 2021-07-09T09:04:19,828 177 | std::memcpy(tmp, array_, size_ * sizeof(T)); 2021-07-09T09:04:19,829 | ~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-09T09:04:19,829 src/subsetting/dd/../util/MyVector.hpp:14:7: note: ‘class MyVector’ declared here 2021-07-09T09:04:19,829 14 | class MyVector { 2021-07-09T09:04:19,829 | ^~~~~~~~ 2021-07-09T09:04:20,447 src/subsetting/dd/../util/MyVector.hpp: In instantiation of ‘void MyVector::shrink(size_t) [with T = MyList; size_t = unsigned int]’: 2021-07-09T09:04:20,447 src/subsetting/dd/../util/MyVector.hpp:188:9: required from ‘void MyVector::clear() [with T = MyList]’ 2021-07-09T09:04:20,447 src/subsetting/dd/../util/MyVector.hpp:87:9: required from ‘MyVector::~MyVector() [with T = MyList]’ 2021-07-09T09:04:20,447 src/subsetting/dd/DdBuilder.hpp:79:7: required from ‘void ZddStructure::construct_(SPEC&) [with SPEC = SapporoZdd]’ 2021-07-09T09:04:20,448 src/subsetting/dd/ZddStructure.hpp:68:19: required from ‘ZddStructure::ZddStructure(DdSpec&, bool) [with SPEC = SapporoZdd]’ 2021-07-09T09:04:20,448 src/graphillion/graphset.cc:90:28: required from here 2021-07-09T09:04:20,448 src/subsetting/dd/../util/MyVector.hpp:177:20: warning: ‘void* memcpy(void*, const void*, size_t)’ writing to an object of type ‘class MyList’ with no trivial copy-assignment; use copy-assignment or copy-initialization instead [-Wclass-memaccess] 2021-07-09T09:04:20,448 177 | std::memcpy(tmp, array_, size_ * sizeof(T)); 2021-07-09T09:04:20,448 | ~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-09T09:04:20,448 In file included from src/subsetting/dd/DdBuilder.hpp:23, 2021-07-09T09:04:20,448 from src/subsetting/dd/ZddStructure.hpp:14, 2021-07-09T09:04:20,449 from src/graphillion/graphset.cc:32: 2021-07-09T09:04:20,449 src/subsetting/dd/../util/MyList.hpp:15:7: note: ‘class MyList’ declared here 2021-07-09T09:04:20,449 15 | class MyList { 2021-07-09T09:04:20,449 | ^~~~~~ 2021-07-09T09:04:35,575 arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -g -fwrapv -O2 -g -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -DHAVE_LIBGMP -DHAVE_LIBGMPXX -Isrc -I/usr/include -I/usr/include/python3.9 -c src/graphillion/setset.cc -o build/temp.linux-armv7l-3.9/src/graphillion/setset.o 2021-07-09T09:04:40,705 In file included from /usr/include/c++/10/vector:72, 2021-07-09T09:04:40,705 from src/graphillion/setset.h:34, 2021-07-09T09:04:40,705 from src/graphillion/setset.cc:25: 2021-07-09T09:04:40,705 /usr/include/c++/10/bits/vector.tcc: In member function ‘void std::vector<_Tp, _Alloc>::_M_realloc_insert(std::vector<_Tp, _Alloc>::iterator, _Args&& ...) [with _Args = {double}; _Tp = double; _Alloc = std::allocator]’: 2021-07-09T09:04:40,705 /usr/include/c++/10/bits/vector.tcc:426:7: note: parameter passing for argument of type ‘std::vector::iterator’ changed in GCC 7.1 2021-07-09T09:04:40,706 426 | vector<_Tp, _Alloc>:: 2021-07-09T09:04:40,706 | ^~~~~~~~~~~~~~~~~~~ 2021-07-09T09:04:41,191 /usr/include/c++/10/bits/vector.tcc: In member function ‘graphillion::setset::weighted_iterator graphillion::setset::begin_from_min(const std::vector&) const’: 2021-07-09T09:04:41,191 /usr/include/c++/10/bits/vector.tcc:121:21: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2021-07-09T09:04:41,191 121 | _M_realloc_insert(end(), std::forward<_Args>(__args)...); 2021-07-09T09:04:41,191 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-09T09:04:42,051 arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -g -fwrapv -O2 -g -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -DHAVE_LIBGMP -DHAVE_LIBGMPXX -Isrc -I/usr/include -I/usr/include/python3.9 -c src/graphillion/util.cc -o build/temp.linux-armv7l-3.9/src/graphillion/util.o 2021-07-09T09:04:44,493 arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -g -fwrapv -O2 -g -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -DHAVE_LIBGMP -DHAVE_LIBGMPXX -Isrc -I/usr/include -I/usr/include/python3.9 -c src/graphillion/zdd.cc -o build/temp.linux-armv7l-3.9/src/graphillion/zdd.o 2021-07-09T09:04:46,493 src/graphillion/zdd.cc: In function ‘void graphillion::_enum(graphillion::zdd_t, std::ostream&, const std::pair&, const std::pair&)’: 2021-07-09T09:04:46,493 src/graphillion/zdd.cc:473:11: error: no match for ‘operator==’ (operand types are ‘std::ostream’ {aka ‘std::basic_ostream’} and ‘std::ostream’ {aka ‘std::basic_ostream’}) 2021-07-09T09:04:46,493 473 | if (out == std::cout || out == std::cerr) 2021-07-09T09:04:46,493 | ~~~ ^~ ~~~~~~~~~ 2021-07-09T09:04:46,494 | | | 2021-07-09T09:04:46,494 | | basic_ostream<[...]> 2021-07-09T09:04:46,494 | basic_ostream<[...]> 2021-07-09T09:04:46,494 src/graphillion/zdd.cc:473:11: note: candidate: ‘operator==(int, int)’ (built-in) 2021-07-09T09:04:46,494 473 | if (out == std::cout || out == std::cerr) 2021-07-09T09:04:46,494 | ~~~~^~~~~~~~~~~~ 2021-07-09T09:04:46,494 src/graphillion/zdd.cc:473:11: note: no known conversion for argument 2 from ‘std::ostream’ {aka ‘std::basic_ostream’} to ‘int’ 2021-07-09T09:04:46,495 In file included from src/graphillion/type.h:31, 2021-07-09T09:04:46,495 from src/graphillion/zdd.h:33, 2021-07-09T09:04:46,495 from src/graphillion/zdd.cc:25: 2021-07-09T09:04:46,495 /usr/include/gmpxx.h:3330:1: note: candidate: ‘template bool operator==(const __gmp_expr&, const __gmp_expr&)’ 2021-07-09T09:04:46,495 3330 | __GMP_DEFINE_BINARY_TYPE_FUNCTION(bool, operator==, __gmp_binary_equal) 2021-07-09T09:04:46,495 | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-09T09:04:46,495 /usr/include/gmpxx.h:3330:1: note: template argument deduction/substitution failed: 2021-07-09T09:04:46,495 src/graphillion/zdd.cc:473:19: note: ‘std::ostream’ {aka ‘std::basic_ostream’} is not derived from ‘const __gmp_expr’ 2021-07-09T09:04:46,496 473 | if (out == std::cout || out == std::cerr) 2021-07-09T09:04:46,496 | ^~~~ 2021-07-09T09:04:46,496 In file included from src/graphillion/type.h:31, 2021-07-09T09:04:46,496 from src/graphillion/zdd.h:33, 2021-07-09T09:04:46,496 from src/graphillion/zdd.cc:25: 2021-07-09T09:04:46,496 /usr/include/gmpxx.h:3330:1: note: candidate: ‘template bool operator==(const __gmp_expr&, signed char)’ 2021-07-09T09:04:46,496 3330 | __GMP_DEFINE_BINARY_TYPE_FUNCTION(bool, operator==, __gmp_binary_equal) 2021-07-09T09:04:46,496 | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-09T09:04:46,497 /usr/include/gmpxx.h:3330:1: note: template argument deduction/substitution failed: 2021-07-09T09:04:46,497 src/graphillion/zdd.cc:473:19: note: ‘std::ostream’ {aka ‘std::basic_ostream’} is not derived from ‘const __gmp_expr’ 2021-07-09T09:04:46,497 473 | if (out == std::cout || out == std::cerr) 2021-07-09T09:04:46,497 | ^~~~ 2021-07-09T09:04:46,497 In file included from src/graphillion/type.h:31, 2021-07-09T09:04:46,497 from src/graphillion/zdd.h:33, 2021-07-09T09:04:46,497 from src/graphillion/zdd.cc:25: 2021-07-09T09:04:46,498 /usr/include/gmpxx.h:3330:1: note: candidate: ‘template bool operator==(signed char, const __gmp_expr&)’ 2021-07-09T09:04:46,498 3330 | __GMP_DEFINE_BINARY_TYPE_FUNCTION(bool, operator==, __gmp_binary_equal) 2021-07-09T09:04:46,498 | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-09T09:04:46,498 /usr/include/gmpxx.h:3330:1: note: template argument deduction/substitution failed: 2021-07-09T09:04:46,498 src/graphillion/zdd.cc:473:19: note: ‘std::ostream’ {aka ‘std::basic_ostream’} is not derived from ‘const __gmp_expr’ 2021-07-09T09:04:46,498 473 | if (out == std::cout || out == std::cerr) 2021-07-09T09:04:46,498 | ^~~~ 2021-07-09T09:04:46,498 In file included from src/graphillion/type.h:31, 2021-07-09T09:04:46,499 from src/graphillion/zdd.h:33, 2021-07-09T09:04:46,499 from src/graphillion/zdd.cc:25: 2021-07-09T09:04:46,499 /usr/include/gmpxx.h:3330:1: note: candidate: ‘template bool operator==(const __gmp_expr&, unsigned char)’ 2021-07-09T09:04:46,499 3330 | __GMP_DEFINE_BINARY_TYPE_FUNCTION(bool, operator==, __gmp_binary_equal) 2021-07-09T09:04:46,499 | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-09T09:04:46,499 /usr/include/gmpxx.h:3330:1: note: template argument deduction/substitution failed: 2021-07-09T09:04:46,499 src/graphillion/zdd.cc:473:19: note: ‘std::ostream’ {aka ‘std::basic_ostream’} is not derived from ‘const __gmp_expr’ 2021-07-09T09:04:46,499 473 | if (out == std::cout || out == std::cerr) 2021-07-09T09:04:46,500 | ^~~~ 2021-07-09T09:04:46,500 In file included from src/graphillion/type.h:31, 2021-07-09T09:04:46,500 from src/graphillion/zdd.h:33, 2021-07-09T09:04:46,500 from src/graphillion/zdd.cc:25: 2021-07-09T09:04:46,500 /usr/include/gmpxx.h:3330:1: note: candidate: ‘template bool operator==(unsigned char, const __gmp_expr&)’ 2021-07-09T09:04:46,500 3330 | __GMP_DEFINE_BINARY_TYPE_FUNCTION(bool, operator==, __gmp_binary_equal) 2021-07-09T09:04:46,500 | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-09T09:04:46,501 /usr/include/gmpxx.h:3330:1: note: template argument deduction/substitution failed: 2021-07-09T09:04:46,501 src/graphillion/zdd.cc:473:19: note: ‘std::ostream’ {aka ‘std::basic_ostream’} is not derived from ‘const __gmp_expr’ 2021-07-09T09:04:46,501 473 | if (out == std::cout || out == std::cerr) 2021-07-09T09:04:46,501 | ^~~~ 2021-07-09T09:04:46,501 In file included from src/graphillion/type.h:31, 2021-07-09T09:04:46,501 from src/graphillion/zdd.h:33, 2021-07-09T09:04:46,501 from src/graphillion/zdd.cc:25: 2021-07-09T09:04:46,501 /usr/include/gmpxx.h:3330:1: note: candidate: ‘template bool operator==(const __gmp_expr&, int)’ 2021-07-09T09:04:46,501 3330 | __GMP_DEFINE_BINARY_TYPE_FUNCTION(bool, operator==, __gmp_binary_equal) 2021-07-09T09:04:46,502 | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-09T09:04:46,502 /usr/include/gmpxx.h:3330:1: note: template argument deduction/substitution failed: 2021-07-09T09:04:46,502 src/graphillion/zdd.cc:473:19: note: ‘std::ostream’ {aka ‘std::basic_ostream’} is not derived from ‘const __gmp_expr’ 2021-07-09T09:04:46,502 473 | if (out == std::cout || out == std::cerr) 2021-07-09T09:04:46,502 | ^~~~ 2021-07-09T09:04:46,502 In file included from src/graphillion/type.h:31, 2021-07-09T09:04:46,502 from src/graphillion/zdd.h:33, 2021-07-09T09:04:46,502 from src/graphillion/zdd.cc:25: 2021-07-09T09:04:46,502 /usr/include/gmpxx.h:3330:1: note: candidate: ‘template bool operator==(int, const __gmp_expr&)’ 2021-07-09T09:04:46,503 3330 | __GMP_DEFINE_BINARY_TYPE_FUNCTION(bool, operator==, __gmp_binary_equal) 2021-07-09T09:04:46,503 | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-09T09:04:46,503 /usr/include/gmpxx.h:3330:1: note: template argument deduction/substitution failed: 2021-07-09T09:04:46,503 src/graphillion/zdd.cc:473:19: note: ‘std::ostream’ {aka ‘std::basic_ostream’} is not derived from ‘const __gmp_expr’ 2021-07-09T09:04:46,503 473 | if (out == std::cout || out == std::cerr) 2021-07-09T09:04:46,503 | ^~~~ 2021-07-09T09:04:46,503 In file included from src/graphillion/type.h:31, 2021-07-09T09:04:46,504 from src/graphillion/zdd.h:33, 2021-07-09T09:04:46,504 from src/graphillion/zdd.cc:25: 2021-07-09T09:04:46,504 /usr/include/gmpxx.h:3330:1: note: candidate: ‘template bool operator==(const __gmp_expr&, unsigned int)’ 2021-07-09T09:04:46,504 3330 | __GMP_DEFINE_BINARY_TYPE_FUNCTION(bool, operator==, __gmp_binary_equal) 2021-07-09T09:04:46,504 | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-09T09:04:46,504 /usr/include/gmpxx.h:3330:1: note: template argument deduction/substitution failed: 2021-07-09T09:04:46,504 src/graphillion/zdd.cc:473:19: note: ‘std::ostream’ {aka ‘std::basic_ostream’} is not derived from ‘const __gmp_expr’ 2021-07-09T09:04:46,505 473 | if (out == std::cout || out == std::cerr) 2021-07-09T09:04:46,505 | ^~~~ 2021-07-09T09:04:46,505 In file included from src/graphillion/type.h:31, 2021-07-09T09:04:46,505 from src/graphillion/zdd.h:33, 2021-07-09T09:04:46,505 from src/graphillion/zdd.cc:25: 2021-07-09T09:04:46,505 /usr/include/gmpxx.h:3330:1: note: candidate: ‘template bool operator==(unsigned int, const __gmp_expr&)’ 2021-07-09T09:04:46,505 3330 | __GMP_DEFINE_BINARY_TYPE_FUNCTION(bool, operator==, __gmp_binary_equal) 2021-07-09T09:04:46,505 | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-09T09:04:46,506 /usr/include/gmpxx.h:3330:1: note: template argument deduction/substitution failed: 2021-07-09T09:04:46,506 src/graphillion/zdd.cc:473:19: note: ‘std::ostream’ {aka ‘std::basic_ostream’} is not derived from ‘const __gmp_expr’ 2021-07-09T09:04:46,506 473 | if (out == std::cout || out == std::cerr) 2021-07-09T09:04:46,506 | ^~~~ 2021-07-09T09:04:46,506 In file included from src/graphillion/type.h:31, 2021-07-09T09:04:46,506 from src/graphillion/zdd.h:33, 2021-07-09T09:04:46,506 from src/graphillion/zdd.cc:25: 2021-07-09T09:04:46,506 /usr/include/gmpxx.h:3330:1: note: candidate: ‘template bool operator==(const __gmp_expr&, short int)’ 2021-07-09T09:04:46,507 3330 | __GMP_DEFINE_BINARY_TYPE_FUNCTION(bool, operator==, __gmp_binary_equal) 2021-07-09T09:04:46,507 | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-09T09:04:46,507 /usr/include/gmpxx.h:3330:1: note: template argument deduction/substitution failed: 2021-07-09T09:04:46,507 src/graphillion/zdd.cc:473:19: note: ‘std::ostream’ {aka ‘std::basic_ostream’} is not derived from ‘const __gmp_expr’ 2021-07-09T09:04:46,507 473 | if (out == std::cout || out == std::cerr) 2021-07-09T09:04:46,507 | ^~~~ 2021-07-09T09:04:46,507 In file included from src/graphillion/type.h:31, 2021-07-09T09:04:46,507 from src/graphillion/zdd.h:33, 2021-07-09T09:04:46,507 from src/graphillion/zdd.cc:25: 2021-07-09T09:04:46,508 /usr/include/gmpxx.h:3330:1: note: candidate: ‘template bool operator==(short int, const __gmp_expr&)’ 2021-07-09T09:04:46,508 3330 | __GMP_DEFINE_BINARY_TYPE_FUNCTION(bool, operator==, __gmp_binary_equal) 2021-07-09T09:04:46,508 | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-09T09:04:46,508 /usr/include/gmpxx.h:3330:1: note: template argument deduction/substitution failed: 2021-07-09T09:04:46,508 src/graphillion/zdd.cc:473:19: note: ‘std::ostream’ {aka ‘std::basic_ostream’} is not derived from ‘const __gmp_expr’ 2021-07-09T09:04:46,508 473 | if (out == std::cout || out == std::cerr) 2021-07-09T09:04:46,508 | ^~~~ 2021-07-09T09:04:46,509 In file included from src/graphillion/type.h:31, 2021-07-09T09:04:46,509 from src/graphillion/zdd.h:33, 2021-07-09T09:04:46,509 from src/graphillion/zdd.cc:25: 2021-07-09T09:04:46,509 /usr/include/gmpxx.h:3330:1: note: candidate: ‘template bool operator==(const __gmp_expr&, short unsigned int)’ 2021-07-09T09:04:46,509 3330 | __GMP_DEFINE_BINARY_TYPE_FUNCTION(bool, operator==, __gmp_binary_equal) 2021-07-09T09:04:46,509 | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-09T09:04:46,509 /usr/include/gmpxx.h:3330:1: note: template argument deduction/substitution failed: 2021-07-09T09:04:46,509 src/graphillion/zdd.cc:473:19: note: ‘std::ostream’ {aka ‘std::basic_ostream’} is not derived from ‘const __gmp_expr’ 2021-07-09T09:04:46,510 473 | if (out == std::cout || out == std::cerr) 2021-07-09T09:04:46,510 | ^~~~ 2021-07-09T09:04:46,510 In file included from src/graphillion/type.h:31, 2021-07-09T09:04:46,510 from src/graphillion/zdd.h:33, 2021-07-09T09:04:46,510 from src/graphillion/zdd.cc:25: 2021-07-09T09:04:46,510 /usr/include/gmpxx.h:3330:1: note: candidate: ‘template bool operator==(short unsigned int, const __gmp_expr&)’ 2021-07-09T09:04:46,510 3330 | __GMP_DEFINE_BINARY_TYPE_FUNCTION(bool, operator==, __gmp_binary_equal) 2021-07-09T09:04:46,510 | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-09T09:04:46,510 /usr/include/gmpxx.h:3330:1: note: template argument deduction/substitution failed: 2021-07-09T09:04:46,511 src/graphillion/zdd.cc:473:19: note: ‘std::ostream’ {aka ‘std::basic_ostream’} is not derived from ‘const __gmp_expr’ 2021-07-09T09:04:46,511 473 | if (out == std::cout || out == std::cerr) 2021-07-09T09:04:46,511 | ^~~~ 2021-07-09T09:04:46,511 In file included from src/graphillion/type.h:31, 2021-07-09T09:04:46,511 from src/graphillion/zdd.h:33, 2021-07-09T09:04:46,511 from src/graphillion/zdd.cc:25: 2021-07-09T09:04:46,511 /usr/include/gmpxx.h:3330:1: note: candidate: ‘template bool operator==(const __gmp_expr&, long int)’ 2021-07-09T09:04:46,511 3330 | __GMP_DEFINE_BINARY_TYPE_FUNCTION(bool, operator==, __gmp_binary_equal) 2021-07-09T09:04:46,512 | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-09T09:04:46,512 /usr/include/gmpxx.h:3330:1: note: template argument deduction/substitution failed: 2021-07-09T09:04:46,512 src/graphillion/zdd.cc:473:19: note: ‘std::ostream’ {aka ‘std::basic_ostream’} is not derived from ‘const __gmp_expr’ 2021-07-09T09:04:46,512 473 | if (out == std::cout || out == std::cerr) 2021-07-09T09:04:46,512 | ^~~~ 2021-07-09T09:04:46,512 In file included from src/graphillion/type.h:31, 2021-07-09T09:04:46,512 from src/graphillion/zdd.h:33, 2021-07-09T09:04:46,512 from src/graphillion/zdd.cc:25: 2021-07-09T09:04:46,513 /usr/include/gmpxx.h:3330:1: note: candidate: ‘template bool operator==(long int, const __gmp_expr&)’ 2021-07-09T09:04:46,513 3330 | __GMP_DEFINE_BINARY_TYPE_FUNCTION(bool, operator==, __gmp_binary_equal) 2021-07-09T09:04:46,513 | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-09T09:04:46,513 /usr/include/gmpxx.h:3330:1: note: template argument deduction/substitution failed: 2021-07-09T09:04:46,513 src/graphillion/zdd.cc:473:19: note: ‘std::ostream’ {aka ‘std::basic_ostream’} is not derived from ‘const __gmp_expr’ 2021-07-09T09:04:46,513 473 | if (out == std::cout || out == std::cerr) 2021-07-09T09:04:46,513 | ^~~~ 2021-07-09T09:04:46,513 In file included from src/graphillion/type.h:31, 2021-07-09T09:04:46,514 from src/graphillion/zdd.h:33, 2021-07-09T09:04:46,514 from src/graphillion/zdd.cc:25: 2021-07-09T09:04:46,514 /usr/include/gmpxx.h:3330:1: note: candidate: ‘template bool operator==(const __gmp_expr&, long unsigned int)’ 2021-07-09T09:04:46,514 3330 | __GMP_DEFINE_BINARY_TYPE_FUNCTION(bool, operator==, __gmp_binary_equal) 2021-07-09T09:04:46,514 | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-09T09:04:46,514 /usr/include/gmpxx.h:3330:1: note: template argument deduction/substitution failed: 2021-07-09T09:04:46,514 src/graphillion/zdd.cc:473:19: note: ‘std::ostream’ {aka ‘std::basic_ostream’} is not derived from ‘const __gmp_expr’ 2021-07-09T09:04:46,514 473 | if (out == std::cout || out == std::cerr) 2021-07-09T09:04:46,515 | ^~~~ 2021-07-09T09:04:46,515 In file included from src/graphillion/type.h:31, 2021-07-09T09:04:46,515 from src/graphillion/zdd.h:33, 2021-07-09T09:04:46,515 from src/graphillion/zdd.cc:25: 2021-07-09T09:04:46,515 /usr/include/gmpxx.h:3330:1: note: candidate: ‘template bool operator==(long unsigned int, const __gmp_expr&)’ 2021-07-09T09:04:46,515 3330 | __GMP_DEFINE_BINARY_TYPE_FUNCTION(bool, operator==, __gmp_binary_equal) 2021-07-09T09:04:46,515 | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-09T09:04:46,515 /usr/include/gmpxx.h:3330:1: note: template argument deduction/substitution failed: 2021-07-09T09:04:46,516 src/graphillion/zdd.cc:473:19: note: ‘std::ostream’ {aka ‘std::basic_ostream’} is not derived from ‘const __gmp_expr’ 2021-07-09T09:04:46,516 473 | if (out == std::cout || out == std::cerr) 2021-07-09T09:04:46,516 | ^~~~ 2021-07-09T09:04:46,516 In file included from src/graphillion/type.h:31, 2021-07-09T09:04:46,516 from src/graphillion/zdd.h:33, 2021-07-09T09:04:46,516 from src/graphillion/zdd.cc:25: 2021-07-09T09:04:46,516 /usr/include/gmpxx.h:3330:1: note: candidate: ‘template bool operator==(const __gmp_expr&, float)’ 2021-07-09T09:04:46,516 3330 | __GMP_DEFINE_BINARY_TYPE_FUNCTION(bool, operator==, __gmp_binary_equal) 2021-07-09T09:04:46,517 | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-09T09:04:46,517 /usr/include/gmpxx.h:3330:1: note: template argument deduction/substitution failed: 2021-07-09T09:04:46,517 src/graphillion/zdd.cc:473:19: note: ‘std::ostream’ {aka ‘std::basic_ostream’} is not derived from ‘const __gmp_expr’ 2021-07-09T09:04:46,517 473 | if (out == std::cout || out == std::cerr) 2021-07-09T09:04:46,517 | ^~~~ 2021-07-09T09:04:46,517 In file included from src/graphillion/type.h:31, 2021-07-09T09:04:46,517 from src/graphillion/zdd.h:33, 2021-07-09T09:04:46,517 from src/graphillion/zdd.cc:25: 2021-07-09T09:04:46,518 /usr/include/gmpxx.h:3330:1: note: candidate: ‘template bool operator==(float, const __gmp_expr&)’ 2021-07-09T09:04:46,518 3330 | __GMP_DEFINE_BINARY_TYPE_FUNCTION(bool, operator==, __gmp_binary_equal) 2021-07-09T09:04:46,518 | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-09T09:04:46,518 /usr/include/gmpxx.h:3330:1: note: template argument deduction/substitution failed: 2021-07-09T09:04:46,518 src/graphillion/zdd.cc:473:19: note: ‘std::ostream’ {aka ‘std::basic_ostream’} is not derived from ‘const __gmp_expr’ 2021-07-09T09:04:46,518 473 | if (out == std::cout || out == std::cerr) 2021-07-09T09:04:46,518 | ^~~~ 2021-07-09T09:04:46,519 In file included from src/graphillion/type.h:31, 2021-07-09T09:04:46,519 from src/graphillion/zdd.h:33, 2021-07-09T09:04:46,519 from src/graphillion/zdd.cc:25: 2021-07-09T09:04:46,519 /usr/include/gmpxx.h:3330:1: note: candidate: ‘template bool operator==(const __gmp_expr&, double)’ 2021-07-09T09:04:46,519 3330 | __GMP_DEFINE_BINARY_TYPE_FUNCTION(bool, operator==, __gmp_binary_equal) 2021-07-09T09:04:46,519 | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-09T09:04:46,519 /usr/include/gmpxx.h:3330:1: note: template argument deduction/substitution failed: 2021-07-09T09:04:46,520 src/graphillion/zdd.cc:473:19: note: ‘std::ostream’ {aka ‘std::basic_ostream’} is not derived from ‘const __gmp_expr’ 2021-07-09T09:04:46,520 473 | if (out == std::cout || out == std::cerr) 2021-07-09T09:04:46,520 | ^~~~ 2021-07-09T09:04:46,520 In file included from src/graphillion/type.h:31, 2021-07-09T09:04:46,520 from src/graphillion/zdd.h:33, 2021-07-09T09:04:46,520 from src/graphillion/zdd.cc:25: 2021-07-09T09:04:46,520 /usr/include/gmpxx.h:3330:1: note: candidate: ‘template bool operator==(double, const __gmp_expr&)’ 2021-07-09T09:04:46,521 3330 | __GMP_DEFINE_BINARY_TYPE_FUNCTION(bool, operator==, __gmp_binary_equal) 2021-07-09T09:04:46,521 | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-09T09:04:46,521 /usr/include/gmpxx.h:3330:1: note: template argument deduction/substitution failed: 2021-07-09T09:04:46,521 src/graphillion/zdd.cc:473:19: note: ‘std::ostream’ {aka ‘std::basic_ostream’} is not derived from ‘const __gmp_expr’ 2021-07-09T09:04:46,521 473 | if (out == std::cout || out == std::cerr) 2021-07-09T09:04:46,521 | ^~~~ 2021-07-09T09:04:46,521 In file included from src/SAPPOROBDD/ZBDD.h:36, 2021-07-09T09:04:46,522 from src/graphillion/type.h:34, 2021-07-09T09:04:46,522 from src/graphillion/zdd.h:33, 2021-07-09T09:04:46,522 from src/graphillion/zdd.cc:25: 2021-07-09T09:04:46,522 src/SAPPOROBDD/BDD.h:173:12: note: candidate: ‘int operator==(const BDD&, const BDD&)’ 2021-07-09T09:04:46,522 173 | inline int operator==(const BDD& f, const BDD& g) 2021-07-09T09:04:46,522 | ^~~~~~~~ 2021-07-09T09:04:46,523 src/SAPPOROBDD/BDD.h:173:34: note: no known conversion for argument 1 from ‘std::ostream’ {aka ‘std::basic_ostream’} to ‘const BDD&’ 2021-07-09T09:04:46,523 173 | inline int operator==(const BDD& f, const BDD& g) 2021-07-09T09:04:46,523 | ~~~~~~~~~~~^ 2021-07-09T09:04:46,523 src/SAPPOROBDD/BDD.h:335:12: note: candidate: ‘int operator==(const BDDV&, const BDDV&)’ 2021-07-09T09:04:46,523 335 | inline int operator==(const BDDV& fv, const BDDV& gv) 2021-07-09T09:04:46,523 | ^~~~~~~~ 2021-07-09T09:04:46,523 src/SAPPOROBDD/BDD.h:335:35: note: no known conversion for argument 1 from ‘std::ostream’ {aka ‘std::basic_ostream’} to ‘const BDDV&’ 2021-07-09T09:04:46,524 335 | inline int operator==(const BDDV& fv, const BDDV& gv) 2021-07-09T09:04:46,524 | ~~~~~~~~~~~~^~ 2021-07-09T09:04:46,524 In file included from src/graphillion/type.h:34, 2021-07-09T09:04:46,524 from src/graphillion/zdd.h:33, 2021-07-09T09:04:46,524 from src/graphillion/zdd.cc:25: 2021-07-09T09:04:46,524 src/SAPPOROBDD/ZBDD.h:164:12: note: candidate: ‘int operator==(const ZBDD&, const ZBDD&)’ 2021-07-09T09:04:46,524 164 | inline int operator==(const ZBDD& f, const ZBDD& g) 2021-07-09T09:04:46,525 | ^~~~~~~~ 2021-07-09T09:04:46,525 src/SAPPOROBDD/ZBDD.h:164:35: note: no known conversion for argument 1 from ‘std::ostream’ {aka ‘std::basic_ostream’} to ‘const ZBDD&’ 2021-07-09T09:04:46,525 164 | inline int operator==(const ZBDD& f, const ZBDD& g) 2021-07-09T09:04:46,525 | ~~~~~~~~~~~~^ 2021-07-09T09:04:46,525 src/SAPPOROBDD/ZBDD.h:231:12: note: candidate: ‘int operator==(const ZBDDV&, const ZBDDV&)’ 2021-07-09T09:04:46,525 231 | inline int operator==(const ZBDDV& fv, const ZBDDV& gv) 2021-07-09T09:04:46,525 | ^~~~~~~~ 2021-07-09T09:04:46,526 src/SAPPOROBDD/ZBDD.h:231:36: note: no known conversion for argument 1 from ‘std::ostream’ {aka ‘std::basic_ostream’} to ‘const ZBDDV&’ 2021-07-09T09:04:46,526 231 | inline int operator==(const ZBDDV& fv, const ZBDDV& gv) 2021-07-09T09:04:46,526 | ~~~~~~~~~~~~~^~ 2021-07-09T09:04:46,526 In file included from /usr/include/c++/10/iosfwd:40, 2021-07-09T09:04:46,526 from /usr/include/c++/10/ios:38, 2021-07-09T09:04:46,526 from /usr/include/c++/10/ostream:38, 2021-07-09T09:04:46,526 from /usr/include/c++/10/iostream:39, 2021-07-09T09:04:46,527 from src/graphillion/zdd.h:28, 2021-07-09T09:04:46,527 from src/graphillion/zdd.cc:25: 2021-07-09T09:04:46,527 /usr/include/c++/10/bits/postypes.h:222:5: note: candidate: ‘template bool std::operator==(const std::fpos<_StateT>&, const std::fpos<_StateT>&)’ 2021-07-09T09:04:46,527 222 | operator==(const fpos<_StateT>& __lhs, const fpos<_StateT>& __rhs) 2021-07-09T09:04:46,527 | ^~~~~~~~ 2021-07-09T09:04:46,527 /usr/include/c++/10/bits/postypes.h:222:5: note: template argument deduction/substitution failed: 2021-07-09T09:04:46,527 src/graphillion/zdd.cc:473:19: note: ‘std::ostream’ {aka ‘std::basic_ostream’} is not derived from ‘const std::fpos<_StateT>’ 2021-07-09T09:04:46,528 473 | if (out == std::cout || out == std::cerr) 2021-07-09T09:04:46,528 | ^~~~ 2021-07-09T09:04:46,528 In file included from /usr/include/c++/10/bits/stl_algobase.h:64, 2021-07-09T09:04:46,528 from /usr/include/c++/10/bits/char_traits.h:39, 2021-07-09T09:04:46,528 from /usr/include/c++/10/ios:40, 2021-07-09T09:04:46,528 from /usr/include/c++/10/ostream:38, 2021-07-09T09:04:46,529 from /usr/include/c++/10/iostream:39, 2021-07-09T09:04:46,529 from src/graphillion/zdd.h:28, 2021-07-09T09:04:46,529 from src/graphillion/zdd.cc:25: 2021-07-09T09:04:46,529 /usr/include/c++/10/bits/stl_pair.h:466:5: note: candidate: ‘template constexpr bool std::operator==(const std::pair<_T1, _T2>&, const std::pair<_T1, _T2>&)’ 2021-07-09T09:04:46,529 466 | operator==(const pair<_T1, _T2>& __x, const pair<_T1, _T2>& __y) 2021-07-09T09:04:46,529 | ^~~~~~~~ 2021-07-09T09:04:46,530 /usr/include/c++/10/bits/stl_pair.h:466:5: note: template argument deduction/substitution failed: 2021-07-09T09:04:46,530 src/graphillion/zdd.cc:473:19: note: ‘std::ostream’ {aka ‘std::basic_ostream’} is not derived from ‘const std::pair<_T1, _T2>’ 2021-07-09T09:04:46,530 473 | if (out == std::cout || out == std::cerr) 2021-07-09T09:04:46,530 | ^~~~ 2021-07-09T09:04:46,530 In file included from /usr/include/c++/10/bits/stl_algobase.h:67, 2021-07-09T09:04:46,530 from /usr/include/c++/10/bits/char_traits.h:39, 2021-07-09T09:04:46,530 from /usr/include/c++/10/ios:40, 2021-07-09T09:04:46,531 from /usr/include/c++/10/ostream:38, 2021-07-09T09:04:46,531 from /usr/include/c++/10/iostream:39, 2021-07-09T09:04:46,531 from src/graphillion/zdd.h:28, 2021-07-09T09:04:46,531 from src/graphillion/zdd.cc:25: 2021-07-09T09:04:46,531 /usr/include/c++/10/bits/stl_iterator.h:385:5: note: candidate: ‘template bool std::operator==(const std::reverse_iterator<_Iterator>&, const std::reverse_iterator<_Iterator>&)’ 2021-07-09T09:04:46,531 385 | operator==(const reverse_iterator<_Iterator>& __x, 2021-07-09T09:04:46,531 | ^~~~~~~~ 2021-07-09T09:04:46,531 /usr/include/c++/10/bits/stl_iterator.h:385:5: note: template argument deduction/substitution failed: 2021-07-09T09:04:46,532 src/graphillion/zdd.cc:473:19: note: ‘std::ostream’ {aka ‘std::basic_ostream’} is not derived from ‘const std::reverse_iterator<_Iterator>’ 2021-07-09T09:04:46,532 473 | if (out == std::cout || out == std::cerr) 2021-07-09T09:04:46,532 | ^~~~ 2021-07-09T09:04:46,532 In file included from /usr/include/c++/10/bits/stl_algobase.h:67, 2021-07-09T09:04:46,532 from /usr/include/c++/10/bits/char_traits.h:39, 2021-07-09T09:04:46,532 from /usr/include/c++/10/ios:40, 2021-07-09T09:04:46,532 from /usr/include/c++/10/ostream:38, 2021-07-09T09:04:46,533 from /usr/include/c++/10/iostream:39, 2021-07-09T09:04:46,533 from src/graphillion/zdd.h:28, 2021-07-09T09:04:46,533 from src/graphillion/zdd.cc:25: 2021-07-09T09:04:46,533 /usr/include/c++/10/bits/stl_iterator.h:423:5: note: candidate: ‘template bool std::operator==(const std::reverse_iterator<_Iterator>&, const std::reverse_iterator<_IteratorR>&)’ 2021-07-09T09:04:46,533 423 | operator==(const reverse_iterator<_IteratorL>& __x, 2021-07-09T09:04:46,533 | ^~~~~~~~ 2021-07-09T09:04:46,533 /usr/include/c++/10/bits/stl_iterator.h:423:5: note: template argument deduction/substitution failed: 2021-07-09T09:04:46,533 src/graphillion/zdd.cc:473:19: note: ‘std::ostream’ {aka ‘std::basic_ostream’} is not derived from ‘const std::reverse_iterator<_Iterator>’ 2021-07-09T09:04:46,534 473 | if (out == std::cout || out == std::cerr) 2021-07-09T09:04:46,534 | ^~~~ 2021-07-09T09:04:46,534 In file included from /usr/include/c++/10/bits/stl_algobase.h:67, 2021-07-09T09:04:46,534 from /usr/include/c++/10/bits/char_traits.h:39, 2021-07-09T09:04:46,534 from /usr/include/c++/10/ios:40, 2021-07-09T09:04:46,534 from /usr/include/c++/10/ostream:38, 2021-07-09T09:04:46,535 from /usr/include/c++/10/iostream:39, 2021-07-09T09:04:46,535 from src/graphillion/zdd.h:28, 2021-07-09T09:04:46,535 from src/graphillion/zdd.cc:25: 2021-07-09T09:04:46,535 /usr/include/c++/10/bits/stl_iterator.h:1460:5: note: candidate: ‘template bool std::operator==(const std::move_iterator<_IteratorL>&, const std::move_iterator<_IteratorR>&)’ 2021-07-09T09:04:46,535 1460 | operator==(const move_iterator<_IteratorL>& __x, 2021-07-09T09:04:46,535 | ^~~~~~~~ 2021-07-09T09:04:46,535 /usr/include/c++/10/bits/stl_iterator.h:1460:5: note: template argument deduction/substitution failed: 2021-07-09T09:04:46,536 src/graphillion/zdd.cc:473:19: note: ‘std::ostream’ {aka ‘std::basic_ostream’} is not derived from ‘const std::move_iterator<_IteratorL>’ 2021-07-09T09:04:46,536 473 | if (out == std::cout || out == std::cerr) 2021-07-09T09:04:46,536 | ^~~~ 2021-07-09T09:04:46,536 In file included from /usr/include/c++/10/bits/stl_algobase.h:67, 2021-07-09T09:04:46,536 from /usr/include/c++/10/bits/char_traits.h:39, 2021-07-09T09:04:46,536 from /usr/include/c++/10/ios:40, 2021-07-09T09:04:46,536 from /usr/include/c++/10/ostream:38, 2021-07-09T09:04:46,536 from /usr/include/c++/10/iostream:39, 2021-07-09T09:04:46,537 from src/graphillion/zdd.h:28, 2021-07-09T09:04:46,537 from src/graphillion/zdd.cc:25: 2021-07-09T09:04:46,537 /usr/include/c++/10/bits/stl_iterator.h:1528:5: note: candidate: ‘template bool std::operator==(const std::move_iterator<_IteratorL>&, const std::move_iterator<_IteratorL>&)’ 2021-07-09T09:04:46,537 1528 | operator==(const move_iterator<_Iterator>& __x, 2021-07-09T09:04:46,537 | ^~~~~~~~ 2021-07-09T09:04:46,537 /usr/include/c++/10/bits/stl_iterator.h:1528:5: note: template argument deduction/substitution failed: 2021-07-09T09:04:46,537 src/graphillion/zdd.cc:473:19: note: ‘std::ostream’ {aka ‘std::basic_ostream’} is not derived from ‘const std::move_iterator<_IteratorL>’ 2021-07-09T09:04:46,537 473 | if (out == std::cout || out == std::cerr) 2021-07-09T09:04:46,538 | ^~~~ 2021-07-09T09:04:46,538 In file included from /usr/include/c++/10/string:41, 2021-07-09T09:04:46,538 from /usr/include/c++/10/bits/locale_classes.h:40, 2021-07-09T09:04:46,538 from /usr/include/c++/10/bits/ios_base.h:41, 2021-07-09T09:04:46,538 from /usr/include/c++/10/ios:42, 2021-07-09T09:04:46,538 from /usr/include/c++/10/ostream:38, 2021-07-09T09:04:46,538 from /usr/include/c++/10/iostream:39, 2021-07-09T09:04:46,539 from src/graphillion/zdd.h:28, 2021-07-09T09:04:46,539 from src/graphillion/zdd.cc:25: 2021-07-09T09:04:46,539 /usr/include/c++/10/bits/allocator.h:206:5: note: candidate: ‘template bool std::operator==(const std::allocator<_CharT>&, const std::allocator<_T2>&)’ 2021-07-09T09:04:46,539 206 | operator==(const allocator<_T1>&, const allocator<_T2>&) 2021-07-09T09:04:46,539 | ^~~~~~~~ 2021-07-09T09:04:46,539 /usr/include/c++/10/bits/allocator.h:206:5: note: template argument deduction/substitution failed: 2021-07-09T09:04:46,539 src/graphillion/zdd.cc:473:19: note: ‘std::ostream’ {aka ‘std::basic_ostream’} is not derived from ‘const std::allocator<_CharT>’ 2021-07-09T09:04:46,539 473 | if (out == std::cout || out == std::cerr) 2021-07-09T09:04:46,540 | ^~~~ 2021-07-09T09:04:46,540 In file included from /usr/include/c++/10/string:55, 2021-07-09T09:04:46,540 from /usr/include/c++/10/bits/locale_classes.h:40, 2021-07-09T09:04:46,540 from /usr/include/c++/10/bits/ios_base.h:41, 2021-07-09T09:04:46,540 from /usr/include/c++/10/ios:42, 2021-07-09T09:04:46,540 from /usr/include/c++/10/ostream:38, 2021-07-09T09:04:46,540 from /usr/include/c++/10/iostream:39, 2021-07-09T09:04:46,541 from src/graphillion/zdd.h:28, 2021-07-09T09:04:46,541 from src/graphillion/zdd.cc:25: 2021-07-09T09:04:46,541 /usr/include/c++/10/bits/basic_string.h:6163:5: note: candidate: ‘template bool std::operator==(const std::__cxx11::basic_string<_CharT, _Traits, _Alloc>&, const std::__cxx11::basic_string<_CharT, _Traits, _Alloc>&)’ 2021-07-09T09:04:46,541 6163 | operator==(const basic_string<_CharT, _Traits, _Alloc>& __lhs, 2021-07-09T09:04:46,541 | ^~~~~~~~ 2021-07-09T09:04:46,541 /usr/include/c++/10/bits/basic_string.h:6163:5: note: template argument deduction/substitution failed: 2021-07-09T09:04:46,541 src/graphillion/zdd.cc:473:19: note: ‘std::ostream’ {aka ‘std::basic_ostream’} is not derived from ‘const std::__cxx11::basic_string<_CharT, _Traits, _Alloc>’ 2021-07-09T09:04:46,541 473 | if (out == std::cout || out == std::cerr) 2021-07-09T09:04:46,541 | ^~~~ 2021-07-09T09:04:46,542 In file included from /usr/include/c++/10/string:55, 2021-07-09T09:04:46,542 from /usr/include/c++/10/bits/locale_classes.h:40, 2021-07-09T09:04:46,542 from /usr/include/c++/10/bits/ios_base.h:41, 2021-07-09T09:04:46,542 from /usr/include/c++/10/ios:42, 2021-07-09T09:04:46,542 from /usr/include/c++/10/ostream:38, 2021-07-09T09:04:46,542 from /usr/include/c++/10/iostream:39, 2021-07-09T09:04:46,542 from src/graphillion/zdd.h:28, 2021-07-09T09:04:46,542 from src/graphillion/zdd.cc:25: 2021-07-09T09:04:46,543 /usr/include/c++/10/bits/basic_string.h:6171:5: note: candidate: ‘template typename __gnu_cxx::__enable_if::__value, bool>::__type std::operator==(const std::__cxx11::basic_string<_CharT>&, const std::__cxx11::basic_string<_CharT>&)’ 2021-07-09T09:04:46,543 6171 | operator==(const basic_string<_CharT>& __lhs, 2021-07-09T09:04:46,543 | ^~~~~~~~ 2021-07-09T09:04:46,543 /usr/include/c++/10/bits/basic_string.h:6171:5: note: template argument deduction/substitution failed: 2021-07-09T09:04:46,543 src/graphillion/zdd.cc:473:19: note: ‘std::ostream’ {aka ‘std::basic_ostream’} is not derived from ‘const std::__cxx11::basic_string<_CharT>’ 2021-07-09T09:04:46,543 473 | if (out == std::cout || out == std::cerr) 2021-07-09T09:04:46,543 | ^~~~ 2021-07-09T09:04:46,543 In file included from /usr/include/c++/10/string:55, 2021-07-09T09:04:46,544 from /usr/include/c++/10/bits/locale_classes.h:40, 2021-07-09T09:04:46,544 from /usr/include/c++/10/bits/ios_base.h:41, 2021-07-09T09:04:46,544 from /usr/include/c++/10/ios:42, 2021-07-09T09:04:46,544 from /usr/include/c++/10/ostream:38, 2021-07-09T09:04:46,544 from /usr/include/c++/10/iostream:39, 2021-07-09T09:04:46,544 from src/graphillion/zdd.h:28, 2021-07-09T09:04:46,544 from src/graphillion/zdd.cc:25: 2021-07-09T09:04:46,544 /usr/include/c++/10/bits/basic_string.h:6185:5: note: candidate: ‘template bool std::operator==(const std::__cxx11::basic_string<_CharT, _Traits, _Alloc>&, const _CharT*)’ 2021-07-09T09:04:46,545 6185 | operator==(const basic_string<_CharT, _Traits, _Alloc>& __lhs, 2021-07-09T09:04:46,545 | ^~~~~~~~ 2021-07-09T09:04:46,545 /usr/include/c++/10/bits/basic_string.h:6185:5: note: template argument deduction/substitution failed: 2021-07-09T09:04:46,545 src/graphillion/zdd.cc:473:19: note: ‘std::ostream’ {aka ‘std::basic_ostream’} is not derived from ‘const std::__cxx11::basic_string<_CharT, _Traits, _Alloc>’ 2021-07-09T09:04:46,545 473 | if (out == std::cout || out == std::cerr) 2021-07-09T09:04:46,545 | ^~~~ 2021-07-09T09:04:46,545 In file included from /usr/include/c++/10/string:55, 2021-07-09T09:04:46,546 from /usr/include/c++/10/bits/locale_classes.h:40, 2021-07-09T09:04:46,546 from /usr/include/c++/10/bits/ios_base.h:41, 2021-07-09T09:04:46,546 from /usr/include/c++/10/ios:42, 2021-07-09T09:04:46,546 from /usr/include/c++/10/ostream:38, 2021-07-09T09:04:46,546 from /usr/include/c++/10/iostream:39, 2021-07-09T09:04:46,546 from src/graphillion/zdd.h:28, 2021-07-09T09:04:46,546 from src/graphillion/zdd.cc:25: 2021-07-09T09:04:46,546 /usr/include/c++/10/bits/basic_string.h:6226:5: note: candidate: ‘template bool std::operator==(const _CharT*, const std::__cxx11::basic_string<_CharT, _Traits, _Alloc>&)’ 2021-07-09T09:04:46,547 6226 | operator==(const _CharT* __lhs, 2021-07-09T09:04:46,547 | ^~~~~~~~ 2021-07-09T09:04:46,547 /usr/include/c++/10/bits/basic_string.h:6226:5: note: template argument deduction/substitution failed: 2021-07-09T09:04:46,547 src/graphillion/zdd.cc:473:19: note: mismatched types ‘const _CharT*’ and ‘std::basic_ostream’ 2021-07-09T09:04:46,547 473 | if (out == std::cout || out == std::cerr) 2021-07-09T09:04:46,547 | ^~~~ 2021-07-09T09:04:46,547 In file included from /usr/include/c++/10/bits/ios_base.h:46, 2021-07-09T09:04:46,548 from /usr/include/c++/10/ios:42, 2021-07-09T09:04:46,548 from /usr/include/c++/10/ostream:38, 2021-07-09T09:04:46,548 from /usr/include/c++/10/iostream:39, 2021-07-09T09:04:46,548 from src/graphillion/zdd.h:28, 2021-07-09T09:04:46,548 from src/graphillion/zdd.cc:25: 2021-07-09T09:04:46,548 /usr/include/c++/10/system_error:342:3: note: candidate: ‘bool std::operator==(const std::error_code&, const std::error_code&)’ 2021-07-09T09:04:46,548 342 | operator==(const error_code& __lhs, const error_code& __rhs) noexcept 2021-07-09T09:04:46,549 | ^~~~~~~~ 2021-07-09T09:04:46,549 /usr/include/c++/10/system_error:342:32: note: no known conversion for argument 1 from ‘std::ostream’ {aka ‘std::basic_ostream’} to ‘const std::error_code&’ 2021-07-09T09:04:46,549 342 | operator==(const error_code& __lhs, const error_code& __rhs) noexcept 2021-07-09T09:04:46,549 | ~~~~~~~~~~~~~~~~~~^~~~~ 2021-07-09T09:04:46,549 /usr/include/c++/10/system_error:349:3: note: candidate: ‘bool std::operator==(const std::error_code&, const std::error_condition&)’ 2021-07-09T09:04:46,549 349 | operator==(const error_code& __lhs, const error_condition& __rhs) noexcept 2021-07-09T09:04:46,549 | ^~~~~~~~ 2021-07-09T09:04:46,550 /usr/include/c++/10/system_error:349:32: note: no known conversion for argument 1 from ‘std::ostream’ {aka ‘std::basic_ostream’} to ‘const std::error_code&’ 2021-07-09T09:04:46,550 349 | operator==(const error_code& __lhs, const error_condition& __rhs) noexcept 2021-07-09T09:04:46,550 | ~~~~~~~~~~~~~~~~~~^~~~~ 2021-07-09T09:04:46,550 /usr/include/c++/10/system_error:357:3: note: candidate: ‘bool std::operator==(const std::error_condition&, const std::error_condition&)’ 2021-07-09T09:04:46,550 357 | operator==(const error_condition& __lhs, 2021-07-09T09:04:46,550 | ^~~~~~~~ 2021-07-09T09:04:46,550 /usr/include/c++/10/system_error:357:37: note: no known conversion for argument 1 from ‘std::ostream’ {aka ‘std::basic_ostream’} to ‘const std::error_condition&’ 2021-07-09T09:04:46,551 357 | operator==(const error_condition& __lhs, 2021-07-09T09:04:46,551 | ~~~~~~~~~~~~~~~~~~~~~~~^~~~~ 2021-07-09T09:04:46,551 /usr/include/c++/10/system_error:390:3: note: candidate: ‘bool std::operator==(const std::error_condition&, const std::error_code&)’ 2021-07-09T09:04:46,551 390 | operator==(const error_condition& __lhs, const error_code& __rhs) noexcept 2021-07-09T09:04:46,551 | ^~~~~~~~ 2021-07-09T09:04:46,551 /usr/include/c++/10/system_error:390:37: note: no known conversion for argument 1 from ‘std::ostream’ {aka ‘std::basic_ostream’} to ‘const std::error_condition&’ 2021-07-09T09:04:46,551 390 | operator==(const error_condition& __lhs, const error_code& __rhs) noexcept 2021-07-09T09:04:46,551 | ~~~~~~~~~~~~~~~~~~~~~~~^~~~~ 2021-07-09T09:04:46,552 In file included from /usr/include/c++/10/bits/locale_facets.h:48, 2021-07-09T09:04:46,552 from /usr/include/c++/10/bits/basic_ios.h:37, 2021-07-09T09:04:46,552 from /usr/include/c++/10/ios:44, 2021-07-09T09:04:46,552 from /usr/include/c++/10/ostream:38, 2021-07-09T09:04:46,552 from /usr/include/c++/10/iostream:39, 2021-07-09T09:04:46,552 from src/graphillion/zdd.h:28, 2021-07-09T09:04:46,552 from src/graphillion/zdd.cc:25: 2021-07-09T09:04:46,552 /usr/include/c++/10/bits/streambuf_iterator.h:227:5: note: candidate: ‘template bool std::operator==(const std::istreambuf_iterator<_CharT, _Traits>&, const std::istreambuf_iterator<_CharT, _Traits>&)’ 2021-07-09T09:04:46,553 227 | operator==(const istreambuf_iterator<_CharT, _Traits>& __a, 2021-07-09T09:04:46,553 | ^~~~~~~~ 2021-07-09T09:04:46,553 /usr/include/c++/10/bits/streambuf_iterator.h:227:5: note: template argument deduction/substitution failed: 2021-07-09T09:04:46,553 src/graphillion/zdd.cc:473:19: note: ‘std::ostream’ {aka ‘std::basic_ostream’} is not derived from ‘const std::istreambuf_iterator<_CharT, _Traits>’ 2021-07-09T09:04:46,553 473 | if (out == std::cout || out == std::cerr) 2021-07-09T09:04:46,553 | ^~~~ 2021-07-09T09:04:46,553 In file included from /usr/include/c++/10/set:61, 2021-07-09T09:04:46,553 from src/graphillion/zdd.h:29, 2021-07-09T09:04:46,554 from src/graphillion/zdd.cc:25: 2021-07-09T09:04:46,554 /usr/include/c++/10/bits/stl_set.h:985:5: note: candidate: ‘template bool std::operator==(const std::set<_Key, _Compare, _Alloc>&, const std::set<_Key, _Compare, _Alloc>&)’ 2021-07-09T09:04:46,554 985 | operator==(const set<_Key, _Compare, _Alloc>& __x, 2021-07-09T09:04:46,554 | ^~~~~~~~ 2021-07-09T09:04:46,554 /usr/include/c++/10/bits/stl_set.h:985:5: note: template argument deduction/substitution failed: 2021-07-09T09:04:46,554 src/graphillion/zdd.cc:473:19: note: ‘std::ostream’ {aka ‘std::basic_ostream’} is not derived from ‘const std::set<_Key, _Compare, _Alloc>’ 2021-07-09T09:04:46,554 473 | if (out == std::cout || out == std::cerr) 2021-07-09T09:04:46,554 | ^~~~ 2021-07-09T09:04:46,554 In file included from /usr/include/c++/10/set:62, 2021-07-09T09:04:46,555 from src/graphillion/zdd.h:29, 2021-07-09T09:04:46,555 from src/graphillion/zdd.cc:25: 2021-07-09T09:04:46,555 /usr/include/c++/10/bits/stl_multiset.h:971:5: note: candidate: ‘template bool std::operator==(const std::multiset<_Key, _Compare, _Alloc>&, const std::multiset<_Key, _Compare, _Alloc>&)’ 2021-07-09T09:04:46,555 971 | operator==(const multiset<_Key, _Compare, _Alloc>& __x, 2021-07-09T09:04:46,555 | ^~~~~~~~ 2021-07-09T09:04:46,555 /usr/include/c++/10/bits/stl_multiset.h:971:5: note: template argument deduction/substitution failed: 2021-07-09T09:04:46,555 src/graphillion/zdd.cc:473:19: note: ‘std::ostream’ {aka ‘std::basic_ostream’} is not derived from ‘const std::multiset<_Key, _Compare, _Alloc>’ 2021-07-09T09:04:46,555 473 | if (out == std::cout || out == std::cerr) 2021-07-09T09:04:46,556 | ^~~~ 2021-07-09T09:04:46,556 In file included from /usr/include/c++/10/vector:67, 2021-07-09T09:04:46,556 from src/graphillion/zdd.h:31, 2021-07-09T09:04:46,556 from src/graphillion/zdd.cc:25: 2021-07-09T09:04:46,556 /usr/include/c++/10/bits/stl_vector.h:1892:5: note: candidate: ‘template bool std::operator==(const std::vector<_Tp, _Alloc>&, const std::vector<_Tp, _Alloc>&)’ 2021-07-09T09:04:46,556 1892 | operator==(const vector<_Tp, _Alloc>& __x, const vector<_Tp, _Alloc>& __y) 2021-07-09T09:04:46,556 | ^~~~~~~~ 2021-07-09T09:04:46,556 /usr/include/c++/10/bits/stl_vector.h:1892:5: note: template argument deduction/substitution failed: 2021-07-09T09:04:46,557 src/graphillion/zdd.cc:473:19: note: ‘std::ostream’ {aka ‘std::basic_ostream’} is not derived from ‘const std::vector<_Tp, _Alloc>’ 2021-07-09T09:04:46,557 473 | if (out == std::cout || out == std::cerr) 2021-07-09T09:04:46,557 | ^~~~ 2021-07-09T09:04:46,557 In file included from /usr/include/c++/10/tuple:39, 2021-07-09T09:04:46,557 from /usr/include/c++/10/bits/stl_map.h:63, 2021-07-09T09:04:46,557 from /usr/include/c++/10/map:61, 2021-07-09T09:04:46,557 from src/graphillion/zdd.cc:31: 2021-07-09T09:04:46,557 /usr/include/c++/10/array:253:5: note: candidate: ‘template bool std::operator==(const std::array<_Tp, _Nm>&, const std::array<_Tp, _Nm>&)’ 2021-07-09T09:04:46,558 253 | operator==(const array<_Tp, _Nm>& __one, const array<_Tp, _Nm>& __two) 2021-07-09T09:04:46,558 | ^~~~~~~~ 2021-07-09T09:04:46,558 /usr/include/c++/10/array:253:5: note: template argument deduction/substitution failed: 2021-07-09T09:04:46,558 src/graphillion/zdd.cc:473:19: note: ‘std::ostream’ {aka ‘std::basic_ostream’} is not derived from ‘const std::array<_Tp, _Nm>’ 2021-07-09T09:04:46,558 473 | if (out == std::cout || out == std::cerr) 2021-07-09T09:04:46,558 | ^~~~ 2021-07-09T09:04:46,558 In file included from /usr/include/c++/10/bits/stl_map.h:63, 2021-07-09T09:04:46,558 from /usr/include/c++/10/map:61, 2021-07-09T09:04:46,559 from src/graphillion/zdd.cc:31: 2021-07-09T09:04:46,559 /usr/include/c++/10/tuple:1393:5: note: candidate: ‘template constexpr bool std::operator==(const std::tuple<_Tps ...>&, const std::tuple<_Args2 ...>&)’ 2021-07-09T09:04:46,559 1393 | operator==(const tuple<_TElements...>& __t, 2021-07-09T09:04:46,559 | ^~~~~~~~ 2021-07-09T09:04:46,559 /usr/include/c++/10/tuple:1393:5: note: template argument deduction/substitution failed: 2021-07-09T09:04:46,559 src/graphillion/zdd.cc:473:19: note: ‘std::ostream’ {aka ‘std::basic_ostream’} is not derived from ‘const std::tuple<_Tps ...>’ 2021-07-09T09:04:46,559 473 | if (out == std::cout || out == std::cerr) 2021-07-09T09:04:46,559 | ^~~~ 2021-07-09T09:04:46,560 In file included from /usr/include/c++/10/map:61, 2021-07-09T09:04:46,560 from src/graphillion/zdd.cc:31: 2021-07-09T09:04:46,560 /usr/include/c++/10/bits/stl_map.h:1463:5: note: candidate: ‘template bool std::operator==(const std::map<_Key, _Tp, _Compare, _Alloc>&, const std::map<_Key, _Tp, _Compare, _Alloc>&)’ 2021-07-09T09:04:46,560 1463 | operator==(const map<_Key, _Tp, _Compare, _Alloc>& __x, 2021-07-09T09:04:46,560 | ^~~~~~~~ 2021-07-09T09:04:46,560 /usr/include/c++/10/bits/stl_map.h:1463:5: note: template argument deduction/substitution failed: 2021-07-09T09:04:46,560 src/graphillion/zdd.cc:473:19: note: ‘std::ostream’ {aka ‘std::basic_ostream’} is not derived from ‘const std::map<_Key, _Tp, _Compare, _Alloc>’ 2021-07-09T09:04:46,560 473 | if (out == std::cout || out == std::cerr) 2021-07-09T09:04:46,561 | ^~~~ 2021-07-09T09:04:46,561 In file included from /usr/include/c++/10/map:62, 2021-07-09T09:04:46,561 from src/graphillion/zdd.cc:31: 2021-07-09T09:04:46,561 /usr/include/c++/10/bits/stl_multimap.h:1128:5: note: candidate: ‘template bool std::operator==(const std::multimap<_Key, _Tp, _Compare, _Alloc>&, const std::multimap<_Key, _Tp, _Compare, _Alloc>&)’ 2021-07-09T09:04:46,561 1128 | operator==(const multimap<_Key, _Tp, _Compare, _Alloc>& __x, 2021-07-09T09:04:46,561 | ^~~~~~~~ 2021-07-09T09:04:46,561 /usr/include/c++/10/bits/stl_multimap.h:1128:5: note: template argument deduction/substitution failed: 2021-07-09T09:04:46,562 src/graphillion/zdd.cc:473:19: note: ‘std::ostream’ {aka ‘std::basic_ostream’} is not derived from ‘const std::multimap<_Key, _Tp, _Compare, _Alloc>’ 2021-07-09T09:04:46,562 473 | if (out == std::cout || out == std::cerr) 2021-07-09T09:04:46,562 | ^~~~ 2021-07-09T09:04:46,562 src/graphillion/zdd.cc:473:31: error: no match for ‘operator==’ (operand types are ‘std::ostream’ {aka ‘std::basic_ostream’} and ‘std::ostream’ {aka ‘std::basic_ostream’}) 2021-07-09T09:04:46,562 473 | if (out == std::cout || out == std::cerr) 2021-07-09T09:04:46,562 | ~~~ ^~ ~~~~~~~~~ 2021-07-09T09:04:46,562 | | | 2021-07-09T09:04:46,563 | | basic_ostream<[...]> 2021-07-09T09:04:46,563 | basic_ostream<[...]> 2021-07-09T09:04:46,563 src/graphillion/zdd.cc:473:31: note: candidate: ‘operator==(int, int)’ (built-in) 2021-07-09T09:04:46,563 473 | if (out == std::cout || out == std::cerr) 2021-07-09T09:04:46,563 | ~~~~^~~~~~~~~~~~ 2021-07-09T09:04:46,563 src/graphillion/zdd.cc:473:31: note: no known conversion for argument 2 from ‘std::ostream’ {aka ‘std::basic_ostream’} to ‘int’ 2021-07-09T09:04:46,563 In file included from src/graphillion/type.h:31, 2021-07-09T09:04:46,564 from src/graphillion/zdd.h:33, 2021-07-09T09:04:46,564 from src/graphillion/zdd.cc:25: 2021-07-09T09:04:46,564 /usr/include/gmpxx.h:3330:1: note: candidate: ‘template bool operator==(const __gmp_expr&, const __gmp_expr&)’ 2021-07-09T09:04:46,564 3330 | __GMP_DEFINE_BINARY_TYPE_FUNCTION(bool, operator==, __gmp_binary_equal) 2021-07-09T09:04:46,564 | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-09T09:04:46,564 /usr/include/gmpxx.h:3330:1: note: template argument deduction/substitution failed: 2021-07-09T09:04:46,564 src/graphillion/zdd.cc:473:39: note: ‘std::ostream’ {aka ‘std::basic_ostream’} is not derived from ‘const __gmp_expr’ 2021-07-09T09:04:46,565 473 | if (out == std::cout || out == std::cerr) 2021-07-09T09:04:46,565 | ^~~~ 2021-07-09T09:04:46,565 In file included from src/graphillion/type.h:31, 2021-07-09T09:04:46,565 from src/graphillion/zdd.h:33, 2021-07-09T09:04:46,565 from src/graphillion/zdd.cc:25: 2021-07-09T09:04:46,565 /usr/include/gmpxx.h:3330:1: note: candidate: ‘template bool operator==(const __gmp_expr&, signed char)’ 2021-07-09T09:04:46,565 3330 | __GMP_DEFINE_BINARY_TYPE_FUNCTION(bool, operator==, __gmp_binary_equal) 2021-07-09T09:04:46,566 | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-09T09:04:46,566 /usr/include/gmpxx.h:3330:1: note: template argument deduction/substitution failed: 2021-07-09T09:04:46,566 src/graphillion/zdd.cc:473:39: note: ‘std::ostream’ {aka ‘std::basic_ostream’} is not derived from ‘const __gmp_expr’ 2021-07-09T09:04:46,566 473 | if (out == std::cout || out == std::cerr) 2021-07-09T09:04:46,566 | ^~~~ 2021-07-09T09:04:46,566 In file included from src/graphillion/type.h:31, 2021-07-09T09:04:46,566 from src/graphillion/zdd.h:33, 2021-07-09T09:04:46,566 from src/graphillion/zdd.cc:25: 2021-07-09T09:04:46,567 /usr/include/gmpxx.h:3330:1: note: candidate: ‘template bool operator==(signed char, const __gmp_expr&)’ 2021-07-09T09:04:46,567 3330 | __GMP_DEFINE_BINARY_TYPE_FUNCTION(bool, operator==, __gmp_binary_equal) 2021-07-09T09:04:46,567 | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-09T09:04:46,567 /usr/include/gmpxx.h:3330:1: note: template argument deduction/substitution failed: 2021-07-09T09:04:46,567 src/graphillion/zdd.cc:473:39: note: ‘std::ostream’ {aka ‘std::basic_ostream’} is not derived from ‘const __gmp_expr’ 2021-07-09T09:04:46,567 473 | if (out == std::cout || out == std::cerr) 2021-07-09T09:04:46,567 | ^~~~ 2021-07-09T09:04:46,568 In file included from src/graphillion/type.h:31, 2021-07-09T09:04:46,568 from src/graphillion/zdd.h:33, 2021-07-09T09:04:46,568 from src/graphillion/zdd.cc:25: 2021-07-09T09:04:46,568 /usr/include/gmpxx.h:3330:1: note: candidate: ‘template bool operator==(const __gmp_expr&, unsigned char)’ 2021-07-09T09:04:46,568 3330 | __GMP_DEFINE_BINARY_TYPE_FUNCTION(bool, operator==, __gmp_binary_equal) 2021-07-09T09:04:46,568 | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-09T09:04:46,568 /usr/include/gmpxx.h:3330:1: note: template argument deduction/substitution failed: 2021-07-09T09:04:46,569 src/graphillion/zdd.cc:473:39: note: ‘std::ostream’ {aka ‘std::basic_ostream’} is not derived from ‘const __gmp_expr’ 2021-07-09T09:04:46,569 473 | if (out == std::cout || out == std::cerr) 2021-07-09T09:04:46,569 | ^~~~ 2021-07-09T09:04:46,569 In file included from src/graphillion/type.h:31, 2021-07-09T09:04:46,569 from src/graphillion/zdd.h:33, 2021-07-09T09:04:46,569 from src/graphillion/zdd.cc:25: 2021-07-09T09:04:46,569 /usr/include/gmpxx.h:3330:1: note: candidate: ‘template bool operator==(unsigned char, const __gmp_expr&)’ 2021-07-09T09:04:46,569 3330 | __GMP_DEFINE_BINARY_TYPE_FUNCTION(bool, operator==, __gmp_binary_equal) 2021-07-09T09:04:46,570 | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-09T09:04:46,570 /usr/include/gmpxx.h:3330:1: note: template argument deduction/substitution failed: 2021-07-09T09:04:46,570 src/graphillion/zdd.cc:473:39: note: ‘std::ostream’ {aka ‘std::basic_ostream’} is not derived from ‘const __gmp_expr’ 2021-07-09T09:04:46,570 473 | if (out == std::cout || out == std::cerr) 2021-07-09T09:04:46,570 | ^~~~ 2021-07-09T09:04:46,570 In file included from src/graphillion/type.h:31, 2021-07-09T09:04:46,570 from src/graphillion/zdd.h:33, 2021-07-09T09:04:46,570 from src/graphillion/zdd.cc:25: 2021-07-09T09:04:46,571 /usr/include/gmpxx.h:3330:1: note: candidate: ‘template bool operator==(const __gmp_expr&, int)’ 2021-07-09T09:04:46,571 3330 | __GMP_DEFINE_BINARY_TYPE_FUNCTION(bool, operator==, __gmp_binary_equal) 2021-07-09T09:04:46,571 | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-09T09:04:46,571 /usr/include/gmpxx.h:3330:1: note: template argument deduction/substitution failed: 2021-07-09T09:04:46,571 src/graphillion/zdd.cc:473:39: note: ‘std::ostream’ {aka ‘std::basic_ostream’} is not derived from ‘const __gmp_expr’ 2021-07-09T09:04:46,571 473 | if (out == std::cout || out == std::cerr) 2021-07-09T09:04:46,571 | ^~~~ 2021-07-09T09:04:46,571 In file included from src/graphillion/type.h:31, 2021-07-09T09:04:46,572 from src/graphillion/zdd.h:33, 2021-07-09T09:04:46,572 from src/graphillion/zdd.cc:25: 2021-07-09T09:04:46,572 /usr/include/gmpxx.h:3330:1: note: candidate: ‘template bool operator==(int, const __gmp_expr&)’ 2021-07-09T09:04:46,572 3330 | __GMP_DEFINE_BINARY_TYPE_FUNCTION(bool, operator==, __gmp_binary_equal) 2021-07-09T09:04:46,572 | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-09T09:04:46,572 /usr/include/gmpxx.h:3330:1: note: template argument deduction/substitution failed: 2021-07-09T09:04:46,572 src/graphillion/zdd.cc:473:39: note: ‘std::ostream’ {aka ‘std::basic_ostream’} is not derived from ‘const __gmp_expr’ 2021-07-09T09:04:46,572 473 | if (out == std::cout || out == std::cerr) 2021-07-09T09:04:46,573 | ^~~~ 2021-07-09T09:04:46,573 In file included from src/graphillion/type.h:31, 2021-07-09T09:04:46,573 from src/graphillion/zdd.h:33, 2021-07-09T09:04:46,573 from src/graphillion/zdd.cc:25: 2021-07-09T09:04:46,573 /usr/include/gmpxx.h:3330:1: note: candidate: ‘template bool operator==(const __gmp_expr&, unsigned int)’ 2021-07-09T09:04:46,573 3330 | __GMP_DEFINE_BINARY_TYPE_FUNCTION(bool, operator==, __gmp_binary_equal) 2021-07-09T09:04:46,573 | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-09T09:04:46,573 /usr/include/gmpxx.h:3330:1: note: template argument deduction/substitution failed: 2021-07-09T09:04:46,574 src/graphillion/zdd.cc:473:39: note: ‘std::ostream’ {aka ‘std::basic_ostream’} is not derived from ‘const __gmp_expr’ 2021-07-09T09:04:46,574 473 | if (out == std::cout || out == std::cerr) 2021-07-09T09:04:46,574 | ^~~~ 2021-07-09T09:04:46,574 In file included from src/graphillion/type.h:31, 2021-07-09T09:04:46,574 from src/graphillion/zdd.h:33, 2021-07-09T09:04:46,574 from src/graphillion/zdd.cc:25: 2021-07-09T09:04:46,574 /usr/include/gmpxx.h:3330:1: note: candidate: ‘template bool operator==(unsigned int, const __gmp_expr&)’ 2021-07-09T09:04:46,574 3330 | __GMP_DEFINE_BINARY_TYPE_FUNCTION(bool, operator==, __gmp_binary_equal) 2021-07-09T09:04:46,575 | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-09T09:04:46,575 /usr/include/gmpxx.h:3330:1: note: template argument deduction/substitution failed: 2021-07-09T09:04:46,575 src/graphillion/zdd.cc:473:39: note: ‘std::ostream’ {aka ‘std::basic_ostream’} is not derived from ‘const __gmp_expr’ 2021-07-09T09:04:46,575 473 | if (out == std::cout || out == std::cerr) 2021-07-09T09:04:46,575 | ^~~~ 2021-07-09T09:04:46,575 In file included from src/graphillion/type.h:31, 2021-07-09T09:04:46,575 from src/graphillion/zdd.h:33, 2021-07-09T09:04:46,575 from src/graphillion/zdd.cc:25: 2021-07-09T09:04:46,576 /usr/include/gmpxx.h:3330:1: note: candidate: ‘template bool operator==(const __gmp_expr&, short int)’ 2021-07-09T09:04:46,576 3330 | __GMP_DEFINE_BINARY_TYPE_FUNCTION(bool, operator==, __gmp_binary_equal) 2021-07-09T09:04:46,576 | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-09T09:04:46,576 /usr/include/gmpxx.h:3330:1: note: template argument deduction/substitution failed: 2021-07-09T09:04:46,576 src/graphillion/zdd.cc:473:39: note: ‘std::ostream’ {aka ‘std::basic_ostream’} is not derived from ‘const __gmp_expr’ 2021-07-09T09:04:46,576 473 | if (out == std::cout || out == std::cerr) 2021-07-09T09:04:46,577 | ^~~~ 2021-07-09T09:04:46,577 In file included from src/graphillion/type.h:31, 2021-07-09T09:04:46,577 from src/graphillion/zdd.h:33, 2021-07-09T09:04:46,577 from src/graphillion/zdd.cc:25: 2021-07-09T09:04:46,577 /usr/include/gmpxx.h:3330:1: note: candidate: ‘template bool operator==(short int, const __gmp_expr&)’ 2021-07-09T09:04:46,577 3330 | __GMP_DEFINE_BINARY_TYPE_FUNCTION(bool, operator==, __gmp_binary_equal) 2021-07-09T09:04:46,577 | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-09T09:04:46,577 /usr/include/gmpxx.h:3330:1: note: template argument deduction/substitution failed: 2021-07-09T09:04:46,578 src/graphillion/zdd.cc:473:39: note: ‘std::ostream’ {aka ‘std::basic_ostream’} is not derived from ‘const __gmp_expr’ 2021-07-09T09:04:46,578 473 | if (out == std::cout || out == std::cerr) 2021-07-09T09:04:46,578 | ^~~~ 2021-07-09T09:04:46,578 In file included from src/graphillion/type.h:31, 2021-07-09T09:04:46,578 from src/graphillion/zdd.h:33, 2021-07-09T09:04:46,578 from src/graphillion/zdd.cc:25: 2021-07-09T09:04:46,578 /usr/include/gmpxx.h:3330:1: note: candidate: ‘template bool operator==(const __gmp_expr&, short unsigned int)’ 2021-07-09T09:04:46,578 3330 | __GMP_DEFINE_BINARY_TYPE_FUNCTION(bool, operator==, __gmp_binary_equal) 2021-07-09T09:04:46,579 | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-09T09:04:46,579 /usr/include/gmpxx.h:3330:1: note: template argument deduction/substitution failed: 2021-07-09T09:04:46,579 src/graphillion/zdd.cc:473:39: note: ‘std::ostream’ {aka ‘std::basic_ostream’} is not derived from ‘const __gmp_expr’ 2021-07-09T09:04:46,579 473 | if (out == std::cout || out == std::cerr) 2021-07-09T09:04:46,579 | ^~~~ 2021-07-09T09:04:46,579 In file included from src/graphillion/type.h:31, 2021-07-09T09:04:46,579 from src/graphillion/zdd.h:33, 2021-07-09T09:04:46,579 from src/graphillion/zdd.cc:25: 2021-07-09T09:04:46,580 /usr/include/gmpxx.h:3330:1: note: candidate: ‘template bool operator==(short unsigned int, const __gmp_expr&)’ 2021-07-09T09:04:46,580 3330 | __GMP_DEFINE_BINARY_TYPE_FUNCTION(bool, operator==, __gmp_binary_equal) 2021-07-09T09:04:46,580 | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-09T09:04:46,580 /usr/include/gmpxx.h:3330:1: note: template argument deduction/substitution failed: 2021-07-09T09:04:46,580 src/graphillion/zdd.cc:473:39: note: ‘std::ostream’ {aka ‘std::basic_ostream’} is not derived from ‘const __gmp_expr’ 2021-07-09T09:04:46,580 473 | if (out == std::cout || out == std::cerr) 2021-07-09T09:04:46,580 | ^~~~ 2021-07-09T09:04:46,580 In file included from src/graphillion/type.h:31, 2021-07-09T09:04:46,581 from src/graphillion/zdd.h:33, 2021-07-09T09:04:46,581 from src/graphillion/zdd.cc:25: 2021-07-09T09:04:46,581 /usr/include/gmpxx.h:3330:1: note: candidate: ‘template bool operator==(const __gmp_expr&, long int)’ 2021-07-09T09:04:46,581 3330 | __GMP_DEFINE_BINARY_TYPE_FUNCTION(bool, operator==, __gmp_binary_equal) 2021-07-09T09:04:46,581 | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-09T09:04:46,581 /usr/include/gmpxx.h:3330:1: note: template argument deduction/substitution failed: 2021-07-09T09:04:46,581 src/graphillion/zdd.cc:473:39: note: ‘std::ostream’ {aka ‘std::basic_ostream’} is not derived from ‘const __gmp_expr’ 2021-07-09T09:04:46,581 473 | if (out == std::cout || out == std::cerr) 2021-07-09T09:04:46,582 | ^~~~ 2021-07-09T09:04:46,582 In file included from src/graphillion/type.h:31, 2021-07-09T09:04:46,582 from src/graphillion/zdd.h:33, 2021-07-09T09:04:46,582 from src/graphillion/zdd.cc:25: 2021-07-09T09:04:46,582 /usr/include/gmpxx.h:3330:1: note: candidate: ‘template bool operator==(long int, const __gmp_expr&)’ 2021-07-09T09:04:46,582 3330 | __GMP_DEFINE_BINARY_TYPE_FUNCTION(bool, operator==, __gmp_binary_equal) 2021-07-09T09:04:46,582 | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-09T09:04:46,582 /usr/include/gmpxx.h:3330:1: note: template argument deduction/substitution failed: 2021-07-09T09:04:46,582 src/graphillion/zdd.cc:473:39: note: ‘std::ostream’ {aka ‘std::basic_ostream’} is not derived from ‘const __gmp_expr’ 2021-07-09T09:04:46,583 473 | if (out == std::cout || out == std::cerr) 2021-07-09T09:04:46,583 | ^~~~ 2021-07-09T09:04:46,583 In file included from src/graphillion/type.h:31, 2021-07-09T09:04:46,583 from src/graphillion/zdd.h:33, 2021-07-09T09:04:46,583 from src/graphillion/zdd.cc:25: 2021-07-09T09:04:46,583 /usr/include/gmpxx.h:3330:1: note: candidate: ‘template bool operator==(const __gmp_expr&, long unsigned int)’ 2021-07-09T09:04:46,583 3330 | __GMP_DEFINE_BINARY_TYPE_FUNCTION(bool, operator==, __gmp_binary_equal) 2021-07-09T09:04:46,583 | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-09T09:04:46,584 /usr/include/gmpxx.h:3330:1: note: template argument deduction/substitution failed: 2021-07-09T09:04:46,584 src/graphillion/zdd.cc:473:39: note: ‘std::ostream’ {aka ‘std::basic_ostream’} is not derived from ‘const __gmp_expr’ 2021-07-09T09:04:46,584 473 | if (out == std::cout || out == std::cerr) 2021-07-09T09:04:46,584 | ^~~~ 2021-07-09T09:04:46,584 In file included from src/graphillion/type.h:31, 2021-07-09T09:04:46,584 from src/graphillion/zdd.h:33, 2021-07-09T09:04:46,584 from src/graphillion/zdd.cc:25: 2021-07-09T09:04:46,584 /usr/include/gmpxx.h:3330:1: note: candidate: ‘template bool operator==(long unsigned int, const __gmp_expr&)’ 2021-07-09T09:04:46,585 3330 | __GMP_DEFINE_BINARY_TYPE_FUNCTION(bool, operator==, __gmp_binary_equal) 2021-07-09T09:04:46,585 | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-09T09:04:46,585 /usr/include/gmpxx.h:3330:1: note: template argument deduction/substitution failed: 2021-07-09T09:04:46,585 src/graphillion/zdd.cc:473:39: note: ‘std::ostream’ {aka ‘std::basic_ostream’} is not derived from ‘const __gmp_expr’ 2021-07-09T09:04:46,585 473 | if (out == std::cout || out == std::cerr) 2021-07-09T09:04:46,585 | ^~~~ 2021-07-09T09:04:46,585 In file included from src/graphillion/type.h:31, 2021-07-09T09:04:46,585 from src/graphillion/zdd.h:33, 2021-07-09T09:04:46,585 from src/graphillion/zdd.cc:25: 2021-07-09T09:04:46,586 /usr/include/gmpxx.h:3330:1: note: candidate: ‘template bool operator==(const __gmp_expr&, float)’ 2021-07-09T09:04:46,586 3330 | __GMP_DEFINE_BINARY_TYPE_FUNCTION(bool, operator==, __gmp_binary_equal) 2021-07-09T09:04:46,586 | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-09T09:04:46,586 /usr/include/gmpxx.h:3330:1: note: template argument deduction/substitution failed: 2021-07-09T09:04:46,586 src/graphillion/zdd.cc:473:39: note: ‘std::ostream’ {aka ‘std::basic_ostream’} is not derived from ‘const __gmp_expr’ 2021-07-09T09:04:46,586 473 | if (out == std::cout || out == std::cerr) 2021-07-09T09:04:46,586 | ^~~~ 2021-07-09T09:04:46,587 In file included from src/graphillion/type.h:31, 2021-07-09T09:04:46,587 from src/graphillion/zdd.h:33, 2021-07-09T09:04:46,587 from src/graphillion/zdd.cc:25: 2021-07-09T09:04:46,587 /usr/include/gmpxx.h:3330:1: note: candidate: ‘template bool operator==(float, const __gmp_expr&)’ 2021-07-09T09:04:46,587 3330 | __GMP_DEFINE_BINARY_TYPE_FUNCTION(bool, operator==, __gmp_binary_equal) 2021-07-09T09:04:46,587 | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-09T09:04:46,587 /usr/include/gmpxx.h:3330:1: note: template argument deduction/substitution failed: 2021-07-09T09:04:46,587 src/graphillion/zdd.cc:473:39: note: ‘std::ostream’ {aka ‘std::basic_ostream’} is not derived from ‘const __gmp_expr’ 2021-07-09T09:04:46,588 473 | if (out == std::cout || out == std::cerr) 2021-07-09T09:04:46,588 | ^~~~ 2021-07-09T09:04:46,588 In file included from src/graphillion/type.h:31, 2021-07-09T09:04:46,588 from src/graphillion/zdd.h:33, 2021-07-09T09:04:46,588 from src/graphillion/zdd.cc:25: 2021-07-09T09:04:46,588 /usr/include/gmpxx.h:3330:1: note: candidate: ‘template bool operator==(const __gmp_expr&, double)’ 2021-07-09T09:04:46,588 3330 | __GMP_DEFINE_BINARY_TYPE_FUNCTION(bool, operator==, __gmp_binary_equal) 2021-07-09T09:04:46,588 | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-09T09:04:46,589 /usr/include/gmpxx.h:3330:1: note: template argument deduction/substitution failed: 2021-07-09T09:04:46,589 src/graphillion/zdd.cc:473:39: note: ‘std::ostream’ {aka ‘std::basic_ostream’} is not derived from ‘const __gmp_expr’ 2021-07-09T09:04:46,589 473 | if (out == std::cout || out == std::cerr) 2021-07-09T09:04:46,589 | ^~~~ 2021-07-09T09:04:46,589 In file included from src/graphillion/type.h:31, 2021-07-09T09:04:46,589 from src/graphillion/zdd.h:33, 2021-07-09T09:04:46,589 from src/graphillion/zdd.cc:25: 2021-07-09T09:04:46,589 /usr/include/gmpxx.h:3330:1: note: candidate: ‘template bool operator==(double, const __gmp_expr&)’ 2021-07-09T09:04:46,589 3330 | __GMP_DEFINE_BINARY_TYPE_FUNCTION(bool, operator==, __gmp_binary_equal) 2021-07-09T09:04:46,590 | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-09T09:04:46,590 /usr/include/gmpxx.h:3330:1: note: template argument deduction/substitution failed: 2021-07-09T09:04:46,590 src/graphillion/zdd.cc:473:39: note: ‘std::ostream’ {aka ‘std::basic_ostream’} is not derived from ‘const __gmp_expr’ 2021-07-09T09:04:46,590 473 | if (out == std::cout || out == std::cerr) 2021-07-09T09:04:46,590 | ^~~~ 2021-07-09T09:04:46,590 In file included from src/SAPPOROBDD/ZBDD.h:36, 2021-07-09T09:04:46,591 from src/graphillion/type.h:34, 2021-07-09T09:04:46,591 from src/graphillion/zdd.h:33, 2021-07-09T09:04:46,591 from src/graphillion/zdd.cc:25: 2021-07-09T09:04:46,591 src/SAPPOROBDD/BDD.h:173:12: note: candidate: ‘int operator==(const BDD&, const BDD&)’ 2021-07-09T09:04:46,591 173 | inline int operator==(const BDD& f, const BDD& g) 2021-07-09T09:04:46,591 | ^~~~~~~~ 2021-07-09T09:04:46,591 src/SAPPOROBDD/BDD.h:173:34: note: no known conversion for argument 1 from ‘std::ostream’ {aka ‘std::basic_ostream’} to ‘const BDD&’ 2021-07-09T09:04:46,591 173 | inline int operator==(const BDD& f, const BDD& g) 2021-07-09T09:04:46,592 | ~~~~~~~~~~~^ 2021-07-09T09:04:46,592 src/SAPPOROBDD/BDD.h:335:12: note: candidate: ‘int operator==(const BDDV&, const BDDV&)’ 2021-07-09T09:04:46,592 335 | inline int operator==(const BDDV& fv, const BDDV& gv) 2021-07-09T09:04:46,592 | ^~~~~~~~ 2021-07-09T09:04:46,592 src/SAPPOROBDD/BDD.h:335:35: note: no known conversion for argument 1 from ‘std::ostream’ {aka ‘std::basic_ostream’} to ‘const BDDV&’ 2021-07-09T09:04:46,592 335 | inline int operator==(const BDDV& fv, const BDDV& gv) 2021-07-09T09:04:46,592 | ~~~~~~~~~~~~^~ 2021-07-09T09:04:46,593 In file included from src/graphillion/type.h:34, 2021-07-09T09:04:46,593 from src/graphillion/zdd.h:33, 2021-07-09T09:04:46,593 from src/graphillion/zdd.cc:25: 2021-07-09T09:04:46,593 src/SAPPOROBDD/ZBDD.h:164:12: note: candidate: ‘int operator==(const ZBDD&, const ZBDD&)’ 2021-07-09T09:04:46,593 164 | inline int operator==(const ZBDD& f, const ZBDD& g) 2021-07-09T09:04:46,593 | ^~~~~~~~ 2021-07-09T09:04:46,593 src/SAPPOROBDD/ZBDD.h:164:35: note: no known conversion for argument 1 from ‘std::ostream’ {aka ‘std::basic_ostream’} to ‘const ZBDD&’ 2021-07-09T09:04:46,594 164 | inline int operator==(const ZBDD& f, const ZBDD& g) 2021-07-09T09:04:46,594 | ~~~~~~~~~~~~^ 2021-07-09T09:04:46,594 src/SAPPOROBDD/ZBDD.h:231:12: note: candidate: ‘int operator==(const ZBDDV&, const ZBDDV&)’ 2021-07-09T09:04:46,594 231 | inline int operator==(const ZBDDV& fv, const ZBDDV& gv) 2021-07-09T09:04:46,594 | ^~~~~~~~ 2021-07-09T09:04:46,594 src/SAPPOROBDD/ZBDD.h:231:36: note: no known conversion for argument 1 from ‘std::ostream’ {aka ‘std::basic_ostream’} to ‘const ZBDDV&’ 2021-07-09T09:04:46,594 231 | inline int operator==(const ZBDDV& fv, const ZBDDV& gv) 2021-07-09T09:04:46,594 | ~~~~~~~~~~~~~^~ 2021-07-09T09:04:46,595 In file included from /usr/include/c++/10/iosfwd:40, 2021-07-09T09:04:46,595 from /usr/include/c++/10/ios:38, 2021-07-09T09:04:46,595 from /usr/include/c++/10/ostream:38, 2021-07-09T09:04:46,595 from /usr/include/c++/10/iostream:39, 2021-07-09T09:04:46,595 from src/graphillion/zdd.h:28, 2021-07-09T09:04:46,595 from src/graphillion/zdd.cc:25: 2021-07-09T09:04:46,595 /usr/include/c++/10/bits/postypes.h:222:5: note: candidate: ‘template bool std::operator==(const std::fpos<_StateT>&, const std::fpos<_StateT>&)’ 2021-07-09T09:04:46,596 222 | operator==(const fpos<_StateT>& __lhs, const fpos<_StateT>& __rhs) 2021-07-09T09:04:46,596 | ^~~~~~~~ 2021-07-09T09:04:46,596 /usr/include/c++/10/bits/postypes.h:222:5: note: template argument deduction/substitution failed: 2021-07-09T09:04:46,596 src/graphillion/zdd.cc:473:39: note: ‘std::ostream’ {aka ‘std::basic_ostream’} is not derived from ‘const std::fpos<_StateT>’ 2021-07-09T09:04:46,596 473 | if (out == std::cout || out == std::cerr) 2021-07-09T09:04:46,596 | ^~~~ 2021-07-09T09:04:46,596 In file included from /usr/include/c++/10/bits/stl_algobase.h:64, 2021-07-09T09:04:46,596 from /usr/include/c++/10/bits/char_traits.h:39, 2021-07-09T09:04:46,597 from /usr/include/c++/10/ios:40, 2021-07-09T09:04:46,597 from /usr/include/c++/10/ostream:38, 2021-07-09T09:04:46,597 from /usr/include/c++/10/iostream:39, 2021-07-09T09:04:46,597 from src/graphillion/zdd.h:28, 2021-07-09T09:04:46,597 from src/graphillion/zdd.cc:25: 2021-07-09T09:04:46,597 /usr/include/c++/10/bits/stl_pair.h:466:5: note: candidate: ‘template constexpr bool std::operator==(const std::pair<_T1, _T2>&, const std::pair<_T1, _T2>&)’ 2021-07-09T09:04:46,597 466 | operator==(const pair<_T1, _T2>& __x, const pair<_T1, _T2>& __y) 2021-07-09T09:04:46,597 | ^~~~~~~~ 2021-07-09T09:04:46,598 /usr/include/c++/10/bits/stl_pair.h:466:5: note: template argument deduction/substitution failed: 2021-07-09T09:04:46,598 src/graphillion/zdd.cc:473:39: note: ‘std::ostream’ {aka ‘std::basic_ostream’} is not derived from ‘const std::pair<_T1, _T2>’ 2021-07-09T09:04:46,598 473 | if (out == std::cout || out == std::cerr) 2021-07-09T09:04:46,598 | ^~~~ 2021-07-09T09:04:46,598 In file included from /usr/include/c++/10/bits/stl_algobase.h:67, 2021-07-09T09:04:46,598 from /usr/include/c++/10/bits/char_traits.h:39, 2021-07-09T09:04:46,598 from /usr/include/c++/10/ios:40, 2021-07-09T09:04:46,598 from /usr/include/c++/10/ostream:38, 2021-07-09T09:04:46,599 from /usr/include/c++/10/iostream:39, 2021-07-09T09:04:46,599 from src/graphillion/zdd.h:28, 2021-07-09T09:04:46,599 from src/graphillion/zdd.cc:25: 2021-07-09T09:04:46,599 /usr/include/c++/10/bits/stl_iterator.h:385:5: note: candidate: ‘template bool std::operator==(const std::reverse_iterator<_Iterator>&, const std::reverse_iterator<_Iterator>&)’ 2021-07-09T09:04:46,599 385 | operator==(const reverse_iterator<_Iterator>& __x, 2021-07-09T09:04:46,599 | ^~~~~~~~ 2021-07-09T09:04:46,599 /usr/include/c++/10/bits/stl_iterator.h:385:5: note: template argument deduction/substitution failed: 2021-07-09T09:04:46,600 src/graphillion/zdd.cc:473:39: note: ‘std::ostream’ {aka ‘std::basic_ostream’} is not derived from ‘const std::reverse_iterator<_Iterator>’ 2021-07-09T09:04:46,600 473 | if (out == std::cout || out == std::cerr) 2021-07-09T09:04:46,600 | ^~~~ 2021-07-09T09:04:46,600 In file included from /usr/include/c++/10/bits/stl_algobase.h:67, 2021-07-09T09:04:46,600 from /usr/include/c++/10/bits/char_traits.h:39, 2021-07-09T09:04:46,600 from /usr/include/c++/10/ios:40, 2021-07-09T09:04:46,600 from /usr/include/c++/10/ostream:38, 2021-07-09T09:04:46,600 from /usr/include/c++/10/iostream:39, 2021-07-09T09:04:46,601 from src/graphillion/zdd.h:28, 2021-07-09T09:04:46,601 from src/graphillion/zdd.cc:25: 2021-07-09T09:04:46,601 /usr/include/c++/10/bits/stl_iterator.h:423:5: note: candidate: ‘template bool std::operator==(const std::reverse_iterator<_Iterator>&, const std::reverse_iterator<_IteratorR>&)’ 2021-07-09T09:04:46,601 423 | operator==(const reverse_iterator<_IteratorL>& __x, 2021-07-09T09:04:46,601 | ^~~~~~~~ 2021-07-09T09:04:46,601 /usr/include/c++/10/bits/stl_iterator.h:423:5: note: template argument deduction/substitution failed: 2021-07-09T09:04:46,601 src/graphillion/zdd.cc:473:39: note: ‘std::ostream’ {aka ‘std::basic_ostream’} is not derived from ‘const std::reverse_iterator<_Iterator>’ 2021-07-09T09:04:46,601 473 | if (out == std::cout || out == std::cerr) 2021-07-09T09:04:46,602 | ^~~~ 2021-07-09T09:04:46,602 In file included from /usr/include/c++/10/bits/stl_algobase.h:67, 2021-07-09T09:04:46,602 from /usr/include/c++/10/bits/char_traits.h:39, 2021-07-09T09:04:46,602 from /usr/include/c++/10/ios:40, 2021-07-09T09:04:46,602 from /usr/include/c++/10/ostream:38, 2021-07-09T09:04:46,602 from /usr/include/c++/10/iostream:39, 2021-07-09T09:04:46,602 from src/graphillion/zdd.h:28, 2021-07-09T09:04:46,602 from src/graphillion/zdd.cc:25: 2021-07-09T09:04:46,603 /usr/include/c++/10/bits/stl_iterator.h:1460:5: note: candidate: ‘template bool std::operator==(const std::move_iterator<_IteratorL>&, const std::move_iterator<_IteratorR>&)’ 2021-07-09T09:04:46,603 1460 | operator==(const move_iterator<_IteratorL>& __x, 2021-07-09T09:04:46,603 | ^~~~~~~~ 2021-07-09T09:04:46,603 /usr/include/c++/10/bits/stl_iterator.h:1460:5: note: template argument deduction/substitution failed: 2021-07-09T09:04:46,603 src/graphillion/zdd.cc:473:39: note: ‘std::ostream’ {aka ‘std::basic_ostream’} is not derived from ‘const std::move_iterator<_IteratorL>’ 2021-07-09T09:04:46,603 473 | if (out == std::cout || out == std::cerr) 2021-07-09T09:04:46,603 | ^~~~ 2021-07-09T09:04:46,604 In file included from /usr/include/c++/10/bits/stl_algobase.h:67, 2021-07-09T09:04:46,604 from /usr/include/c++/10/bits/char_traits.h:39, 2021-07-09T09:04:46,604 from /usr/include/c++/10/ios:40, 2021-07-09T09:04:46,604 from /usr/include/c++/10/ostream:38, 2021-07-09T09:04:46,604 from /usr/include/c++/10/iostream:39, 2021-07-09T09:04:46,604 from src/graphillion/zdd.h:28, 2021-07-09T09:04:46,604 from src/graphillion/zdd.cc:25: 2021-07-09T09:04:46,605 /usr/include/c++/10/bits/stl_iterator.h:1528:5: note: candidate: ‘template bool std::operator==(const std::move_iterator<_IteratorL>&, const std::move_iterator<_IteratorL>&)’ 2021-07-09T09:04:46,605 1528 | operator==(const move_iterator<_Iterator>& __x, 2021-07-09T09:04:46,605 | ^~~~~~~~ 2021-07-09T09:04:46,605 /usr/include/c++/10/bits/stl_iterator.h:1528:5: note: template argument deduction/substitution failed: 2021-07-09T09:04:46,605 src/graphillion/zdd.cc:473:39: note: ‘std::ostream’ {aka ‘std::basic_ostream’} is not derived from ‘const std::move_iterator<_IteratorL>’ 2021-07-09T09:04:46,605 473 | if (out == std::cout || out == std::cerr) 2021-07-09T09:04:46,605 | ^~~~ 2021-07-09T09:04:46,606 In file included from /usr/include/c++/10/string:41, 2021-07-09T09:04:46,606 from /usr/include/c++/10/bits/locale_classes.h:40, 2021-07-09T09:04:46,606 from /usr/include/c++/10/bits/ios_base.h:41, 2021-07-09T09:04:46,606 from /usr/include/c++/10/ios:42, 2021-07-09T09:04:46,606 from /usr/include/c++/10/ostream:38, 2021-07-09T09:04:46,606 from /usr/include/c++/10/iostream:39, 2021-07-09T09:04:46,607 from src/graphillion/zdd.h:28, 2021-07-09T09:04:46,607 from src/graphillion/zdd.cc:25: 2021-07-09T09:04:46,607 /usr/include/c++/10/bits/allocator.h:206:5: note: candidate: ‘template bool std::operator==(const std::allocator<_CharT>&, const std::allocator<_T2>&)’ 2021-07-09T09:04:46,607 206 | operator==(const allocator<_T1>&, const allocator<_T2>&) 2021-07-09T09:04:46,607 | ^~~~~~~~ 2021-07-09T09:04:46,607 /usr/include/c++/10/bits/allocator.h:206:5: note: template argument deduction/substitution failed: 2021-07-09T09:04:46,607 src/graphillion/zdd.cc:473:39: note: ‘std::ostream’ {aka ‘std::basic_ostream’} is not derived from ‘const std::allocator<_CharT>’ 2021-07-09T09:04:46,607 473 | if (out == std::cout || out == std::cerr) 2021-07-09T09:04:46,608 | ^~~~ 2021-07-09T09:04:46,608 In file included from /usr/include/c++/10/string:55, 2021-07-09T09:04:46,608 from /usr/include/c++/10/bits/locale_classes.h:40, 2021-07-09T09:04:46,608 from /usr/include/c++/10/bits/ios_base.h:41, 2021-07-09T09:04:46,608 from /usr/include/c++/10/ios:42, 2021-07-09T09:04:46,608 from /usr/include/c++/10/ostream:38, 2021-07-09T09:04:46,608 from /usr/include/c++/10/iostream:39, 2021-07-09T09:04:46,608 from src/graphillion/zdd.h:28, 2021-07-09T09:04:46,609 from src/graphillion/zdd.cc:25: 2021-07-09T09:04:46,609 /usr/include/c++/10/bits/basic_string.h:6163:5: note: candidate: ‘template bool std::operator==(const std::__cxx11::basic_string<_CharT, _Traits, _Alloc>&, const std::__cxx11::basic_string<_CharT, _Traits, _Alloc>&)’ 2021-07-09T09:04:46,609 6163 | operator==(const basic_string<_CharT, _Traits, _Alloc>& __lhs, 2021-07-09T09:04:46,609 | ^~~~~~~~ 2021-07-09T09:04:46,609 /usr/include/c++/10/bits/basic_string.h:6163:5: note: template argument deduction/substitution failed: 2021-07-09T09:04:46,609 src/graphillion/zdd.cc:473:39: note: ‘std::ostream’ {aka ‘std::basic_ostream’} is not derived from ‘const std::__cxx11::basic_string<_CharT, _Traits, _Alloc>’ 2021-07-09T09:04:46,609 473 | if (out == std::cout || out == std::cerr) 2021-07-09T09:04:46,609 | ^~~~ 2021-07-09T09:04:46,610 In file included from /usr/include/c++/10/string:55, 2021-07-09T09:04:46,610 from /usr/include/c++/10/bits/locale_classes.h:40, 2021-07-09T09:04:46,610 from /usr/include/c++/10/bits/ios_base.h:41, 2021-07-09T09:04:46,610 from /usr/include/c++/10/ios:42, 2021-07-09T09:04:46,610 from /usr/include/c++/10/ostream:38, 2021-07-09T09:04:46,610 from /usr/include/c++/10/iostream:39, 2021-07-09T09:04:46,610 from src/graphillion/zdd.h:28, 2021-07-09T09:04:46,610 from src/graphillion/zdd.cc:25: 2021-07-09T09:04:46,611 /usr/include/c++/10/bits/basic_string.h:6171:5: note: candidate: ‘template typename __gnu_cxx::__enable_if::__value, bool>::__type std::operator==(const std::__cxx11::basic_string<_CharT>&, const std::__cxx11::basic_string<_CharT>&)’ 2021-07-09T09:04:46,611 6171 | operator==(const basic_string<_CharT>& __lhs, 2021-07-09T09:04:46,611 | ^~~~~~~~ 2021-07-09T09:04:46,611 /usr/include/c++/10/bits/basic_string.h:6171:5: note: template argument deduction/substitution failed: 2021-07-09T09:04:46,611 src/graphillion/zdd.cc:473:39: note: ‘std::ostream’ {aka ‘std::basic_ostream’} is not derived from ‘const std::__cxx11::basic_string<_CharT>’ 2021-07-09T09:04:46,611 473 | if (out == std::cout || out == std::cerr) 2021-07-09T09:04:46,611 | ^~~~ 2021-07-09T09:04:46,612 In file included from /usr/include/c++/10/string:55, 2021-07-09T09:04:46,612 from /usr/include/c++/10/bits/locale_classes.h:40, 2021-07-09T09:04:46,612 from /usr/include/c++/10/bits/ios_base.h:41, 2021-07-09T09:04:46,612 from /usr/include/c++/10/ios:42, 2021-07-09T09:04:46,612 from /usr/include/c++/10/ostream:38, 2021-07-09T09:04:46,612 from /usr/include/c++/10/iostream:39, 2021-07-09T09:04:46,612 from src/graphillion/zdd.h:28, 2021-07-09T09:04:46,613 from src/graphillion/zdd.cc:25: 2021-07-09T09:04:46,613 /usr/include/c++/10/bits/basic_string.h:6185:5: note: candidate: ‘template bool std::operator==(const std::__cxx11::basic_string<_CharT, _Traits, _Alloc>&, const _CharT*)’ 2021-07-09T09:04:46,613 6185 | operator==(const basic_string<_CharT, _Traits, _Alloc>& __lhs, 2021-07-09T09:04:46,613 | ^~~~~~~~ 2021-07-09T09:04:46,613 /usr/include/c++/10/bits/basic_string.h:6185:5: note: template argument deduction/substitution failed: 2021-07-09T09:04:46,613 src/graphillion/zdd.cc:473:39: note: ‘std::ostream’ {aka ‘std::basic_ostream’} is not derived from ‘const std::__cxx11::basic_string<_CharT, _Traits, _Alloc>’ 2021-07-09T09:04:46,613 473 | if (out == std::cout || out == std::cerr) 2021-07-09T09:04:46,613 | ^~~~ 2021-07-09T09:04:46,614 In file included from /usr/include/c++/10/string:55, 2021-07-09T09:04:46,614 from /usr/include/c++/10/bits/locale_classes.h:40, 2021-07-09T09:04:46,614 from /usr/include/c++/10/bits/ios_base.h:41, 2021-07-09T09:04:46,614 from /usr/include/c++/10/ios:42, 2021-07-09T09:04:46,614 from /usr/include/c++/10/ostream:38, 2021-07-09T09:04:46,614 from /usr/include/c++/10/iostream:39, 2021-07-09T09:04:46,614 from src/graphillion/zdd.h:28, 2021-07-09T09:04:46,615 from src/graphillion/zdd.cc:25: 2021-07-09T09:04:46,615 /usr/include/c++/10/bits/basic_string.h:6226:5: note: candidate: ‘template bool std::operator==(const _CharT*, const std::__cxx11::basic_string<_CharT, _Traits, _Alloc>&)’ 2021-07-09T09:04:46,615 6226 | operator==(const _CharT* __lhs, 2021-07-09T09:04:46,615 | ^~~~~~~~ 2021-07-09T09:04:46,615 /usr/include/c++/10/bits/basic_string.h:6226:5: note: template argument deduction/substitution failed: 2021-07-09T09:04:46,615 src/graphillion/zdd.cc:473:39: note: mismatched types ‘const _CharT*’ and ‘std::basic_ostream’ 2021-07-09T09:04:46,615 473 | if (out == std::cout || out == std::cerr) 2021-07-09T09:04:46,615 | ^~~~ 2021-07-09T09:04:46,616 In file included from /usr/include/c++/10/bits/ios_base.h:46, 2021-07-09T09:04:46,616 from /usr/include/c++/10/ios:42, 2021-07-09T09:04:46,616 from /usr/include/c++/10/ostream:38, 2021-07-09T09:04:46,616 from /usr/include/c++/10/iostream:39, 2021-07-09T09:04:46,616 from src/graphillion/zdd.h:28, 2021-07-09T09:04:46,616 from src/graphillion/zdd.cc:25: 2021-07-09T09:04:46,616 /usr/include/c++/10/system_error:342:3: note: candidate: ‘bool std::operator==(const std::error_code&, const std::error_code&)’ 2021-07-09T09:04:46,617 342 | operator==(const error_code& __lhs, const error_code& __rhs) noexcept 2021-07-09T09:04:46,617 | ^~~~~~~~ 2021-07-09T09:04:46,617 /usr/include/c++/10/system_error:342:32: note: no known conversion for argument 1 from ‘std::ostream’ {aka ‘std::basic_ostream’} to ‘const std::error_code&’ 2021-07-09T09:04:46,617 342 | operator==(const error_code& __lhs, const error_code& __rhs) noexcept 2021-07-09T09:04:46,617 | ~~~~~~~~~~~~~~~~~~^~~~~ 2021-07-09T09:04:46,617 /usr/include/c++/10/system_error:349:3: note: candidate: ‘bool std::operator==(const std::error_code&, const std::error_condition&)’ 2021-07-09T09:04:46,617 349 | operator==(const error_code& __lhs, const error_condition& __rhs) noexcept 2021-07-09T09:04:46,617 | ^~~~~~~~ 2021-07-09T09:04:46,618 /usr/include/c++/10/system_error:349:32: note: no known conversion for argument 1 from ‘std::ostream’ {aka ‘std::basic_ostream’} to ‘const std::error_code&’ 2021-07-09T09:04:46,618 349 | operator==(const error_code& __lhs, const error_condition& __rhs) noexcept 2021-07-09T09:04:46,618 | ~~~~~~~~~~~~~~~~~~^~~~~ 2021-07-09T09:04:46,618 /usr/include/c++/10/system_error:357:3: note: candidate: ‘bool std::operator==(const std::error_condition&, const std::error_condition&)’ 2021-07-09T09:04:46,618 357 | operator==(const error_condition& __lhs, 2021-07-09T09:04:46,618 | ^~~~~~~~ 2021-07-09T09:04:46,618 /usr/include/c++/10/system_error:357:37: note: no known conversion for argument 1 from ‘std::ostream’ {aka ‘std::basic_ostream’} to ‘const std::error_condition&’ 2021-07-09T09:04:46,619 357 | operator==(const error_condition& __lhs, 2021-07-09T09:04:46,619 | ~~~~~~~~~~~~~~~~~~~~~~~^~~~~ 2021-07-09T09:04:46,619 /usr/include/c++/10/system_error:390:3: note: candidate: ‘bool std::operator==(const std::error_condition&, const std::error_code&)’ 2021-07-09T09:04:46,619 390 | operator==(const error_condition& __lhs, const error_code& __rhs) noexcept 2021-07-09T09:04:46,619 | ^~~~~~~~ 2021-07-09T09:04:46,619 /usr/include/c++/10/system_error:390:37: note: no known conversion for argument 1 from ‘std::ostream’ {aka ‘std::basic_ostream’} to ‘const std::error_condition&’ 2021-07-09T09:04:46,619 390 | operator==(const error_condition& __lhs, const error_code& __rhs) noexcept 2021-07-09T09:04:46,620 | ~~~~~~~~~~~~~~~~~~~~~~~^~~~~ 2021-07-09T09:04:46,620 In file included from /usr/include/c++/10/bits/locale_facets.h:48, 2021-07-09T09:04:46,620 from /usr/include/c++/10/bits/basic_ios.h:37, 2021-07-09T09:04:46,620 from /usr/include/c++/10/ios:44, 2021-07-09T09:04:46,620 from /usr/include/c++/10/ostream:38, 2021-07-09T09:04:46,620 from /usr/include/c++/10/iostream:39, 2021-07-09T09:04:46,620 from src/graphillion/zdd.h:28, 2021-07-09T09:04:46,621 from src/graphillion/zdd.cc:25: 2021-07-09T09:04:46,621 /usr/include/c++/10/bits/streambuf_iterator.h:227:5: note: candidate: ‘template bool std::operator==(const std::istreambuf_iterator<_CharT, _Traits>&, const std::istreambuf_iterator<_CharT, _Traits>&)’ 2021-07-09T09:04:46,621 227 | operator==(const istreambuf_iterator<_CharT, _Traits>& __a, 2021-07-09T09:04:46,621 | ^~~~~~~~ 2021-07-09T09:04:46,621 /usr/include/c++/10/bits/streambuf_iterator.h:227:5: note: template argument deduction/substitution failed: 2021-07-09T09:04:46,621 src/graphillion/zdd.cc:473:39: note: ‘std::ostream’ {aka ‘std::basic_ostream’} is not derived from ‘const std::istreambuf_iterator<_CharT, _Traits>’ 2021-07-09T09:04:46,621 473 | if (out == std::cout || out == std::cerr) 2021-07-09T09:04:46,622 | ^~~~ 2021-07-09T09:04:46,622 In file included from /usr/include/c++/10/set:61, 2021-07-09T09:04:46,622 from src/graphillion/zdd.h:29, 2021-07-09T09:04:46,622 from src/graphillion/zdd.cc:25: 2021-07-09T09:04:46,622 /usr/include/c++/10/bits/stl_set.h:985:5: note: candidate: ‘template bool std::operator==(const std::set<_Key, _Compare, _Alloc>&, const std::set<_Key, _Compare, _Alloc>&)’ 2021-07-09T09:04:46,622 985 | operator==(const set<_Key, _Compare, _Alloc>& __x, 2021-07-09T09:04:46,622 | ^~~~~~~~ 2021-07-09T09:04:46,622 /usr/include/c++/10/bits/stl_set.h:985:5: note: template argument deduction/substitution failed: 2021-07-09T09:04:46,623 src/graphillion/zdd.cc:473:39: note: ‘std::ostream’ {aka ‘std::basic_ostream’} is not derived from ‘const std::set<_Key, _Compare, _Alloc>’ 2021-07-09T09:04:46,623 473 | if (out == std::cout || out == std::cerr) 2021-07-09T09:04:46,623 | ^~~~ 2021-07-09T09:04:46,623 In file included from /usr/include/c++/10/set:62, 2021-07-09T09:04:46,623 from src/graphillion/zdd.h:29, 2021-07-09T09:04:46,623 from src/graphillion/zdd.cc:25: 2021-07-09T09:04:46,623 /usr/include/c++/10/bits/stl_multiset.h:971:5: note: candidate: ‘template bool std::operator==(const std::multiset<_Key, _Compare, _Alloc>&, const std::multiset<_Key, _Compare, _Alloc>&)’ 2021-07-09T09:04:46,624 971 | operator==(const multiset<_Key, _Compare, _Alloc>& __x, 2021-07-09T09:04:46,624 | ^~~~~~~~ 2021-07-09T09:04:46,624 /usr/include/c++/10/bits/stl_multiset.h:971:5: note: template argument deduction/substitution failed: 2021-07-09T09:04:46,624 src/graphillion/zdd.cc:473:39: note: ‘std::ostream’ {aka ‘std::basic_ostream’} is not derived from ‘const std::multiset<_Key, _Compare, _Alloc>’ 2021-07-09T09:04:46,624 473 | if (out == std::cout || out == std::cerr) 2021-07-09T09:04:46,624 | ^~~~ 2021-07-09T09:04:46,624 In file included from /usr/include/c++/10/vector:67, 2021-07-09T09:04:46,625 from src/graphillion/zdd.h:31, 2021-07-09T09:04:46,625 from src/graphillion/zdd.cc:25: 2021-07-09T09:04:46,625 /usr/include/c++/10/bits/stl_vector.h:1892:5: note: candidate: ‘template bool std::operator==(const std::vector<_Tp, _Alloc>&, const std::vector<_Tp, _Alloc>&)’ 2021-07-09T09:04:46,625 1892 | operator==(const vector<_Tp, _Alloc>& __x, const vector<_Tp, _Alloc>& __y) 2021-07-09T09:04:46,625 | ^~~~~~~~ 2021-07-09T09:04:46,625 /usr/include/c++/10/bits/stl_vector.h:1892:5: note: template argument deduction/substitution failed: 2021-07-09T09:04:46,625 src/graphillion/zdd.cc:473:39: note: ‘std::ostream’ {aka ‘std::basic_ostream’} is not derived from ‘const std::vector<_Tp, _Alloc>’ 2021-07-09T09:04:46,625 473 | if (out == std::cout || out == std::cerr) 2021-07-09T09:04:46,626 | ^~~~ 2021-07-09T09:04:46,626 In file included from /usr/include/c++/10/tuple:39, 2021-07-09T09:04:46,626 from /usr/include/c++/10/bits/stl_map.h:63, 2021-07-09T09:04:46,626 from /usr/include/c++/10/map:61, 2021-07-09T09:04:46,626 from src/graphillion/zdd.cc:31: 2021-07-09T09:04:46,626 /usr/include/c++/10/array:253:5: note: candidate: ‘template bool std::operator==(const std::array<_Tp, _Nm>&, const std::array<_Tp, _Nm>&)’ 2021-07-09T09:04:46,626 253 | operator==(const array<_Tp, _Nm>& __one, const array<_Tp, _Nm>& __two) 2021-07-09T09:04:46,627 | ^~~~~~~~ 2021-07-09T09:04:46,627 /usr/include/c++/10/array:253:5: note: template argument deduction/substitution failed: 2021-07-09T09:04:46,627 src/graphillion/zdd.cc:473:39: note: ‘std::ostream’ {aka ‘std::basic_ostream’} is not derived from ‘const std::array<_Tp, _Nm>’ 2021-07-09T09:04:46,627 473 | if (out == std::cout || out == std::cerr) 2021-07-09T09:04:46,627 | ^~~~ 2021-07-09T09:04:46,627 In file included from /usr/include/c++/10/bits/stl_map.h:63, 2021-07-09T09:04:46,627 from /usr/include/c++/10/map:61, 2021-07-09T09:04:46,627 from src/graphillion/zdd.cc:31: 2021-07-09T09:04:46,628 /usr/include/c++/10/tuple:1393:5: note: candidate: ‘template constexpr bool std::operator==(const std::tuple<_Tps ...>&, const std::tuple<_Args2 ...>&)’ 2021-07-09T09:04:46,628 1393 | operator==(const tuple<_TElements...>& __t, 2021-07-09T09:04:46,628 | ^~~~~~~~ 2021-07-09T09:04:46,628 /usr/include/c++/10/tuple:1393:5: note: template argument deduction/substitution failed: 2021-07-09T09:04:46,628 src/graphillion/zdd.cc:473:39: note: ‘std::ostream’ {aka ‘std::basic_ostream’} is not derived from ‘const std::tuple<_Tps ...>’ 2021-07-09T09:04:46,628 473 | if (out == std::cout || out == std::cerr) 2021-07-09T09:04:46,628 | ^~~~ 2021-07-09T09:04:46,629 In file included from /usr/include/c++/10/map:61, 2021-07-09T09:04:46,629 from src/graphillion/zdd.cc:31: 2021-07-09T09:04:46,629 /usr/include/c++/10/bits/stl_map.h:1463:5: note: candidate: ‘template bool std::operator==(const std::map<_Key, _Tp, _Compare, _Alloc>&, const std::map<_Key, _Tp, _Compare, _Alloc>&)’ 2021-07-09T09:04:46,629 1463 | operator==(const map<_Key, _Tp, _Compare, _Alloc>& __x, 2021-07-09T09:04:46,629 | ^~~~~~~~ 2021-07-09T09:04:46,629 /usr/include/c++/10/bits/stl_map.h:1463:5: note: template argument deduction/substitution failed: 2021-07-09T09:04:46,629 src/graphillion/zdd.cc:473:39: note: ‘std::ostream’ {aka ‘std::basic_ostream’} is not derived from ‘const std::map<_Key, _Tp, _Compare, _Alloc>’ 2021-07-09T09:04:46,630 473 | if (out == std::cout || out == std::cerr) 2021-07-09T09:04:46,630 | ^~~~ 2021-07-09T09:04:46,630 In file included from /usr/include/c++/10/map:62, 2021-07-09T09:04:46,630 from src/graphillion/zdd.cc:31: 2021-07-09T09:04:46,630 /usr/include/c++/10/bits/stl_multimap.h:1128:5: note: candidate: ‘template bool std::operator==(const std::multimap<_Key, _Tp, _Compare, _Alloc>&, const std::multimap<_Key, _Tp, _Compare, _Alloc>&)’ 2021-07-09T09:04:46,630 1128 | operator==(const multimap<_Key, _Tp, _Compare, _Alloc>& __x, 2021-07-09T09:04:46,630 | ^~~~~~~~ 2021-07-09T09:04:46,630 /usr/include/c++/10/bits/stl_multimap.h:1128:5: note: template argument deduction/substitution failed: 2021-07-09T09:04:46,631 src/graphillion/zdd.cc:473:39: note: ‘std::ostream’ {aka ‘std::basic_ostream’} is not derived from ‘const std::multimap<_Key, _Tp, _Compare, _Alloc>’ 2021-07-09T09:04:46,631 473 | if (out == std::cout || out == std::cerr) 2021-07-09T09:04:46,631 | ^~~~ 2021-07-09T09:04:47,483 error: command '/usr/bin/arm-linux-gnueabihf-gcc' failed with exit code 1 2021-07-09T09:04:47,566 Building wheel for graphillion (setup.py): finished with status 'error' 2021-07-09T09:04:47,566 ERROR: Failed building wheel for graphillion 2021-07-09T09:04:47,567 Running setup.py clean for graphillion 2021-07-09T09:04:47,567 Running command /usr/bin/python3 -u -c 'import io, os, sys, setuptools, tokenize; sys.argv[0] = '"'"'/tmp/pip-wheel-z_06ibhg/graphillion_8b1de364598440b18a54425c22a53250/setup.py'"'"'; __file__='"'"'/tmp/pip-wheel-z_06ibhg/graphillion_8b1de364598440b18a54425c22a53250/setup.py'"'"';f = getattr(tokenize, '"'"'open'"'"', open)(__file__) if os.path.exists(__file__) else io.StringIO('"'"'from setuptools import setup; setup()'"'"');code = f.read().replace('"'"'\r\n'"'"', '"'"'\n'"'"');f.close();exec(compile(code, __file__, '"'"'exec'"'"'))' clean --all 2021-07-09T09:04:48,350 running clean 2021-07-09T09:04:48,352 removing 'build/temp.linux-armv7l-3.9' (and everything under it) 2021-07-09T09:04:48,360 removing 'build/lib.linux-armv7l-3.9' (and everything under it) 2021-07-09T09:04:48,363 'build/bdist.linux-armv7l' does not exist -- can't clean it 2021-07-09T09:04:48,364 'build/scripts-3.9' does not exist -- can't clean it 2021-07-09T09:04:48,364 removing 'build' 2021-07-09T09:04:48,421 Failed to build graphillion 2021-07-09T09:04:48,421 ERROR: Failed to build one or more wheels 2021-07-09T09:04:48,422 Exception information: 2021-07-09T09:04:48,422 Traceback (most recent call last): 2021-07-09T09:04:48,422 File "/usr/local/lib/python3.9/dist-packages/pip/_internal/cli/base_command.py", line 180, in _main 2021-07-09T09:04:48,422 status = self.run(options, args) 2021-07-09T09:04:48,422 File "/usr/local/lib/python3.9/dist-packages/pip/_internal/cli/req_command.py", line 205, in wrapper 2021-07-09T09:04:48,422 return func(self, options, args) 2021-07-09T09:04:48,422 File "/usr/local/lib/python3.9/dist-packages/pip/_internal/commands/wheel.py", line 174, in run 2021-07-09T09:04:48,422 raise CommandError( 2021-07-09T09:04:48,422 pip._internal.exceptions.CommandError: Failed to build one or more wheels 2021-07-09T09:04:48,425 Removed build tracker: '/tmp/pip-req-tracker-g02oiwk_'