2021-07-09T16:38:25,262 Created temporary directory: /tmp/pip-ephem-wheel-cache-xcxfy95z 2021-07-09T16:38:25,265 Created temporary directory: /tmp/pip-req-tracker-purzj3up 2021-07-09T16:38:25,266 Initialized build tracking at /tmp/pip-req-tracker-purzj3up 2021-07-09T16:38:25,266 Created build tracker: /tmp/pip-req-tracker-purzj3up 2021-07-09T16:38:25,266 Entered build tracker: /tmp/pip-req-tracker-purzj3up 2021-07-09T16:38:25,267 Created temporary directory: /tmp/pip-wheel-hbs6cvy4 2021-07-09T16:38:25,307 1 location(s) to search for versions of graphillion: 2021-07-09T16:38:25,307 * https://pypi.org/simple/graphillion/ 2021-07-09T16:38:25,308 Fetching project page and analyzing links: https://pypi.org/simple/graphillion/ 2021-07-09T16:38:25,308 Getting page https://pypi.org/simple/graphillion/ 2021-07-09T16:38:25,310 Found index url https://pypi.org/simple 2021-07-09T16:38:25,422 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-09T16:38:25,422 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-09T16:38:25,423 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-09T16:38:25,423 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-09T16:38:25,423 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-09T16:38:25,424 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-09T16:38:25,424 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-09T16:38:25,425 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-09T16:38:25,425 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-09T16:38:25,426 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-09T16:38:25,443 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-09T16:38:25,443 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-09T16:38:25,444 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-09T16:38:25,445 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-09T16:38:25,445 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-09T16:38:25,446 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-09T16:38:25,446 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-09T16:38:25,447 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-09T16:38:25,448 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-09T16:38:25,448 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-09T16:38:25,449 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-09T16:38:25,449 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-09T16:38:25,450 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-09T16:38:25,450 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-09T16:38:25,451 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-09T16:38:25,451 Skipping link: none of the wheel's tags (cp39-cp39-macosx_11_0_x86_64) are compatible (run pip debug --verbose to show compatible tags): https://files.pythonhosted.org/packages/5f/73/409a905cb1173e6aea2fb9dd04865466ba2cad2ab70e98ba0d521428ab5d/Graphillion-1.5-cp39-cp39-macosx_11_0_x86_64.whl#sha256=4edfc20f74af5d596fd58ed04de98b808aa15dd0a9c510325a37a88099acc64b (from https://pypi.org/simple/graphillion/) 2021-07-09T16:38:25,452 Found link https://files.pythonhosted.org/packages/4b/fb/ce4e83506e43d632994244eb88459cb213b52cfb86114b987778b97b10d6/Graphillion-1.5.tar.gz#sha256=55cc9386ea115364df52e51a8af163dc3061a37a720ddc790ffda2162eb1673e (from https://pypi.org/simple/graphillion/), version: 1.5 2021-07-09T16:38:25,452 Skipping link: not a file: https://pypi.org/simple/graphillion/ 2021-07-09T16:38:25,456 Given no hashes to check 1 links for project 'graphillion': discarding no candidates 2021-07-09T16:38:25,474 Collecting graphillion==0.92 2021-07-09T16:38:25,476 Created temporary directory: /tmp/pip-unpack-5rwe8sfh 2021-07-09T16:38:26,069 Downloading Graphillion-0.92.tar.gz (1.0 MB) 2021-07-09T16:38:26,413 Added graphillion==0.92 from https://files.pythonhosted.org/packages/bd/44/6de72bf3b63e1ec4f0b6faaa5ea9e6c43ed3f6c800a2c136bd58c8250cb4/Graphillion-0.92.tar.gz#sha256=43da6ef180dd48e98e6ff22021ec06ce4ddfd3522959b0608bfac151af201eb3 to build tracker '/tmp/pip-req-tracker-purzj3up' 2021-07-09T16:38:26,414 Running setup.py (path:/tmp/pip-wheel-hbs6cvy4/graphillion_633230eeebae4383bffb2377a586abc8/setup.py) egg_info for package graphillion 2021-07-09T16:38:26,414 Created temporary directory: /tmp/pip-pip-egg-info-t6uats55 2021-07-09T16:38:26,415 Running command python setup.py egg_info 2021-07-09T16:38:27,230 running egg_info 2021-07-09T16:38:27,233 creating /tmp/pip-pip-egg-info-t6uats55/Graphillion.egg-info 2021-07-09T16:38:27,234 writing /tmp/pip-pip-egg-info-t6uats55/Graphillion.egg-info/PKG-INFO 2021-07-09T16:38:27,236 writing dependency_links to /tmp/pip-pip-egg-info-t6uats55/Graphillion.egg-info/dependency_links.txt 2021-07-09T16:38:27,238 writing top-level names to /tmp/pip-pip-egg-info-t6uats55/Graphillion.egg-info/top_level.txt 2021-07-09T16:38:27,240 writing manifest file '/tmp/pip-pip-egg-info-t6uats55/Graphillion.egg-info/SOURCES.txt' 2021-07-09T16:38:27,581 reading manifest file '/tmp/pip-pip-egg-info-t6uats55/Graphillion.egg-info/SOURCES.txt' 2021-07-09T16:38:27,583 reading manifest template 'MANIFEST.in' 2021-07-09T16:38:27,590 writing manifest file '/tmp/pip-pip-egg-info-t6uats55/Graphillion.egg-info/SOURCES.txt' 2021-07-09T16:38:27,669 Source in /tmp/pip-wheel-hbs6cvy4/graphillion_633230eeebae4383bffb2377a586abc8 has version 0.92, which satisfies requirement graphillion==0.92 from https://files.pythonhosted.org/packages/bd/44/6de72bf3b63e1ec4f0b6faaa5ea9e6c43ed3f6c800a2c136bd58c8250cb4/Graphillion-0.92.tar.gz#sha256=43da6ef180dd48e98e6ff22021ec06ce4ddfd3522959b0608bfac151af201eb3 2021-07-09T16:38:27,670 Removed graphillion==0.92 from https://files.pythonhosted.org/packages/bd/44/6de72bf3b63e1ec4f0b6faaa5ea9e6c43ed3f6c800a2c136bd58c8250cb4/Graphillion-0.92.tar.gz#sha256=43da6ef180dd48e98e6ff22021ec06ce4ddfd3522959b0608bfac151af201eb3 from build tracker '/tmp/pip-req-tracker-purzj3up' 2021-07-09T16:38:27,675 Created temporary directory: /tmp/pip-unpack-o6eifqyw 2021-07-09T16:38:27,675 Building wheels for collected packages: graphillion 2021-07-09T16:38:27,680 Created temporary directory: /tmp/pip-wheel-cnqohz1v 2021-07-09T16:38:27,680 Building wheel for graphillion (setup.py): started 2021-07-09T16:38:27,680 Destination directory: /tmp/pip-wheel-cnqohz1v 2021-07-09T16:38:27,681 Running command /usr/bin/python3 -u -c 'import io, os, sys, setuptools, tokenize; sys.argv[0] = '"'"'/tmp/pip-wheel-hbs6cvy4/graphillion_633230eeebae4383bffb2377a586abc8/setup.py'"'"'; __file__='"'"'/tmp/pip-wheel-hbs6cvy4/graphillion_633230eeebae4383bffb2377a586abc8/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-cnqohz1v 2021-07-09T16:38:28,531 running bdist_wheel 2021-07-09T16:38:28,718 running build 2021-07-09T16:38:28,718 running build_py 2021-07-09T16:38:28,868 creating build 2021-07-09T16:38:28,868 creating build/lib.linux-armv7l-3.9 2021-07-09T16:38:28,869 creating build/lib.linux-armv7l-3.9/graphillion 2021-07-09T16:38:28,871 copying graphillion/release.py -> build/lib.linux-armv7l-3.9/graphillion 2021-07-09T16:38:28,873 copying graphillion/__init__.py -> build/lib.linux-armv7l-3.9/graphillion 2021-07-09T16:38:28,875 copying graphillion/graphset.py -> build/lib.linux-armv7l-3.9/graphillion 2021-07-09T16:38:28,878 copying graphillion/setset.py -> build/lib.linux-armv7l-3.9/graphillion 2021-07-09T16:38:28,880 copying graphillion/tutorial.py -> build/lib.linux-armv7l-3.9/graphillion 2021-07-09T16:38:28,883 running build_ext 2021-07-09T16:38:28,888 building '_graphillion' extension 2021-07-09T16:38:28,889 creating build/temp.linux-armv7l-3.9 2021-07-09T16:38:28,889 creating build/temp.linux-armv7l-3.9/src 2021-07-09T16:38:28,890 creating build/temp.linux-armv7l-3.9/src/SAPPOROBDD 2021-07-09T16:38:28,891 creating build/temp.linux-armv7l-3.9/src/graphillion 2021-07-09T16:38:28,892 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-09T16:38:33,643 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-09T16:38:40,390 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-09T16:38:40,608 src/SAPPOROBDD/bddc.c: In function ‘import’: 2021-07-09T16:38:40,610 src/SAPPOROBDD/bddc.c:2586:11: warning: comparison of integer expressions of different signedness: ‘int’ and ‘bddvar’ {aka ‘unsigned int’} [-Wsign-compare] 2021-07-09T16:38:40,610 2586 | while(n > bddvarused()) bddnewvar(); 2021-07-09T16:38:40,610 | ^ 2021-07-09T16:38:44,802 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-09T16:38:48,727 In file included from src/subsetting/dd/DdNodeTable.hpp:18, 2021-07-09T16:38:48,727 from src/subsetting/dd/DdBuilder.hpp:20, 2021-07-09T16:38:48,727 from src/subsetting/dd/ZddStructure.hpp:14, 2021-07-09T16:38:48,728 from src/graphillion/graphset.cc:32: 2021-07-09T16:38:48,728 src/subsetting/dd/../util/MyVector.hpp: In instantiation of ‘void MyVector::shrink(size_t) [with T = MyVector; size_t = unsigned int]’: 2021-07-09T16:38:48,728 src/subsetting/dd/../util/MyVector.hpp:188:9: required from ‘void MyVector::clear() [with T = MyVector]’ 2021-07-09T16:38:48,728 src/subsetting/dd/DdNodeTable.hpp:50:32: required from here 2021-07-09T16:38:48,728 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-09T16:38:48,728 177 | std::memcpy(tmp, array_, size_ * sizeof(T)); 2021-07-09T16:38:48,728 | ~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-09T16:38:48,729 src/subsetting/dd/../util/MyVector.hpp:14:7: note: ‘class MyVector’ declared here 2021-07-09T16:38:48,729 14 | class MyVector { 2021-07-09T16:38:48,729 | ^~~~~~~~ 2021-07-09T16:38:49,428 src/subsetting/dd/../util/MyVector.hpp: In instantiation of ‘void MyVector::shrink(size_t) [with T = MyList; size_t = unsigned int]’: 2021-07-09T16:38:49,429 src/subsetting/dd/../util/MyVector.hpp:188:9: required from ‘void MyVector::clear() [with T = MyList]’ 2021-07-09T16:38:49,429 src/subsetting/dd/../util/MyVector.hpp:87:9: required from ‘MyVector::~MyVector() [with T = MyList]’ 2021-07-09T16:38:49,429 src/subsetting/dd/DdBuilder.hpp:79:7: required from ‘void ZddStructure::construct_(SPEC&) [with SPEC = SapporoZdd]’ 2021-07-09T16:38:49,429 src/subsetting/dd/ZddStructure.hpp:68:19: required from ‘ZddStructure::ZddStructure(DdSpec&, bool) [with SPEC = SapporoZdd]’ 2021-07-09T16:38:49,429 src/graphillion/graphset.cc:90:28: required from here 2021-07-09T16:38:49,429 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-09T16:38:49,430 177 | std::memcpy(tmp, array_, size_ * sizeof(T)); 2021-07-09T16:38:49,430 | ~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-09T16:38:49,430 In file included from src/subsetting/dd/DdBuilder.hpp:23, 2021-07-09T16:38:49,430 from src/subsetting/dd/ZddStructure.hpp:14, 2021-07-09T16:38:49,430 from src/graphillion/graphset.cc:32: 2021-07-09T16:38:49,430 src/subsetting/dd/../util/MyList.hpp:15:7: note: ‘class MyList’ declared here 2021-07-09T16:38:49,431 15 | class MyList { 2021-07-09T16:38:49,431 | ^~~~~~ 2021-07-09T16:39:06,426 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-09T16:39:12,173 In file included from /usr/include/c++/10/vector:72, 2021-07-09T16:39:12,173 from src/graphillion/setset.h:34, 2021-07-09T16:39:12,174 from src/graphillion/setset.cc:25: 2021-07-09T16:39:12,174 /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-09T16:39:12,174 /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-09T16:39:12,174 426 | vector<_Tp, _Alloc>:: 2021-07-09T16:39:12,174 | ^~~~~~~~~~~~~~~~~~~ 2021-07-09T16:39:12,714 /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-09T16:39:12,715 /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-09T16:39:12,715 121 | _M_realloc_insert(end(), std::forward<_Args>(__args)...); 2021-07-09T16:39:12,715 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-09T16:39:13,629 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-09T16:39:16,280 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-09T16:39:18,615 src/graphillion/zdd.cc: In function ‘void graphillion::_enum(graphillion::zdd_t, std::ostream&, const std::pair&, const std::pair&)’: 2021-07-09T16:39:18,615 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-09T16:39:18,615 473 | if (out == std::cout || out == std::cerr) 2021-07-09T16:39:18,615 | ~~~ ^~ ~~~~~~~~~ 2021-07-09T16:39:18,615 | | | 2021-07-09T16:39:18,615 | | basic_ostream<[...]> 2021-07-09T16:39:18,616 | basic_ostream<[...]> 2021-07-09T16:39:18,616 src/graphillion/zdd.cc:473:11: note: candidate: ‘operator==(int, int)’ (built-in) 2021-07-09T16:39:18,616 473 | if (out == std::cout || out == std::cerr) 2021-07-09T16:39:18,616 | ~~~~^~~~~~~~~~~~ 2021-07-09T16:39:18,616 src/graphillion/zdd.cc:473:11: note: no known conversion for argument 2 from ‘std::ostream’ {aka ‘std::basic_ostream’} to ‘int’ 2021-07-09T16:39:18,617 In file included from src/graphillion/type.h:31, 2021-07-09T16:39:18,617 from src/graphillion/zdd.h:33, 2021-07-09T16:39:18,617 from src/graphillion/zdd.cc:25: 2021-07-09T16:39:18,617 /usr/include/gmpxx.h:3330:1: note: candidate: ‘template bool operator==(const __gmp_expr&, const __gmp_expr&)’ 2021-07-09T16:39:18,618 3330 | __GMP_DEFINE_BINARY_TYPE_FUNCTION(bool, operator==, __gmp_binary_equal) 2021-07-09T16:39:18,618 | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-09T16:39:18,618 /usr/include/gmpxx.h:3330:1: note: template argument deduction/substitution failed: 2021-07-09T16:39:18,618 src/graphillion/zdd.cc:473:19: note: ‘std::ostream’ {aka ‘std::basic_ostream’} is not derived from ‘const __gmp_expr’ 2021-07-09T16:39:18,618 473 | if (out == std::cout || out == std::cerr) 2021-07-09T16:39:18,618 | ^~~~ 2021-07-09T16:39:18,619 In file included from src/graphillion/type.h:31, 2021-07-09T16:39:18,619 from src/graphillion/zdd.h:33, 2021-07-09T16:39:18,619 from src/graphillion/zdd.cc:25: 2021-07-09T16:39:18,619 /usr/include/gmpxx.h:3330:1: note: candidate: ‘template bool operator==(const __gmp_expr&, signed char)’ 2021-07-09T16:39:18,619 3330 | __GMP_DEFINE_BINARY_TYPE_FUNCTION(bool, operator==, __gmp_binary_equal) 2021-07-09T16:39:18,619 | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-09T16:39:18,620 /usr/include/gmpxx.h:3330:1: note: template argument deduction/substitution failed: 2021-07-09T16:39:18,620 src/graphillion/zdd.cc:473:19: note: ‘std::ostream’ {aka ‘std::basic_ostream’} is not derived from ‘const __gmp_expr’ 2021-07-09T16:39:18,620 473 | if (out == std::cout || out == std::cerr) 2021-07-09T16:39:18,620 | ^~~~ 2021-07-09T16:39:18,620 In file included from src/graphillion/type.h:31, 2021-07-09T16:39:18,621 from src/graphillion/zdd.h:33, 2021-07-09T16:39:18,621 from src/graphillion/zdd.cc:25: 2021-07-09T16:39:18,621 /usr/include/gmpxx.h:3330:1: note: candidate: ‘template bool operator==(signed char, const __gmp_expr&)’ 2021-07-09T16:39:18,621 3330 | __GMP_DEFINE_BINARY_TYPE_FUNCTION(bool, operator==, __gmp_binary_equal) 2021-07-09T16:39:18,621 | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-09T16:39:18,621 /usr/include/gmpxx.h:3330:1: note: template argument deduction/substitution failed: 2021-07-09T16:39:18,622 src/graphillion/zdd.cc:473:19: note: ‘std::ostream’ {aka ‘std::basic_ostream’} is not derived from ‘const __gmp_expr’ 2021-07-09T16:39:18,622 473 | if (out == std::cout || out == std::cerr) 2021-07-09T16:39:18,622 | ^~~~ 2021-07-09T16:39:18,622 In file included from src/graphillion/type.h:31, 2021-07-09T16:39:18,622 from src/graphillion/zdd.h:33, 2021-07-09T16:39:18,622 from src/graphillion/zdd.cc:25: 2021-07-09T16:39:18,623 /usr/include/gmpxx.h:3330:1: note: candidate: ‘template bool operator==(const __gmp_expr&, unsigned char)’ 2021-07-09T16:39:18,623 3330 | __GMP_DEFINE_BINARY_TYPE_FUNCTION(bool, operator==, __gmp_binary_equal) 2021-07-09T16:39:18,623 | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-09T16:39:18,623 /usr/include/gmpxx.h:3330:1: note: template argument deduction/substitution failed: 2021-07-09T16:39:18,625 src/graphillion/zdd.cc:473:19: note: ‘std::ostream’ {aka ‘std::basic_ostream’} is not derived from ‘const __gmp_expr’ 2021-07-09T16:39:18,625 473 | if (out == std::cout || out == std::cerr) 2021-07-09T16:39:18,625 | ^~~~ 2021-07-09T16:39:18,625 In file included from src/graphillion/type.h:31, 2021-07-09T16:39:18,625 from src/graphillion/zdd.h:33, 2021-07-09T16:39:18,625 from src/graphillion/zdd.cc:25: 2021-07-09T16:39:18,626 /usr/include/gmpxx.h:3330:1: note: candidate: ‘template bool operator==(unsigned char, const __gmp_expr&)’ 2021-07-09T16:39:18,626 3330 | __GMP_DEFINE_BINARY_TYPE_FUNCTION(bool, operator==, __gmp_binary_equal) 2021-07-09T16:39:18,626 | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-09T16:39:18,626 /usr/include/gmpxx.h:3330:1: note: template argument deduction/substitution failed: 2021-07-09T16:39:18,626 src/graphillion/zdd.cc:473:19: note: ‘std::ostream’ {aka ‘std::basic_ostream’} is not derived from ‘const __gmp_expr’ 2021-07-09T16:39:18,627 473 | if (out == std::cout || out == std::cerr) 2021-07-09T16:39:18,627 | ^~~~ 2021-07-09T16:39:18,627 In file included from src/graphillion/type.h:31, 2021-07-09T16:39:18,627 from src/graphillion/zdd.h:33, 2021-07-09T16:39:18,627 from src/graphillion/zdd.cc:25: 2021-07-09T16:39:18,627 /usr/include/gmpxx.h:3330:1: note: candidate: ‘template bool operator==(const __gmp_expr&, int)’ 2021-07-09T16:39:18,628 3330 | __GMP_DEFINE_BINARY_TYPE_FUNCTION(bool, operator==, __gmp_binary_equal) 2021-07-09T16:39:18,628 | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-09T16:39:18,628 /usr/include/gmpxx.h:3330:1: note: template argument deduction/substitution failed: 2021-07-09T16:39:18,628 src/graphillion/zdd.cc:473:19: note: ‘std::ostream’ {aka ‘std::basic_ostream’} is not derived from ‘const __gmp_expr’ 2021-07-09T16:39:18,628 473 | if (out == std::cout || out == std::cerr) 2021-07-09T16:39:18,628 | ^~~~ 2021-07-09T16:39:18,629 In file included from src/graphillion/type.h:31, 2021-07-09T16:39:18,629 from src/graphillion/zdd.h:33, 2021-07-09T16:39:18,629 from src/graphillion/zdd.cc:25: 2021-07-09T16:39:18,629 /usr/include/gmpxx.h:3330:1: note: candidate: ‘template bool operator==(int, const __gmp_expr&)’ 2021-07-09T16:39:18,629 3330 | __GMP_DEFINE_BINARY_TYPE_FUNCTION(bool, operator==, __gmp_binary_equal) 2021-07-09T16:39:18,629 | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-09T16:39:18,629 /usr/include/gmpxx.h:3330:1: note: template argument deduction/substitution failed: 2021-07-09T16:39:18,630 src/graphillion/zdd.cc:473:19: note: ‘std::ostream’ {aka ‘std::basic_ostream’} is not derived from ‘const __gmp_expr’ 2021-07-09T16:39:18,630 473 | if (out == std::cout || out == std::cerr) 2021-07-09T16:39:18,630 | ^~~~ 2021-07-09T16:39:18,630 In file included from src/graphillion/type.h:31, 2021-07-09T16:39:18,630 from src/graphillion/zdd.h:33, 2021-07-09T16:39:18,631 from src/graphillion/zdd.cc:25: 2021-07-09T16:39:18,631 /usr/include/gmpxx.h:3330:1: note: candidate: ‘template bool operator==(const __gmp_expr&, unsigned int)’ 2021-07-09T16:39:18,631 3330 | __GMP_DEFINE_BINARY_TYPE_FUNCTION(bool, operator==, __gmp_binary_equal) 2021-07-09T16:39:18,631 | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-09T16:39:18,631 /usr/include/gmpxx.h:3330:1: note: template argument deduction/substitution failed: 2021-07-09T16:39:18,631 src/graphillion/zdd.cc:473:19: note: ‘std::ostream’ {aka ‘std::basic_ostream’} is not derived from ‘const __gmp_expr’ 2021-07-09T16:39:18,631 473 | if (out == std::cout || out == std::cerr) 2021-07-09T16:39:18,632 | ^~~~ 2021-07-09T16:39:18,632 In file included from src/graphillion/type.h:31, 2021-07-09T16:39:18,632 from src/graphillion/zdd.h:33, 2021-07-09T16:39:18,632 from src/graphillion/zdd.cc:25: 2021-07-09T16:39:18,632 /usr/include/gmpxx.h:3330:1: note: candidate: ‘template bool operator==(unsigned int, const __gmp_expr&)’ 2021-07-09T16:39:18,632 3330 | __GMP_DEFINE_BINARY_TYPE_FUNCTION(bool, operator==, __gmp_binary_equal) 2021-07-09T16:39:18,632 | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-09T16:39:18,632 /usr/include/gmpxx.h:3330:1: note: template argument deduction/substitution failed: 2021-07-09T16:39:18,633 src/graphillion/zdd.cc:473:19: note: ‘std::ostream’ {aka ‘std::basic_ostream’} is not derived from ‘const __gmp_expr’ 2021-07-09T16:39:18,633 473 | if (out == std::cout || out == std::cerr) 2021-07-09T16:39:18,633 | ^~~~ 2021-07-09T16:39:18,633 In file included from src/graphillion/type.h:31, 2021-07-09T16:39:18,633 from src/graphillion/zdd.h:33, 2021-07-09T16:39:18,633 from src/graphillion/zdd.cc:25: 2021-07-09T16:39:18,633 /usr/include/gmpxx.h:3330:1: note: candidate: ‘template bool operator==(const __gmp_expr&, short int)’ 2021-07-09T16:39:18,634 3330 | __GMP_DEFINE_BINARY_TYPE_FUNCTION(bool, operator==, __gmp_binary_equal) 2021-07-09T16:39:18,634 | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-09T16:39:18,634 /usr/include/gmpxx.h:3330:1: note: template argument deduction/substitution failed: 2021-07-09T16:39:18,634 src/graphillion/zdd.cc:473:19: note: ‘std::ostream’ {aka ‘std::basic_ostream’} is not derived from ‘const __gmp_expr’ 2021-07-09T16:39:18,634 473 | if (out == std::cout || out == std::cerr) 2021-07-09T16:39:18,635 | ^~~~ 2021-07-09T16:39:18,635 In file included from src/graphillion/type.h:31, 2021-07-09T16:39:18,635 from src/graphillion/zdd.h:33, 2021-07-09T16:39:18,635 from src/graphillion/zdd.cc:25: 2021-07-09T16:39:18,635 /usr/include/gmpxx.h:3330:1: note: candidate: ‘template bool operator==(short int, const __gmp_expr&)’ 2021-07-09T16:39:18,635 3330 | __GMP_DEFINE_BINARY_TYPE_FUNCTION(bool, operator==, __gmp_binary_equal) 2021-07-09T16:39:18,636 | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-09T16:39:18,636 /usr/include/gmpxx.h:3330:1: note: template argument deduction/substitution failed: 2021-07-09T16:39:18,636 src/graphillion/zdd.cc:473:19: note: ‘std::ostream’ {aka ‘std::basic_ostream’} is not derived from ‘const __gmp_expr’ 2021-07-09T16:39:18,636 473 | if (out == std::cout || out == std::cerr) 2021-07-09T16:39:18,636 | ^~~~ 2021-07-09T16:39:18,636 In file included from src/graphillion/type.h:31, 2021-07-09T16:39:18,636 from src/graphillion/zdd.h:33, 2021-07-09T16:39:18,637 from src/graphillion/zdd.cc:25: 2021-07-09T16:39:18,637 /usr/include/gmpxx.h:3330:1: note: candidate: ‘template bool operator==(const __gmp_expr&, short unsigned int)’ 2021-07-09T16:39:18,637 3330 | __GMP_DEFINE_BINARY_TYPE_FUNCTION(bool, operator==, __gmp_binary_equal) 2021-07-09T16:39:18,637 | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-09T16:39:18,637 /usr/include/gmpxx.h:3330:1: note: template argument deduction/substitution failed: 2021-07-09T16:39:18,637 src/graphillion/zdd.cc:473:19: note: ‘std::ostream’ {aka ‘std::basic_ostream’} is not derived from ‘const __gmp_expr’ 2021-07-09T16:39:18,638 473 | if (out == std::cout || out == std::cerr) 2021-07-09T16:39:18,638 | ^~~~ 2021-07-09T16:39:18,638 In file included from src/graphillion/type.h:31, 2021-07-09T16:39:18,638 from src/graphillion/zdd.h:33, 2021-07-09T16:39:18,639 from src/graphillion/zdd.cc:25: 2021-07-09T16:39:18,639 /usr/include/gmpxx.h:3330:1: note: candidate: ‘template bool operator==(short unsigned int, const __gmp_expr&)’ 2021-07-09T16:39:18,639 3330 | __GMP_DEFINE_BINARY_TYPE_FUNCTION(bool, operator==, __gmp_binary_equal) 2021-07-09T16:39:18,639 | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-09T16:39:18,639 /usr/include/gmpxx.h:3330:1: note: template argument deduction/substitution failed: 2021-07-09T16:39:18,639 src/graphillion/zdd.cc:473:19: note: ‘std::ostream’ {aka ‘std::basic_ostream’} is not derived from ‘const __gmp_expr’ 2021-07-09T16:39:18,639 473 | if (out == std::cout || out == std::cerr) 2021-07-09T16:39:18,640 | ^~~~ 2021-07-09T16:39:18,640 In file included from src/graphillion/type.h:31, 2021-07-09T16:39:18,640 from src/graphillion/zdd.h:33, 2021-07-09T16:39:18,640 from src/graphillion/zdd.cc:25: 2021-07-09T16:39:18,640 /usr/include/gmpxx.h:3330:1: note: candidate: ‘template bool operator==(const __gmp_expr&, long int)’ 2021-07-09T16:39:18,640 3330 | __GMP_DEFINE_BINARY_TYPE_FUNCTION(bool, operator==, __gmp_binary_equal) 2021-07-09T16:39:18,640 | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-09T16:39:18,640 /usr/include/gmpxx.h:3330:1: note: template argument deduction/substitution failed: 2021-07-09T16:39:18,640 src/graphillion/zdd.cc:473:19: note: ‘std::ostream’ {aka ‘std::basic_ostream’} is not derived from ‘const __gmp_expr’ 2021-07-09T16:39:18,641 473 | if (out == std::cout || out == std::cerr) 2021-07-09T16:39:18,641 | ^~~~ 2021-07-09T16:39:18,641 In file included from src/graphillion/type.h:31, 2021-07-09T16:39:18,641 from src/graphillion/zdd.h:33, 2021-07-09T16:39:18,641 from src/graphillion/zdd.cc:25: 2021-07-09T16:39:18,641 /usr/include/gmpxx.h:3330:1: note: candidate: ‘template bool operator==(long int, const __gmp_expr&)’ 2021-07-09T16:39:18,641 3330 | __GMP_DEFINE_BINARY_TYPE_FUNCTION(bool, operator==, __gmp_binary_equal) 2021-07-09T16:39:18,641 | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-09T16:39:18,642 /usr/include/gmpxx.h:3330:1: note: template argument deduction/substitution failed: 2021-07-09T16:39:18,642 src/graphillion/zdd.cc:473:19: note: ‘std::ostream’ {aka ‘std::basic_ostream’} is not derived from ‘const __gmp_expr’ 2021-07-09T16:39:18,642 473 | if (out == std::cout || out == std::cerr) 2021-07-09T16:39:18,642 | ^~~~ 2021-07-09T16:39:18,642 In file included from src/graphillion/type.h:31, 2021-07-09T16:39:18,642 from src/graphillion/zdd.h:33, 2021-07-09T16:39:18,643 from src/graphillion/zdd.cc:25: 2021-07-09T16:39:18,643 /usr/include/gmpxx.h:3330:1: note: candidate: ‘template bool operator==(const __gmp_expr&, long unsigned int)’ 2021-07-09T16:39:18,643 3330 | __GMP_DEFINE_BINARY_TYPE_FUNCTION(bool, operator==, __gmp_binary_equal) 2021-07-09T16:39:18,643 | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-09T16:39:18,643 /usr/include/gmpxx.h:3330:1: note: template argument deduction/substitution failed: 2021-07-09T16:39:18,643 src/graphillion/zdd.cc:473:19: note: ‘std::ostream’ {aka ‘std::basic_ostream’} is not derived from ‘const __gmp_expr’ 2021-07-09T16:39:18,643 473 | if (out == std::cout || out == std::cerr) 2021-07-09T16:39:18,643 | ^~~~ 2021-07-09T16:39:18,643 In file included from src/graphillion/type.h:31, 2021-07-09T16:39:18,644 from src/graphillion/zdd.h:33, 2021-07-09T16:39:18,644 from src/graphillion/zdd.cc:25: 2021-07-09T16:39:18,644 /usr/include/gmpxx.h:3330:1: note: candidate: ‘template bool operator==(long unsigned int, const __gmp_expr&)’ 2021-07-09T16:39:18,644 3330 | __GMP_DEFINE_BINARY_TYPE_FUNCTION(bool, operator==, __gmp_binary_equal) 2021-07-09T16:39:18,644 | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-09T16:39:18,644 /usr/include/gmpxx.h:3330:1: note: template argument deduction/substitution failed: 2021-07-09T16:39:18,644 src/graphillion/zdd.cc:473:19: note: ‘std::ostream’ {aka ‘std::basic_ostream’} is not derived from ‘const __gmp_expr’ 2021-07-09T16:39:18,645 473 | if (out == std::cout || out == std::cerr) 2021-07-09T16:39:18,645 | ^~~~ 2021-07-09T16:39:18,645 In file included from src/graphillion/type.h:31, 2021-07-09T16:39:18,645 from src/graphillion/zdd.h:33, 2021-07-09T16:39:18,645 from src/graphillion/zdd.cc:25: 2021-07-09T16:39:18,645 /usr/include/gmpxx.h:3330:1: note: candidate: ‘template bool operator==(const __gmp_expr&, float)’ 2021-07-09T16:39:18,646 3330 | __GMP_DEFINE_BINARY_TYPE_FUNCTION(bool, operator==, __gmp_binary_equal) 2021-07-09T16:39:18,646 | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-09T16:39:18,646 /usr/include/gmpxx.h:3330:1: note: template argument deduction/substitution failed: 2021-07-09T16:39:18,646 src/graphillion/zdd.cc:473:19: note: ‘std::ostream’ {aka ‘std::basic_ostream’} is not derived from ‘const __gmp_expr’ 2021-07-09T16:39:18,646 473 | if (out == std::cout || out == std::cerr) 2021-07-09T16:39:18,646 | ^~~~ 2021-07-09T16:39:18,646 In file included from src/graphillion/type.h:31, 2021-07-09T16:39:18,647 from src/graphillion/zdd.h:33, 2021-07-09T16:39:18,647 from src/graphillion/zdd.cc:25: 2021-07-09T16:39:18,647 /usr/include/gmpxx.h:3330:1: note: candidate: ‘template bool operator==(float, const __gmp_expr&)’ 2021-07-09T16:39:18,647 3330 | __GMP_DEFINE_BINARY_TYPE_FUNCTION(bool, operator==, __gmp_binary_equal) 2021-07-09T16:39:18,647 | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-09T16:39:18,647 /usr/include/gmpxx.h:3330:1: note: template argument deduction/substitution failed: 2021-07-09T16:39:18,648 src/graphillion/zdd.cc:473:19: note: ‘std::ostream’ {aka ‘std::basic_ostream’} is not derived from ‘const __gmp_expr’ 2021-07-09T16:39:18,648 473 | if (out == std::cout || out == std::cerr) 2021-07-09T16:39:18,648 | ^~~~ 2021-07-09T16:39:18,648 In file included from src/graphillion/type.h:31, 2021-07-09T16:39:18,648 from src/graphillion/zdd.h:33, 2021-07-09T16:39:18,648 from src/graphillion/zdd.cc:25: 2021-07-09T16:39:18,648 /usr/include/gmpxx.h:3330:1: note: candidate: ‘template bool operator==(const __gmp_expr&, double)’ 2021-07-09T16:39:18,649 3330 | __GMP_DEFINE_BINARY_TYPE_FUNCTION(bool, operator==, __gmp_binary_equal) 2021-07-09T16:39:18,649 | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-09T16:39:18,649 /usr/include/gmpxx.h:3330:1: note: template argument deduction/substitution failed: 2021-07-09T16:39:18,649 src/graphillion/zdd.cc:473:19: note: ‘std::ostream’ {aka ‘std::basic_ostream’} is not derived from ‘const __gmp_expr’ 2021-07-09T16:39:18,649 473 | if (out == std::cout || out == std::cerr) 2021-07-09T16:39:18,649 | ^~~~ 2021-07-09T16:39:18,650 In file included from src/graphillion/type.h:31, 2021-07-09T16:39:18,650 from src/graphillion/zdd.h:33, 2021-07-09T16:39:18,650 from src/graphillion/zdd.cc:25: 2021-07-09T16:39:18,650 /usr/include/gmpxx.h:3330:1: note: candidate: ‘template bool operator==(double, const __gmp_expr&)’ 2021-07-09T16:39:18,650 3330 | __GMP_DEFINE_BINARY_TYPE_FUNCTION(bool, operator==, __gmp_binary_equal) 2021-07-09T16:39:18,650 | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-09T16:39:18,651 /usr/include/gmpxx.h:3330:1: note: template argument deduction/substitution failed: 2021-07-09T16:39:18,651 src/graphillion/zdd.cc:473:19: note: ‘std::ostream’ {aka ‘std::basic_ostream’} is not derived from ‘const __gmp_expr’ 2021-07-09T16:39:18,651 473 | if (out == std::cout || out == std::cerr) 2021-07-09T16:39:18,651 | ^~~~ 2021-07-09T16:39:18,651 In file included from src/SAPPOROBDD/ZBDD.h:36, 2021-07-09T16:39:18,651 from src/graphillion/type.h:34, 2021-07-09T16:39:18,651 from src/graphillion/zdd.h:33, 2021-07-09T16:39:18,652 from src/graphillion/zdd.cc:25: 2021-07-09T16:39:18,652 src/SAPPOROBDD/BDD.h:173:12: note: candidate: ‘int operator==(const BDD&, const BDD&)’ 2021-07-09T16:39:18,652 173 | inline int operator==(const BDD& f, const BDD& g) 2021-07-09T16:39:18,652 | ^~~~~~~~ 2021-07-09T16:39:18,652 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-09T16:39:18,653 173 | inline int operator==(const BDD& f, const BDD& g) 2021-07-09T16:39:18,653 | ~~~~~~~~~~~^ 2021-07-09T16:39:18,653 src/SAPPOROBDD/BDD.h:335:12: note: candidate: ‘int operator==(const BDDV&, const BDDV&)’ 2021-07-09T16:39:18,653 335 | inline int operator==(const BDDV& fv, const BDDV& gv) 2021-07-09T16:39:18,654 | ^~~~~~~~ 2021-07-09T16:39:18,654 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-09T16:39:18,654 335 | inline int operator==(const BDDV& fv, const BDDV& gv) 2021-07-09T16:39:18,654 | ~~~~~~~~~~~~^~ 2021-07-09T16:39:18,655 In file included from src/graphillion/type.h:34, 2021-07-09T16:39:18,655 from src/graphillion/zdd.h:33, 2021-07-09T16:39:18,655 from src/graphillion/zdd.cc:25: 2021-07-09T16:39:18,655 src/SAPPOROBDD/ZBDD.h:164:12: note: candidate: ‘int operator==(const ZBDD&, const ZBDD&)’ 2021-07-09T16:39:18,656 164 | inline int operator==(const ZBDD& f, const ZBDD& g) 2021-07-09T16:39:18,656 | ^~~~~~~~ 2021-07-09T16:39:18,656 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-09T16:39:18,656 164 | inline int operator==(const ZBDD& f, const ZBDD& g) 2021-07-09T16:39:18,656 | ~~~~~~~~~~~~^ 2021-07-09T16:39:18,656 src/SAPPOROBDD/ZBDD.h:231:12: note: candidate: ‘int operator==(const ZBDDV&, const ZBDDV&)’ 2021-07-09T16:39:18,657 231 | inline int operator==(const ZBDDV& fv, const ZBDDV& gv) 2021-07-09T16:39:18,657 | ^~~~~~~~ 2021-07-09T16:39:18,657 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-09T16:39:18,657 231 | inline int operator==(const ZBDDV& fv, const ZBDDV& gv) 2021-07-09T16:39:18,657 | ~~~~~~~~~~~~~^~ 2021-07-09T16:39:18,658 In file included from /usr/include/c++/10/iosfwd:40, 2021-07-09T16:39:18,658 from /usr/include/c++/10/ios:38, 2021-07-09T16:39:18,658 from /usr/include/c++/10/ostream:38, 2021-07-09T16:39:18,658 from /usr/include/c++/10/iostream:39, 2021-07-09T16:39:18,658 from src/graphillion/zdd.h:28, 2021-07-09T16:39:18,658 from src/graphillion/zdd.cc:25: 2021-07-09T16:39:18,658 /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-09T16:39:18,659 222 | operator==(const fpos<_StateT>& __lhs, const fpos<_StateT>& __rhs) 2021-07-09T16:39:18,659 | ^~~~~~~~ 2021-07-09T16:39:18,659 /usr/include/c++/10/bits/postypes.h:222:5: note: template argument deduction/substitution failed: 2021-07-09T16:39:18,659 src/graphillion/zdd.cc:473:19: note: ‘std::ostream’ {aka ‘std::basic_ostream’} is not derived from ‘const std::fpos<_StateT>’ 2021-07-09T16:39:18,659 473 | if (out == std::cout || out == std::cerr) 2021-07-09T16:39:18,659 | ^~~~ 2021-07-09T16:39:18,659 In file included from /usr/include/c++/10/bits/stl_algobase.h:64, 2021-07-09T16:39:18,660 from /usr/include/c++/10/bits/char_traits.h:39, 2021-07-09T16:39:18,660 from /usr/include/c++/10/ios:40, 2021-07-09T16:39:18,660 from /usr/include/c++/10/ostream:38, 2021-07-09T16:39:18,660 from /usr/include/c++/10/iostream:39, 2021-07-09T16:39:18,660 from src/graphillion/zdd.h:28, 2021-07-09T16:39:18,660 from src/graphillion/zdd.cc:25: 2021-07-09T16:39:18,660 /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-09T16:39:18,661 466 | operator==(const pair<_T1, _T2>& __x, const pair<_T1, _T2>& __y) 2021-07-09T16:39:18,661 | ^~~~~~~~ 2021-07-09T16:39:18,661 /usr/include/c++/10/bits/stl_pair.h:466:5: note: template argument deduction/substitution failed: 2021-07-09T16:39:18,661 src/graphillion/zdd.cc:473:19: note: ‘std::ostream’ {aka ‘std::basic_ostream’} is not derived from ‘const std::pair<_T1, _T2>’ 2021-07-09T16:39:18,661 473 | if (out == std::cout || out == std::cerr) 2021-07-09T16:39:18,661 | ^~~~ 2021-07-09T16:39:18,661 In file included from /usr/include/c++/10/bits/stl_algobase.h:67, 2021-07-09T16:39:18,662 from /usr/include/c++/10/bits/char_traits.h:39, 2021-07-09T16:39:18,662 from /usr/include/c++/10/ios:40, 2021-07-09T16:39:18,662 from /usr/include/c++/10/ostream:38, 2021-07-09T16:39:18,662 from /usr/include/c++/10/iostream:39, 2021-07-09T16:39:18,662 from src/graphillion/zdd.h:28, 2021-07-09T16:39:18,662 from src/graphillion/zdd.cc:25: 2021-07-09T16:39:18,662 /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-09T16:39:18,663 385 | operator==(const reverse_iterator<_Iterator>& __x, 2021-07-09T16:39:18,663 | ^~~~~~~~ 2021-07-09T16:39:18,663 /usr/include/c++/10/bits/stl_iterator.h:385:5: note: template argument deduction/substitution failed: 2021-07-09T16:39:18,663 src/graphillion/zdd.cc:473:19: note: ‘std::ostream’ {aka ‘std::basic_ostream’} is not derived from ‘const std::reverse_iterator<_Iterator>’ 2021-07-09T16:39:18,663 473 | if (out == std::cout || out == std::cerr) 2021-07-09T16:39:18,663 | ^~~~ 2021-07-09T16:39:18,663 In file included from /usr/include/c++/10/bits/stl_algobase.h:67, 2021-07-09T16:39:18,663 from /usr/include/c++/10/bits/char_traits.h:39, 2021-07-09T16:39:18,664 from /usr/include/c++/10/ios:40, 2021-07-09T16:39:18,664 from /usr/include/c++/10/ostream:38, 2021-07-09T16:39:18,664 from /usr/include/c++/10/iostream:39, 2021-07-09T16:39:18,664 from src/graphillion/zdd.h:28, 2021-07-09T16:39:18,664 from src/graphillion/zdd.cc:25: 2021-07-09T16:39:18,664 /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-09T16:39:18,665 423 | operator==(const reverse_iterator<_IteratorL>& __x, 2021-07-09T16:39:18,665 | ^~~~~~~~ 2021-07-09T16:39:18,665 /usr/include/c++/10/bits/stl_iterator.h:423:5: note: template argument deduction/substitution failed: 2021-07-09T16:39:18,665 src/graphillion/zdd.cc:473:19: note: ‘std::ostream’ {aka ‘std::basic_ostream’} is not derived from ‘const std::reverse_iterator<_Iterator>’ 2021-07-09T16:39:18,665 473 | if (out == std::cout || out == std::cerr) 2021-07-09T16:39:18,665 | ^~~~ 2021-07-09T16:39:18,665 In file included from /usr/include/c++/10/bits/stl_algobase.h:67, 2021-07-09T16:39:18,665 from /usr/include/c++/10/bits/char_traits.h:39, 2021-07-09T16:39:18,666 from /usr/include/c++/10/ios:40, 2021-07-09T16:39:18,666 from /usr/include/c++/10/ostream:38, 2021-07-09T16:39:18,666 from /usr/include/c++/10/iostream:39, 2021-07-09T16:39:18,666 from src/graphillion/zdd.h:28, 2021-07-09T16:39:18,666 from src/graphillion/zdd.cc:25: 2021-07-09T16:39:18,666 /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-09T16:39:18,666 1460 | operator==(const move_iterator<_IteratorL>& __x, 2021-07-09T16:39:18,666 | ^~~~~~~~ 2021-07-09T16:39:18,667 /usr/include/c++/10/bits/stl_iterator.h:1460:5: note: template argument deduction/substitution failed: 2021-07-09T16:39:18,667 src/graphillion/zdd.cc:473:19: note: ‘std::ostream’ {aka ‘std::basic_ostream’} is not derived from ‘const std::move_iterator<_IteratorL>’ 2021-07-09T16:39:18,667 473 | if (out == std::cout || out == std::cerr) 2021-07-09T16:39:18,667 | ^~~~ 2021-07-09T16:39:18,667 In file included from /usr/include/c++/10/bits/stl_algobase.h:67, 2021-07-09T16:39:18,667 from /usr/include/c++/10/bits/char_traits.h:39, 2021-07-09T16:39:18,667 from /usr/include/c++/10/ios:40, 2021-07-09T16:39:18,668 from /usr/include/c++/10/ostream:38, 2021-07-09T16:39:18,668 from /usr/include/c++/10/iostream:39, 2021-07-09T16:39:18,668 from src/graphillion/zdd.h:28, 2021-07-09T16:39:18,668 from src/graphillion/zdd.cc:25: 2021-07-09T16:39:18,668 /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-09T16:39:18,668 1528 | operator==(const move_iterator<_Iterator>& __x, 2021-07-09T16:39:18,668 | ^~~~~~~~ 2021-07-09T16:39:18,669 /usr/include/c++/10/bits/stl_iterator.h:1528:5: note: template argument deduction/substitution failed: 2021-07-09T16:39:18,669 src/graphillion/zdd.cc:473:19: note: ‘std::ostream’ {aka ‘std::basic_ostream’} is not derived from ‘const std::move_iterator<_IteratorL>’ 2021-07-09T16:39:18,669 473 | if (out == std::cout || out == std::cerr) 2021-07-09T16:39:18,669 | ^~~~ 2021-07-09T16:39:18,669 In file included from /usr/include/c++/10/string:41, 2021-07-09T16:39:18,669 from /usr/include/c++/10/bits/locale_classes.h:40, 2021-07-09T16:39:18,669 from /usr/include/c++/10/bits/ios_base.h:41, 2021-07-09T16:39:18,670 from /usr/include/c++/10/ios:42, 2021-07-09T16:39:18,670 from /usr/include/c++/10/ostream:38, 2021-07-09T16:39:18,670 from /usr/include/c++/10/iostream:39, 2021-07-09T16:39:18,670 from src/graphillion/zdd.h:28, 2021-07-09T16:39:18,670 from src/graphillion/zdd.cc:25: 2021-07-09T16:39:18,670 /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-09T16:39:18,670 206 | operator==(const allocator<_T1>&, const allocator<_T2>&) 2021-07-09T16:39:18,670 | ^~~~~~~~ 2021-07-09T16:39:18,671 /usr/include/c++/10/bits/allocator.h:206:5: note: template argument deduction/substitution failed: 2021-07-09T16:39:18,671 src/graphillion/zdd.cc:473:19: note: ‘std::ostream’ {aka ‘std::basic_ostream’} is not derived from ‘const std::allocator<_CharT>’ 2021-07-09T16:39:18,671 473 | if (out == std::cout || out == std::cerr) 2021-07-09T16:39:18,671 | ^~~~ 2021-07-09T16:39:18,671 In file included from /usr/include/c++/10/string:55, 2021-07-09T16:39:18,671 from /usr/include/c++/10/bits/locale_classes.h:40, 2021-07-09T16:39:18,671 from /usr/include/c++/10/bits/ios_base.h:41, 2021-07-09T16:39:18,672 from /usr/include/c++/10/ios:42, 2021-07-09T16:39:18,672 from /usr/include/c++/10/ostream:38, 2021-07-09T16:39:18,672 from /usr/include/c++/10/iostream:39, 2021-07-09T16:39:18,672 from src/graphillion/zdd.h:28, 2021-07-09T16:39:18,672 from src/graphillion/zdd.cc:25: 2021-07-09T16:39:18,672 /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-09T16:39:18,672 6163 | operator==(const basic_string<_CharT, _Traits, _Alloc>& __lhs, 2021-07-09T16:39:18,672 | ^~~~~~~~ 2021-07-09T16:39:18,673 /usr/include/c++/10/bits/basic_string.h:6163:5: note: template argument deduction/substitution failed: 2021-07-09T16:39:18,673 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-09T16:39:18,673 473 | if (out == std::cout || out == std::cerr) 2021-07-09T16:39:18,673 | ^~~~ 2021-07-09T16:39:18,673 In file included from /usr/include/c++/10/string:55, 2021-07-09T16:39:18,674 from /usr/include/c++/10/bits/locale_classes.h:40, 2021-07-09T16:39:18,674 from /usr/include/c++/10/bits/ios_base.h:41, 2021-07-09T16:39:18,674 from /usr/include/c++/10/ios:42, 2021-07-09T16:39:18,674 from /usr/include/c++/10/ostream:38, 2021-07-09T16:39:18,674 from /usr/include/c++/10/iostream:39, 2021-07-09T16:39:18,674 from src/graphillion/zdd.h:28, 2021-07-09T16:39:18,674 from src/graphillion/zdd.cc:25: 2021-07-09T16:39:18,675 /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-09T16:39:18,675 6171 | operator==(const basic_string<_CharT>& __lhs, 2021-07-09T16:39:18,675 | ^~~~~~~~ 2021-07-09T16:39:18,675 /usr/include/c++/10/bits/basic_string.h:6171:5: note: template argument deduction/substitution failed: 2021-07-09T16:39:18,675 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-09T16:39:18,675 473 | if (out == std::cout || out == std::cerr) 2021-07-09T16:39:18,676 | ^~~~ 2021-07-09T16:39:18,676 In file included from /usr/include/c++/10/string:55, 2021-07-09T16:39:18,676 from /usr/include/c++/10/bits/locale_classes.h:40, 2021-07-09T16:39:18,676 from /usr/include/c++/10/bits/ios_base.h:41, 2021-07-09T16:39:18,676 from /usr/include/c++/10/ios:42, 2021-07-09T16:39:18,676 from /usr/include/c++/10/ostream:38, 2021-07-09T16:39:18,677 from /usr/include/c++/10/iostream:39, 2021-07-09T16:39:18,677 from src/graphillion/zdd.h:28, 2021-07-09T16:39:18,677 from src/graphillion/zdd.cc:25: 2021-07-09T16:39:18,677 /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-09T16:39:18,677 6185 | operator==(const basic_string<_CharT, _Traits, _Alloc>& __lhs, 2021-07-09T16:39:18,677 | ^~~~~~~~ 2021-07-09T16:39:18,677 /usr/include/c++/10/bits/basic_string.h:6185:5: note: template argument deduction/substitution failed: 2021-07-09T16:39:18,678 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-09T16:39:18,678 473 | if (out == std::cout || out == std::cerr) 2021-07-09T16:39:18,678 | ^~~~ 2021-07-09T16:39:18,678 In file included from /usr/include/c++/10/string:55, 2021-07-09T16:39:18,678 from /usr/include/c++/10/bits/locale_classes.h:40, 2021-07-09T16:39:18,678 from /usr/include/c++/10/bits/ios_base.h:41, 2021-07-09T16:39:18,678 from /usr/include/c++/10/ios:42, 2021-07-09T16:39:18,679 from /usr/include/c++/10/ostream:38, 2021-07-09T16:39:18,679 from /usr/include/c++/10/iostream:39, 2021-07-09T16:39:18,679 from src/graphillion/zdd.h:28, 2021-07-09T16:39:18,679 from src/graphillion/zdd.cc:25: 2021-07-09T16:39:18,679 /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-09T16:39:18,679 6226 | operator==(const _CharT* __lhs, 2021-07-09T16:39:18,680 | ^~~~~~~~ 2021-07-09T16:39:18,680 /usr/include/c++/10/bits/basic_string.h:6226:5: note: template argument deduction/substitution failed: 2021-07-09T16:39:18,680 src/graphillion/zdd.cc:473:19: note: mismatched types ‘const _CharT*’ and ‘std::basic_ostream’ 2021-07-09T16:39:18,680 473 | if (out == std::cout || out == std::cerr) 2021-07-09T16:39:18,680 | ^~~~ 2021-07-09T16:39:18,680 In file included from /usr/include/c++/10/bits/ios_base.h:46, 2021-07-09T16:39:18,681 from /usr/include/c++/10/ios:42, 2021-07-09T16:39:18,681 from /usr/include/c++/10/ostream:38, 2021-07-09T16:39:18,681 from /usr/include/c++/10/iostream:39, 2021-07-09T16:39:18,681 from src/graphillion/zdd.h:28, 2021-07-09T16:39:18,681 from src/graphillion/zdd.cc:25: 2021-07-09T16:39:18,681 /usr/include/c++/10/system_error:342:3: note: candidate: ‘bool std::operator==(const std::error_code&, const std::error_code&)’ 2021-07-09T16:39:18,681 342 | operator==(const error_code& __lhs, const error_code& __rhs) noexcept 2021-07-09T16:39:18,681 | ^~~~~~~~ 2021-07-09T16:39:18,682 /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-09T16:39:18,682 342 | operator==(const error_code& __lhs, const error_code& __rhs) noexcept 2021-07-09T16:39:18,682 | ~~~~~~~~~~~~~~~~~~^~~~~ 2021-07-09T16:39:18,682 /usr/include/c++/10/system_error:349:3: note: candidate: ‘bool std::operator==(const std::error_code&, const std::error_condition&)’ 2021-07-09T16:39:18,682 349 | operator==(const error_code& __lhs, const error_condition& __rhs) noexcept 2021-07-09T16:39:18,682 | ^~~~~~~~ 2021-07-09T16:39:18,683 /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-09T16:39:18,683 349 | operator==(const error_code& __lhs, const error_condition& __rhs) noexcept 2021-07-09T16:39:18,683 | ~~~~~~~~~~~~~~~~~~^~~~~ 2021-07-09T16:39:18,683 /usr/include/c++/10/system_error:357:3: note: candidate: ‘bool std::operator==(const std::error_condition&, const std::error_condition&)’ 2021-07-09T16:39:18,683 357 | operator==(const error_condition& __lhs, 2021-07-09T16:39:18,683 | ^~~~~~~~ 2021-07-09T16:39:18,683 /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-09T16:39:18,683 357 | operator==(const error_condition& __lhs, 2021-07-09T16:39:18,684 | ~~~~~~~~~~~~~~~~~~~~~~~^~~~~ 2021-07-09T16:39:18,684 /usr/include/c++/10/system_error:390:3: note: candidate: ‘bool std::operator==(const std::error_condition&, const std::error_code&)’ 2021-07-09T16:39:18,684 390 | operator==(const error_condition& __lhs, const error_code& __rhs) noexcept 2021-07-09T16:39:18,684 | ^~~~~~~~ 2021-07-09T16:39:18,684 /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-09T16:39:18,684 390 | operator==(const error_condition& __lhs, const error_code& __rhs) noexcept 2021-07-09T16:39:18,684 | ~~~~~~~~~~~~~~~~~~~~~~~^~~~~ 2021-07-09T16:39:18,685 In file included from /usr/include/c++/10/bits/locale_facets.h:48, 2021-07-09T16:39:18,685 from /usr/include/c++/10/bits/basic_ios.h:37, 2021-07-09T16:39:18,685 from /usr/include/c++/10/ios:44, 2021-07-09T16:39:18,685 from /usr/include/c++/10/ostream:38, 2021-07-09T16:39:18,685 from /usr/include/c++/10/iostream:39, 2021-07-09T16:39:18,685 from src/graphillion/zdd.h:28, 2021-07-09T16:39:18,685 from src/graphillion/zdd.cc:25: 2021-07-09T16:39:18,686 /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-09T16:39:18,686 227 | operator==(const istreambuf_iterator<_CharT, _Traits>& __a, 2021-07-09T16:39:18,686 | ^~~~~~~~ 2021-07-09T16:39:18,686 /usr/include/c++/10/bits/streambuf_iterator.h:227:5: note: template argument deduction/substitution failed: 2021-07-09T16:39:18,686 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-09T16:39:18,686 473 | if (out == std::cout || out == std::cerr) 2021-07-09T16:39:18,686 | ^~~~ 2021-07-09T16:39:18,687 In file included from /usr/include/c++/10/set:61, 2021-07-09T16:39:18,687 from src/graphillion/zdd.h:29, 2021-07-09T16:39:18,687 from src/graphillion/zdd.cc:25: 2021-07-09T16:39:18,687 /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-09T16:39:18,687 985 | operator==(const set<_Key, _Compare, _Alloc>& __x, 2021-07-09T16:39:18,687 | ^~~~~~~~ 2021-07-09T16:39:18,688 /usr/include/c++/10/bits/stl_set.h:985:5: note: template argument deduction/substitution failed: 2021-07-09T16:39:18,688 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-09T16:39:18,688 473 | if (out == std::cout || out == std::cerr) 2021-07-09T16:39:18,688 | ^~~~ 2021-07-09T16:39:18,688 In file included from /usr/include/c++/10/set:62, 2021-07-09T16:39:18,688 from src/graphillion/zdd.h:29, 2021-07-09T16:39:18,688 from src/graphillion/zdd.cc:25: 2021-07-09T16:39:18,689 /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-09T16:39:18,689 971 | operator==(const multiset<_Key, _Compare, _Alloc>& __x, 2021-07-09T16:39:18,689 | ^~~~~~~~ 2021-07-09T16:39:18,689 /usr/include/c++/10/bits/stl_multiset.h:971:5: note: template argument deduction/substitution failed: 2021-07-09T16:39:18,689 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-09T16:39:18,689 473 | if (out == std::cout || out == std::cerr) 2021-07-09T16:39:18,690 | ^~~~ 2021-07-09T16:39:18,690 In file included from /usr/include/c++/10/vector:67, 2021-07-09T16:39:18,690 from src/graphillion/zdd.h:31, 2021-07-09T16:39:18,690 from src/graphillion/zdd.cc:25: 2021-07-09T16:39:18,690 /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-09T16:39:18,690 1892 | operator==(const vector<_Tp, _Alloc>& __x, const vector<_Tp, _Alloc>& __y) 2021-07-09T16:39:18,691 | ^~~~~~~~ 2021-07-09T16:39:18,691 /usr/include/c++/10/bits/stl_vector.h:1892:5: note: template argument deduction/substitution failed: 2021-07-09T16:39:18,691 src/graphillion/zdd.cc:473:19: note: ‘std::ostream’ {aka ‘std::basic_ostream’} is not derived from ‘const std::vector<_Tp, _Alloc>’ 2021-07-09T16:39:18,691 473 | if (out == std::cout || out == std::cerr) 2021-07-09T16:39:18,691 | ^~~~ 2021-07-09T16:39:18,691 In file included from /usr/include/c++/10/tuple:39, 2021-07-09T16:39:18,692 from /usr/include/c++/10/bits/stl_map.h:63, 2021-07-09T16:39:18,692 from /usr/include/c++/10/map:61, 2021-07-09T16:39:18,692 from src/graphillion/zdd.cc:31: 2021-07-09T16:39:18,692 /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-09T16:39:18,692 253 | operator==(const array<_Tp, _Nm>& __one, const array<_Tp, _Nm>& __two) 2021-07-09T16:39:18,692 | ^~~~~~~~ 2021-07-09T16:39:18,693 /usr/include/c++/10/array:253:5: note: template argument deduction/substitution failed: 2021-07-09T16:39:18,693 src/graphillion/zdd.cc:473:19: note: ‘std::ostream’ {aka ‘std::basic_ostream’} is not derived from ‘const std::array<_Tp, _Nm>’ 2021-07-09T16:39:18,693 473 | if (out == std::cout || out == std::cerr) 2021-07-09T16:39:18,693 | ^~~~ 2021-07-09T16:39:18,693 In file included from /usr/include/c++/10/bits/stl_map.h:63, 2021-07-09T16:39:18,693 from /usr/include/c++/10/map:61, 2021-07-09T16:39:18,693 from src/graphillion/zdd.cc:31: 2021-07-09T16:39:18,694 /usr/include/c++/10/tuple:1393:5: note: candidate: ‘template constexpr bool std::operator==(const std::tuple<_Tps ...>&, const std::tuple<_Args2 ...>&)’ 2021-07-09T16:39:18,694 1393 | operator==(const tuple<_TElements...>& __t, 2021-07-09T16:39:18,694 | ^~~~~~~~ 2021-07-09T16:39:18,694 /usr/include/c++/10/tuple:1393:5: note: template argument deduction/substitution failed: 2021-07-09T16:39:18,695 src/graphillion/zdd.cc:473:19: note: ‘std::ostream’ {aka ‘std::basic_ostream’} is not derived from ‘const std::tuple<_Tps ...>’ 2021-07-09T16:39:18,695 473 | if (out == std::cout || out == std::cerr) 2021-07-09T16:39:18,695 | ^~~~ 2021-07-09T16:39:18,695 In file included from /usr/include/c++/10/map:61, 2021-07-09T16:39:18,695 from src/graphillion/zdd.cc:31: 2021-07-09T16:39:18,696 /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-09T16:39:18,696 1463 | operator==(const map<_Key, _Tp, _Compare, _Alloc>& __x, 2021-07-09T16:39:18,696 | ^~~~~~~~ 2021-07-09T16:39:18,696 /usr/include/c++/10/bits/stl_map.h:1463:5: note: template argument deduction/substitution failed: 2021-07-09T16:39:18,696 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-09T16:39:18,696 473 | if (out == std::cout || out == std::cerr) 2021-07-09T16:39:18,697 | ^~~~ 2021-07-09T16:39:18,697 In file included from /usr/include/c++/10/map:62, 2021-07-09T16:39:18,697 from src/graphillion/zdd.cc:31: 2021-07-09T16:39:18,697 /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-09T16:39:18,697 1128 | operator==(const multimap<_Key, _Tp, _Compare, _Alloc>& __x, 2021-07-09T16:39:18,697 | ^~~~~~~~ 2021-07-09T16:39:18,698 /usr/include/c++/10/bits/stl_multimap.h:1128:5: note: template argument deduction/substitution failed: 2021-07-09T16:39:18,698 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-09T16:39:18,698 473 | if (out == std::cout || out == std::cerr) 2021-07-09T16:39:18,698 | ^~~~ 2021-07-09T16:39:18,698 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-09T16:39:18,698 473 | if (out == std::cout || out == std::cerr) 2021-07-09T16:39:18,699 | ~~~ ^~ ~~~~~~~~~ 2021-07-09T16:39:18,699 | | | 2021-07-09T16:39:18,699 | | basic_ostream<[...]> 2021-07-09T16:39:18,699 | basic_ostream<[...]> 2021-07-09T16:39:18,699 src/graphillion/zdd.cc:473:31: note: candidate: ‘operator==(int, int)’ (built-in) 2021-07-09T16:39:18,700 473 | if (out == std::cout || out == std::cerr) 2021-07-09T16:39:18,700 | ~~~~^~~~~~~~~~~~ 2021-07-09T16:39:18,700 src/graphillion/zdd.cc:473:31: note: no known conversion for argument 2 from ‘std::ostream’ {aka ‘std::basic_ostream’} to ‘int’ 2021-07-09T16:39:18,700 In file included from src/graphillion/type.h:31, 2021-07-09T16:39:18,700 from src/graphillion/zdd.h:33, 2021-07-09T16:39:18,700 from src/graphillion/zdd.cc:25: 2021-07-09T16:39:18,701 /usr/include/gmpxx.h:3330:1: note: candidate: ‘template bool operator==(const __gmp_expr&, const __gmp_expr&)’ 2021-07-09T16:39:18,701 3330 | __GMP_DEFINE_BINARY_TYPE_FUNCTION(bool, operator==, __gmp_binary_equal) 2021-07-09T16:39:18,701 | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-09T16:39:18,701 /usr/include/gmpxx.h:3330:1: note: template argument deduction/substitution failed: 2021-07-09T16:39:18,701 src/graphillion/zdd.cc:473:39: note: ‘std::ostream’ {aka ‘std::basic_ostream’} is not derived from ‘const __gmp_expr’ 2021-07-09T16:39:18,701 473 | if (out == std::cout || out == std::cerr) 2021-07-09T16:39:18,701 | ^~~~ 2021-07-09T16:39:18,702 In file included from src/graphillion/type.h:31, 2021-07-09T16:39:18,702 from src/graphillion/zdd.h:33, 2021-07-09T16:39:18,702 from src/graphillion/zdd.cc:25: 2021-07-09T16:39:18,702 /usr/include/gmpxx.h:3330:1: note: candidate: ‘template bool operator==(const __gmp_expr&, signed char)’ 2021-07-09T16:39:18,702 3330 | __GMP_DEFINE_BINARY_TYPE_FUNCTION(bool, operator==, __gmp_binary_equal) 2021-07-09T16:39:18,702 | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-09T16:39:18,702 /usr/include/gmpxx.h:3330:1: note: template argument deduction/substitution failed: 2021-07-09T16:39:18,703 src/graphillion/zdd.cc:473:39: note: ‘std::ostream’ {aka ‘std::basic_ostream’} is not derived from ‘const __gmp_expr’ 2021-07-09T16:39:18,703 473 | if (out == std::cout || out == std::cerr) 2021-07-09T16:39:18,703 | ^~~~ 2021-07-09T16:39:18,703 In file included from src/graphillion/type.h:31, 2021-07-09T16:39:18,703 from src/graphillion/zdd.h:33, 2021-07-09T16:39:18,704 from src/graphillion/zdd.cc:25: 2021-07-09T16:39:18,704 /usr/include/gmpxx.h:3330:1: note: candidate: ‘template bool operator==(signed char, const __gmp_expr&)’ 2021-07-09T16:39:18,704 3330 | __GMP_DEFINE_BINARY_TYPE_FUNCTION(bool, operator==, __gmp_binary_equal) 2021-07-09T16:39:18,704 | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-09T16:39:18,704 /usr/include/gmpxx.h:3330:1: note: template argument deduction/substitution failed: 2021-07-09T16:39:18,704 src/graphillion/zdd.cc:473:39: note: ‘std::ostream’ {aka ‘std::basic_ostream’} is not derived from ‘const __gmp_expr’ 2021-07-09T16:39:18,704 473 | if (out == std::cout || out == std::cerr) 2021-07-09T16:39:18,705 | ^~~~ 2021-07-09T16:39:18,705 In file included from src/graphillion/type.h:31, 2021-07-09T16:39:18,705 from src/graphillion/zdd.h:33, 2021-07-09T16:39:18,705 from src/graphillion/zdd.cc:25: 2021-07-09T16:39:18,705 /usr/include/gmpxx.h:3330:1: note: candidate: ‘template bool operator==(const __gmp_expr&, unsigned char)’ 2021-07-09T16:39:18,705 3330 | __GMP_DEFINE_BINARY_TYPE_FUNCTION(bool, operator==, __gmp_binary_equal) 2021-07-09T16:39:18,706 | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-09T16:39:18,706 /usr/include/gmpxx.h:3330:1: note: template argument deduction/substitution failed: 2021-07-09T16:39:18,706 src/graphillion/zdd.cc:473:39: note: ‘std::ostream’ {aka ‘std::basic_ostream’} is not derived from ‘const __gmp_expr’ 2021-07-09T16:39:18,706 473 | if (out == std::cout || out == std::cerr) 2021-07-09T16:39:18,706 | ^~~~ 2021-07-09T16:39:18,706 In file included from src/graphillion/type.h:31, 2021-07-09T16:39:18,707 from src/graphillion/zdd.h:33, 2021-07-09T16:39:18,707 from src/graphillion/zdd.cc:25: 2021-07-09T16:39:18,707 /usr/include/gmpxx.h:3330:1: note: candidate: ‘template bool operator==(unsigned char, const __gmp_expr&)’ 2021-07-09T16:39:18,707 3330 | __GMP_DEFINE_BINARY_TYPE_FUNCTION(bool, operator==, __gmp_binary_equal) 2021-07-09T16:39:18,707 | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-09T16:39:18,707 /usr/include/gmpxx.h:3330:1: note: template argument deduction/substitution failed: 2021-07-09T16:39:18,708 src/graphillion/zdd.cc:473:39: note: ‘std::ostream’ {aka ‘std::basic_ostream’} is not derived from ‘const __gmp_expr’ 2021-07-09T16:39:18,708 473 | if (out == std::cout || out == std::cerr) 2021-07-09T16:39:18,708 | ^~~~ 2021-07-09T16:39:18,708 In file included from src/graphillion/type.h:31, 2021-07-09T16:39:18,708 from src/graphillion/zdd.h:33, 2021-07-09T16:39:18,708 from src/graphillion/zdd.cc:25: 2021-07-09T16:39:18,708 /usr/include/gmpxx.h:3330:1: note: candidate: ‘template bool operator==(const __gmp_expr&, int)’ 2021-07-09T16:39:18,709 3330 | __GMP_DEFINE_BINARY_TYPE_FUNCTION(bool, operator==, __gmp_binary_equal) 2021-07-09T16:39:18,709 | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-09T16:39:18,709 /usr/include/gmpxx.h:3330:1: note: template argument deduction/substitution failed: 2021-07-09T16:39:18,709 src/graphillion/zdd.cc:473:39: note: ‘std::ostream’ {aka ‘std::basic_ostream’} is not derived from ‘const __gmp_expr’ 2021-07-09T16:39:18,709 473 | if (out == std::cout || out == std::cerr) 2021-07-09T16:39:18,709 | ^~~~ 2021-07-09T16:39:18,710 In file included from src/graphillion/type.h:31, 2021-07-09T16:39:18,710 from src/graphillion/zdd.h:33, 2021-07-09T16:39:18,710 from src/graphillion/zdd.cc:25: 2021-07-09T16:39:18,710 /usr/include/gmpxx.h:3330:1: note: candidate: ‘template bool operator==(int, const __gmp_expr&)’ 2021-07-09T16:39:18,710 3330 | __GMP_DEFINE_BINARY_TYPE_FUNCTION(bool, operator==, __gmp_binary_equal) 2021-07-09T16:39:18,710 | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-09T16:39:18,711 /usr/include/gmpxx.h:3330:1: note: template argument deduction/substitution failed: 2021-07-09T16:39:18,711 src/graphillion/zdd.cc:473:39: note: ‘std::ostream’ {aka ‘std::basic_ostream’} is not derived from ‘const __gmp_expr’ 2021-07-09T16:39:18,711 473 | if (out == std::cout || out == std::cerr) 2021-07-09T16:39:18,711 | ^~~~ 2021-07-09T16:39:18,711 In file included from src/graphillion/type.h:31, 2021-07-09T16:39:18,711 from src/graphillion/zdd.h:33, 2021-07-09T16:39:18,712 from src/graphillion/zdd.cc:25: 2021-07-09T16:39:18,712 /usr/include/gmpxx.h:3330:1: note: candidate: ‘template bool operator==(const __gmp_expr&, unsigned int)’ 2021-07-09T16:39:18,712 3330 | __GMP_DEFINE_BINARY_TYPE_FUNCTION(bool, operator==, __gmp_binary_equal) 2021-07-09T16:39:18,712 | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-09T16:39:18,712 /usr/include/gmpxx.h:3330:1: note: template argument deduction/substitution failed: 2021-07-09T16:39:18,712 src/graphillion/zdd.cc:473:39: note: ‘std::ostream’ {aka ‘std::basic_ostream’} is not derived from ‘const __gmp_expr’ 2021-07-09T16:39:18,713 473 | if (out == std::cout || out == std::cerr) 2021-07-09T16:39:18,713 | ^~~~ 2021-07-09T16:39:18,713 In file included from src/graphillion/type.h:31, 2021-07-09T16:39:18,713 from src/graphillion/zdd.h:33, 2021-07-09T16:39:18,713 from src/graphillion/zdd.cc:25: 2021-07-09T16:39:18,713 /usr/include/gmpxx.h:3330:1: note: candidate: ‘template bool operator==(unsigned int, const __gmp_expr&)’ 2021-07-09T16:39:18,714 3330 | __GMP_DEFINE_BINARY_TYPE_FUNCTION(bool, operator==, __gmp_binary_equal) 2021-07-09T16:39:18,714 | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-09T16:39:18,714 /usr/include/gmpxx.h:3330:1: note: template argument deduction/substitution failed: 2021-07-09T16:39:18,714 src/graphillion/zdd.cc:473:39: note: ‘std::ostream’ {aka ‘std::basic_ostream’} is not derived from ‘const __gmp_expr’ 2021-07-09T16:39:18,714 473 | if (out == std::cout || out == std::cerr) 2021-07-09T16:39:18,714 | ^~~~ 2021-07-09T16:39:18,714 In file included from src/graphillion/type.h:31, 2021-07-09T16:39:18,715 from src/graphillion/zdd.h:33, 2021-07-09T16:39:18,715 from src/graphillion/zdd.cc:25: 2021-07-09T16:39:18,715 /usr/include/gmpxx.h:3330:1: note: candidate: ‘template bool operator==(const __gmp_expr&, short int)’ 2021-07-09T16:39:18,715 3330 | __GMP_DEFINE_BINARY_TYPE_FUNCTION(bool, operator==, __gmp_binary_equal) 2021-07-09T16:39:18,715 | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-09T16:39:18,715 /usr/include/gmpxx.h:3330:1: note: template argument deduction/substitution failed: 2021-07-09T16:39:18,715 src/graphillion/zdd.cc:473:39: note: ‘std::ostream’ {aka ‘std::basic_ostream’} is not derived from ‘const __gmp_expr’ 2021-07-09T16:39:18,715 473 | if (out == std::cout || out == std::cerr) 2021-07-09T16:39:18,716 | ^~~~ 2021-07-09T16:39:18,716 In file included from src/graphillion/type.h:31, 2021-07-09T16:39:18,716 from src/graphillion/zdd.h:33, 2021-07-09T16:39:18,716 from src/graphillion/zdd.cc:25: 2021-07-09T16:39:18,716 /usr/include/gmpxx.h:3330:1: note: candidate: ‘template bool operator==(short int, const __gmp_expr&)’ 2021-07-09T16:39:18,716 3330 | __GMP_DEFINE_BINARY_TYPE_FUNCTION(bool, operator==, __gmp_binary_equal) 2021-07-09T16:39:18,716 | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-09T16:39:18,717 /usr/include/gmpxx.h:3330:1: note: template argument deduction/substitution failed: 2021-07-09T16:39:18,717 src/graphillion/zdd.cc:473:39: note: ‘std::ostream’ {aka ‘std::basic_ostream’} is not derived from ‘const __gmp_expr’ 2021-07-09T16:39:18,717 473 | if (out == std::cout || out == std::cerr) 2021-07-09T16:39:18,717 | ^~~~ 2021-07-09T16:39:18,717 In file included from src/graphillion/type.h:31, 2021-07-09T16:39:18,717 from src/graphillion/zdd.h:33, 2021-07-09T16:39:18,717 from src/graphillion/zdd.cc:25: 2021-07-09T16:39:18,718 /usr/include/gmpxx.h:3330:1: note: candidate: ‘template bool operator==(const __gmp_expr&, short unsigned int)’ 2021-07-09T16:39:18,718 3330 | __GMP_DEFINE_BINARY_TYPE_FUNCTION(bool, operator==, __gmp_binary_equal) 2021-07-09T16:39:18,718 | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-09T16:39:18,718 /usr/include/gmpxx.h:3330:1: note: template argument deduction/substitution failed: 2021-07-09T16:39:18,718 src/graphillion/zdd.cc:473:39: note: ‘std::ostream’ {aka ‘std::basic_ostream’} is not derived from ‘const __gmp_expr’ 2021-07-09T16:39:18,718 473 | if (out == std::cout || out == std::cerr) 2021-07-09T16:39:18,718 | ^~~~ 2021-07-09T16:39:18,719 In file included from src/graphillion/type.h:31, 2021-07-09T16:39:18,719 from src/graphillion/zdd.h:33, 2021-07-09T16:39:18,719 from src/graphillion/zdd.cc:25: 2021-07-09T16:39:18,719 /usr/include/gmpxx.h:3330:1: note: candidate: ‘template bool operator==(short unsigned int, const __gmp_expr&)’ 2021-07-09T16:39:18,719 3330 | __GMP_DEFINE_BINARY_TYPE_FUNCTION(bool, operator==, __gmp_binary_equal) 2021-07-09T16:39:18,719 | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-09T16:39:18,719 /usr/include/gmpxx.h:3330:1: note: template argument deduction/substitution failed: 2021-07-09T16:39:18,720 src/graphillion/zdd.cc:473:39: note: ‘std::ostream’ {aka ‘std::basic_ostream’} is not derived from ‘const __gmp_expr’ 2021-07-09T16:39:18,720 473 | if (out == std::cout || out == std::cerr) 2021-07-09T16:39:18,720 | ^~~~ 2021-07-09T16:39:18,720 In file included from src/graphillion/type.h:31, 2021-07-09T16:39:18,720 from src/graphillion/zdd.h:33, 2021-07-09T16:39:18,720 from src/graphillion/zdd.cc:25: 2021-07-09T16:39:18,720 /usr/include/gmpxx.h:3330:1: note: candidate: ‘template bool operator==(const __gmp_expr&, long int)’ 2021-07-09T16:39:18,721 3330 | __GMP_DEFINE_BINARY_TYPE_FUNCTION(bool, operator==, __gmp_binary_equal) 2021-07-09T16:39:18,721 | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-09T16:39:18,721 /usr/include/gmpxx.h:3330:1: note: template argument deduction/substitution failed: 2021-07-09T16:39:18,721 src/graphillion/zdd.cc:473:39: note: ‘std::ostream’ {aka ‘std::basic_ostream’} is not derived from ‘const __gmp_expr’ 2021-07-09T16:39:18,721 473 | if (out == std::cout || out == std::cerr) 2021-07-09T16:39:18,721 | ^~~~ 2021-07-09T16:39:18,721 In file included from src/graphillion/type.h:31, 2021-07-09T16:39:18,722 from src/graphillion/zdd.h:33, 2021-07-09T16:39:18,722 from src/graphillion/zdd.cc:25: 2021-07-09T16:39:18,722 /usr/include/gmpxx.h:3330:1: note: candidate: ‘template bool operator==(long int, const __gmp_expr&)’ 2021-07-09T16:39:18,722 3330 | __GMP_DEFINE_BINARY_TYPE_FUNCTION(bool, operator==, __gmp_binary_equal) 2021-07-09T16:39:18,722 | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-09T16:39:18,723 /usr/include/gmpxx.h:3330:1: note: template argument deduction/substitution failed: 2021-07-09T16:39:18,723 src/graphillion/zdd.cc:473:39: note: ‘std::ostream’ {aka ‘std::basic_ostream’} is not derived from ‘const __gmp_expr’ 2021-07-09T16:39:18,723 473 | if (out == std::cout || out == std::cerr) 2021-07-09T16:39:18,723 | ^~~~ 2021-07-09T16:39:18,723 In file included from src/graphillion/type.h:31, 2021-07-09T16:39:18,724 from src/graphillion/zdd.h:33, 2021-07-09T16:39:18,724 from src/graphillion/zdd.cc:25: 2021-07-09T16:39:18,724 /usr/include/gmpxx.h:3330:1: note: candidate: ‘template bool operator==(const __gmp_expr&, long unsigned int)’ 2021-07-09T16:39:18,724 3330 | __GMP_DEFINE_BINARY_TYPE_FUNCTION(bool, operator==, __gmp_binary_equal) 2021-07-09T16:39:18,725 | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-09T16:39:18,725 /usr/include/gmpxx.h:3330:1: note: template argument deduction/substitution failed: 2021-07-09T16:39:18,725 src/graphillion/zdd.cc:473:39: note: ‘std::ostream’ {aka ‘std::basic_ostream’} is not derived from ‘const __gmp_expr’ 2021-07-09T16:39:18,725 473 | if (out == std::cout || out == std::cerr) 2021-07-09T16:39:18,725 | ^~~~ 2021-07-09T16:39:18,725 In file included from src/graphillion/type.h:31, 2021-07-09T16:39:18,726 from src/graphillion/zdd.h:33, 2021-07-09T16:39:18,726 from src/graphillion/zdd.cc:25: 2021-07-09T16:39:18,726 /usr/include/gmpxx.h:3330:1: note: candidate: ‘template bool operator==(long unsigned int, const __gmp_expr&)’ 2021-07-09T16:39:18,726 3330 | __GMP_DEFINE_BINARY_TYPE_FUNCTION(bool, operator==, __gmp_binary_equal) 2021-07-09T16:39:18,726 | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-09T16:39:18,726 /usr/include/gmpxx.h:3330:1: note: template argument deduction/substitution failed: 2021-07-09T16:39:18,727 src/graphillion/zdd.cc:473:39: note: ‘std::ostream’ {aka ‘std::basic_ostream’} is not derived from ‘const __gmp_expr’ 2021-07-09T16:39:18,727 473 | if (out == std::cout || out == std::cerr) 2021-07-09T16:39:18,727 | ^~~~ 2021-07-09T16:39:18,727 In file included from src/graphillion/type.h:31, 2021-07-09T16:39:18,728 from src/graphillion/zdd.h:33, 2021-07-09T16:39:18,728 from src/graphillion/zdd.cc:25: 2021-07-09T16:39:18,728 /usr/include/gmpxx.h:3330:1: note: candidate: ‘template bool operator==(const __gmp_expr&, float)’ 2021-07-09T16:39:18,728 3330 | __GMP_DEFINE_BINARY_TYPE_FUNCTION(bool, operator==, __gmp_binary_equal) 2021-07-09T16:39:18,728 | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-09T16:39:18,729 /usr/include/gmpxx.h:3330:1: note: template argument deduction/substitution failed: 2021-07-09T16:39:18,729 src/graphillion/zdd.cc:473:39: note: ‘std::ostream’ {aka ‘std::basic_ostream’} is not derived from ‘const __gmp_expr’ 2021-07-09T16:39:18,729 473 | if (out == std::cout || out == std::cerr) 2021-07-09T16:39:18,729 | ^~~~ 2021-07-09T16:39:18,729 In file included from src/graphillion/type.h:31, 2021-07-09T16:39:18,729 from src/graphillion/zdd.h:33, 2021-07-09T16:39:18,729 from src/graphillion/zdd.cc:25: 2021-07-09T16:39:18,730 /usr/include/gmpxx.h:3330:1: note: candidate: ‘template bool operator==(float, const __gmp_expr&)’ 2021-07-09T16:39:18,730 3330 | __GMP_DEFINE_BINARY_TYPE_FUNCTION(bool, operator==, __gmp_binary_equal) 2021-07-09T16:39:18,730 | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-09T16:39:18,730 /usr/include/gmpxx.h:3330:1: note: template argument deduction/substitution failed: 2021-07-09T16:39:18,730 src/graphillion/zdd.cc:473:39: note: ‘std::ostream’ {aka ‘std::basic_ostream’} is not derived from ‘const __gmp_expr’ 2021-07-09T16:39:18,730 473 | if (out == std::cout || out == std::cerr) 2021-07-09T16:39:18,730 | ^~~~ 2021-07-09T16:39:18,731 In file included from src/graphillion/type.h:31, 2021-07-09T16:39:18,731 from src/graphillion/zdd.h:33, 2021-07-09T16:39:18,731 from src/graphillion/zdd.cc:25: 2021-07-09T16:39:18,731 /usr/include/gmpxx.h:3330:1: note: candidate: ‘template bool operator==(const __gmp_expr&, double)’ 2021-07-09T16:39:18,731 3330 | __GMP_DEFINE_BINARY_TYPE_FUNCTION(bool, operator==, __gmp_binary_equal) 2021-07-09T16:39:18,731 | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-09T16:39:18,731 /usr/include/gmpxx.h:3330:1: note: template argument deduction/substitution failed: 2021-07-09T16:39:18,731 src/graphillion/zdd.cc:473:39: note: ‘std::ostream’ {aka ‘std::basic_ostream’} is not derived from ‘const __gmp_expr’ 2021-07-09T16:39:18,732 473 | if (out == std::cout || out == std::cerr) 2021-07-09T16:39:18,732 | ^~~~ 2021-07-09T16:39:18,732 In file included from src/graphillion/type.h:31, 2021-07-09T16:39:18,732 from src/graphillion/zdd.h:33, 2021-07-09T16:39:18,732 from src/graphillion/zdd.cc:25: 2021-07-09T16:39:18,732 /usr/include/gmpxx.h:3330:1: note: candidate: ‘template bool operator==(double, const __gmp_expr&)’ 2021-07-09T16:39:18,732 3330 | __GMP_DEFINE_BINARY_TYPE_FUNCTION(bool, operator==, __gmp_binary_equal) 2021-07-09T16:39:18,733 | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-09T16:39:18,733 /usr/include/gmpxx.h:3330:1: note: template argument deduction/substitution failed: 2021-07-09T16:39:18,733 src/graphillion/zdd.cc:473:39: note: ‘std::ostream’ {aka ‘std::basic_ostream’} is not derived from ‘const __gmp_expr’ 2021-07-09T16:39:18,733 473 | if (out == std::cout || out == std::cerr) 2021-07-09T16:39:18,733 | ^~~~ 2021-07-09T16:39:18,733 In file included from src/SAPPOROBDD/ZBDD.h:36, 2021-07-09T16:39:18,734 from src/graphillion/type.h:34, 2021-07-09T16:39:18,734 from src/graphillion/zdd.h:33, 2021-07-09T16:39:18,734 from src/graphillion/zdd.cc:25: 2021-07-09T16:39:18,734 src/SAPPOROBDD/BDD.h:173:12: note: candidate: ‘int operator==(const BDD&, const BDD&)’ 2021-07-09T16:39:18,734 173 | inline int operator==(const BDD& f, const BDD& g) 2021-07-09T16:39:18,734 | ^~~~~~~~ 2021-07-09T16:39:18,735 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-09T16:39:18,735 173 | inline int operator==(const BDD& f, const BDD& g) 2021-07-09T16:39:18,735 | ~~~~~~~~~~~^ 2021-07-09T16:39:18,735 src/SAPPOROBDD/BDD.h:335:12: note: candidate: ‘int operator==(const BDDV&, const BDDV&)’ 2021-07-09T16:39:18,735 335 | inline int operator==(const BDDV& fv, const BDDV& gv) 2021-07-09T16:39:18,735 | ^~~~~~~~ 2021-07-09T16:39:18,736 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-09T16:39:18,736 335 | inline int operator==(const BDDV& fv, const BDDV& gv) 2021-07-09T16:39:18,736 | ~~~~~~~~~~~~^~ 2021-07-09T16:39:18,736 In file included from src/graphillion/type.h:34, 2021-07-09T16:39:18,736 from src/graphillion/zdd.h:33, 2021-07-09T16:39:18,737 from src/graphillion/zdd.cc:25: 2021-07-09T16:39:18,737 src/SAPPOROBDD/ZBDD.h:164:12: note: candidate: ‘int operator==(const ZBDD&, const ZBDD&)’ 2021-07-09T16:39:18,737 164 | inline int operator==(const ZBDD& f, const ZBDD& g) 2021-07-09T16:39:18,737 | ^~~~~~~~ 2021-07-09T16:39:18,737 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-09T16:39:18,738 164 | inline int operator==(const ZBDD& f, const ZBDD& g) 2021-07-09T16:39:18,738 | ~~~~~~~~~~~~^ 2021-07-09T16:39:18,738 src/SAPPOROBDD/ZBDD.h:231:12: note: candidate: ‘int operator==(const ZBDDV&, const ZBDDV&)’ 2021-07-09T16:39:18,738 231 | inline int operator==(const ZBDDV& fv, const ZBDDV& gv) 2021-07-09T16:39:18,738 | ^~~~~~~~ 2021-07-09T16:39:18,738 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-09T16:39:18,738 231 | inline int operator==(const ZBDDV& fv, const ZBDDV& gv) 2021-07-09T16:39:18,739 | ~~~~~~~~~~~~~^~ 2021-07-09T16:39:18,739 In file included from /usr/include/c++/10/iosfwd:40, 2021-07-09T16:39:18,739 from /usr/include/c++/10/ios:38, 2021-07-09T16:39:18,739 from /usr/include/c++/10/ostream:38, 2021-07-09T16:39:18,739 from /usr/include/c++/10/iostream:39, 2021-07-09T16:39:18,739 from src/graphillion/zdd.h:28, 2021-07-09T16:39:18,740 from src/graphillion/zdd.cc:25: 2021-07-09T16:39:18,740 /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-09T16:39:18,740 222 | operator==(const fpos<_StateT>& __lhs, const fpos<_StateT>& __rhs) 2021-07-09T16:39:18,740 | ^~~~~~~~ 2021-07-09T16:39:18,740 /usr/include/c++/10/bits/postypes.h:222:5: note: template argument deduction/substitution failed: 2021-07-09T16:39:18,741 src/graphillion/zdd.cc:473:39: note: ‘std::ostream’ {aka ‘std::basic_ostream’} is not derived from ‘const std::fpos<_StateT>’ 2021-07-09T16:39:18,741 473 | if (out == std::cout || out == std::cerr) 2021-07-09T16:39:18,741 | ^~~~ 2021-07-09T16:39:18,741 In file included from /usr/include/c++/10/bits/stl_algobase.h:64, 2021-07-09T16:39:18,742 from /usr/include/c++/10/bits/char_traits.h:39, 2021-07-09T16:39:18,742 from /usr/include/c++/10/ios:40, 2021-07-09T16:39:18,742 from /usr/include/c++/10/ostream:38, 2021-07-09T16:39:18,742 from /usr/include/c++/10/iostream:39, 2021-07-09T16:39:18,742 from src/graphillion/zdd.h:28, 2021-07-09T16:39:18,742 from src/graphillion/zdd.cc:25: 2021-07-09T16:39:18,742 /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-09T16:39:18,743 466 | operator==(const pair<_T1, _T2>& __x, const pair<_T1, _T2>& __y) 2021-07-09T16:39:18,743 | ^~~~~~~~ 2021-07-09T16:39:18,743 /usr/include/c++/10/bits/stl_pair.h:466:5: note: template argument deduction/substitution failed: 2021-07-09T16:39:18,743 src/graphillion/zdd.cc:473:39: note: ‘std::ostream’ {aka ‘std::basic_ostream’} is not derived from ‘const std::pair<_T1, _T2>’ 2021-07-09T16:39:18,743 473 | if (out == std::cout || out == std::cerr) 2021-07-09T16:39:18,743 | ^~~~ 2021-07-09T16:39:18,744 In file included from /usr/include/c++/10/bits/stl_algobase.h:67, 2021-07-09T16:39:18,744 from /usr/include/c++/10/bits/char_traits.h:39, 2021-07-09T16:39:18,744 from /usr/include/c++/10/ios:40, 2021-07-09T16:39:18,744 from /usr/include/c++/10/ostream:38, 2021-07-09T16:39:18,744 from /usr/include/c++/10/iostream:39, 2021-07-09T16:39:18,744 from src/graphillion/zdd.h:28, 2021-07-09T16:39:18,744 from src/graphillion/zdd.cc:25: 2021-07-09T16:39:18,745 /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-09T16:39:18,745 385 | operator==(const reverse_iterator<_Iterator>& __x, 2021-07-09T16:39:18,745 | ^~~~~~~~ 2021-07-09T16:39:18,745 /usr/include/c++/10/bits/stl_iterator.h:385:5: note: template argument deduction/substitution failed: 2021-07-09T16:39:18,745 src/graphillion/zdd.cc:473:39: note: ‘std::ostream’ {aka ‘std::basic_ostream’} is not derived from ‘const std::reverse_iterator<_Iterator>’ 2021-07-09T16:39:18,745 473 | if (out == std::cout || out == std::cerr) 2021-07-09T16:39:18,746 | ^~~~ 2021-07-09T16:39:18,746 In file included from /usr/include/c++/10/bits/stl_algobase.h:67, 2021-07-09T16:39:18,746 from /usr/include/c++/10/bits/char_traits.h:39, 2021-07-09T16:39:18,746 from /usr/include/c++/10/ios:40, 2021-07-09T16:39:18,746 from /usr/include/c++/10/ostream:38, 2021-07-09T16:39:18,746 from /usr/include/c++/10/iostream:39, 2021-07-09T16:39:18,747 from src/graphillion/zdd.h:28, 2021-07-09T16:39:18,747 from src/graphillion/zdd.cc:25: 2021-07-09T16:39:18,747 /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-09T16:39:18,747 423 | operator==(const reverse_iterator<_IteratorL>& __x, 2021-07-09T16:39:18,747 | ^~~~~~~~ 2021-07-09T16:39:18,747 /usr/include/c++/10/bits/stl_iterator.h:423:5: note: template argument deduction/substitution failed: 2021-07-09T16:39:18,748 src/graphillion/zdd.cc:473:39: note: ‘std::ostream’ {aka ‘std::basic_ostream’} is not derived from ‘const std::reverse_iterator<_Iterator>’ 2021-07-09T16:39:18,748 473 | if (out == std::cout || out == std::cerr) 2021-07-09T16:39:18,748 | ^~~~ 2021-07-09T16:39:18,748 In file included from /usr/include/c++/10/bits/stl_algobase.h:67, 2021-07-09T16:39:18,748 from /usr/include/c++/10/bits/char_traits.h:39, 2021-07-09T16:39:18,749 from /usr/include/c++/10/ios:40, 2021-07-09T16:39:18,749 from /usr/include/c++/10/ostream:38, 2021-07-09T16:39:18,749 from /usr/include/c++/10/iostream:39, 2021-07-09T16:39:18,749 from src/graphillion/zdd.h:28, 2021-07-09T16:39:18,749 from src/graphillion/zdd.cc:25: 2021-07-09T16:39:18,749 /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-09T16:39:18,750 1460 | operator==(const move_iterator<_IteratorL>& __x, 2021-07-09T16:39:18,750 | ^~~~~~~~ 2021-07-09T16:39:18,750 /usr/include/c++/10/bits/stl_iterator.h:1460:5: note: template argument deduction/substitution failed: 2021-07-09T16:39:18,750 src/graphillion/zdd.cc:473:39: note: ‘std::ostream’ {aka ‘std::basic_ostream’} is not derived from ‘const std::move_iterator<_IteratorL>’ 2021-07-09T16:39:18,750 473 | if (out == std::cout || out == std::cerr) 2021-07-09T16:39:18,750 | ^~~~ 2021-07-09T16:39:18,751 In file included from /usr/include/c++/10/bits/stl_algobase.h:67, 2021-07-09T16:39:18,751 from /usr/include/c++/10/bits/char_traits.h:39, 2021-07-09T16:39:18,751 from /usr/include/c++/10/ios:40, 2021-07-09T16:39:18,751 from /usr/include/c++/10/ostream:38, 2021-07-09T16:39:18,751 from /usr/include/c++/10/iostream:39, 2021-07-09T16:39:18,751 from src/graphillion/zdd.h:28, 2021-07-09T16:39:18,751 from src/graphillion/zdd.cc:25: 2021-07-09T16:39:18,752 /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-09T16:39:18,752 1528 | operator==(const move_iterator<_Iterator>& __x, 2021-07-09T16:39:18,752 | ^~~~~~~~ 2021-07-09T16:39:18,752 /usr/include/c++/10/bits/stl_iterator.h:1528:5: note: template argument deduction/substitution failed: 2021-07-09T16:39:18,752 src/graphillion/zdd.cc:473:39: note: ‘std::ostream’ {aka ‘std::basic_ostream’} is not derived from ‘const std::move_iterator<_IteratorL>’ 2021-07-09T16:39:18,752 473 | if (out == std::cout || out == std::cerr) 2021-07-09T16:39:18,753 | ^~~~ 2021-07-09T16:39:18,753 In file included from /usr/include/c++/10/string:41, 2021-07-09T16:39:18,753 from /usr/include/c++/10/bits/locale_classes.h:40, 2021-07-09T16:39:18,753 from /usr/include/c++/10/bits/ios_base.h:41, 2021-07-09T16:39:18,753 from /usr/include/c++/10/ios:42, 2021-07-09T16:39:18,753 from /usr/include/c++/10/ostream:38, 2021-07-09T16:39:18,754 from /usr/include/c++/10/iostream:39, 2021-07-09T16:39:18,754 from src/graphillion/zdd.h:28, 2021-07-09T16:39:18,754 from src/graphillion/zdd.cc:25: 2021-07-09T16:39:18,754 /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-09T16:39:18,754 206 | operator==(const allocator<_T1>&, const allocator<_T2>&) 2021-07-09T16:39:18,754 | ^~~~~~~~ 2021-07-09T16:39:18,755 /usr/include/c++/10/bits/allocator.h:206:5: note: template argument deduction/substitution failed: 2021-07-09T16:39:18,755 src/graphillion/zdd.cc:473:39: note: ‘std::ostream’ {aka ‘std::basic_ostream’} is not derived from ‘const std::allocator<_CharT>’ 2021-07-09T16:39:18,755 473 | if (out == std::cout || out == std::cerr) 2021-07-09T16:39:18,755 | ^~~~ 2021-07-09T16:39:18,756 In file included from /usr/include/c++/10/string:55, 2021-07-09T16:39:18,756 from /usr/include/c++/10/bits/locale_classes.h:40, 2021-07-09T16:39:18,756 from /usr/include/c++/10/bits/ios_base.h:41, 2021-07-09T16:39:18,756 from /usr/include/c++/10/ios:42, 2021-07-09T16:39:18,756 from /usr/include/c++/10/ostream:38, 2021-07-09T16:39:18,756 from /usr/include/c++/10/iostream:39, 2021-07-09T16:39:18,757 from src/graphillion/zdd.h:28, 2021-07-09T16:39:18,757 from src/graphillion/zdd.cc:25: 2021-07-09T16:39:18,757 /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-09T16:39:18,757 6163 | operator==(const basic_string<_CharT, _Traits, _Alloc>& __lhs, 2021-07-09T16:39:18,757 | ^~~~~~~~ 2021-07-09T16:39:18,757 /usr/include/c++/10/bits/basic_string.h:6163:5: note: template argument deduction/substitution failed: 2021-07-09T16:39:18,758 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-09T16:39:18,758 473 | if (out == std::cout || out == std::cerr) 2021-07-09T16:39:18,758 | ^~~~ 2021-07-09T16:39:18,758 In file included from /usr/include/c++/10/string:55, 2021-07-09T16:39:18,758 from /usr/include/c++/10/bits/locale_classes.h:40, 2021-07-09T16:39:18,758 from /usr/include/c++/10/bits/ios_base.h:41, 2021-07-09T16:39:18,759 from /usr/include/c++/10/ios:42, 2021-07-09T16:39:18,759 from /usr/include/c++/10/ostream:38, 2021-07-09T16:39:18,759 from /usr/include/c++/10/iostream:39, 2021-07-09T16:39:18,759 from src/graphillion/zdd.h:28, 2021-07-09T16:39:18,759 from src/graphillion/zdd.cc:25: 2021-07-09T16:39:18,760 /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-09T16:39:18,760 6171 | operator==(const basic_string<_CharT>& __lhs, 2021-07-09T16:39:18,760 | ^~~~~~~~ 2021-07-09T16:39:18,760 /usr/include/c++/10/bits/basic_string.h:6171:5: note: template argument deduction/substitution failed: 2021-07-09T16:39:18,760 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-09T16:39:18,760 473 | if (out == std::cout || out == std::cerr) 2021-07-09T16:39:18,761 | ^~~~ 2021-07-09T16:39:18,761 In file included from /usr/include/c++/10/string:55, 2021-07-09T16:39:18,761 from /usr/include/c++/10/bits/locale_classes.h:40, 2021-07-09T16:39:18,761 from /usr/include/c++/10/bits/ios_base.h:41, 2021-07-09T16:39:18,761 from /usr/include/c++/10/ios:42, 2021-07-09T16:39:18,761 from /usr/include/c++/10/ostream:38, 2021-07-09T16:39:18,762 from /usr/include/c++/10/iostream:39, 2021-07-09T16:39:18,762 from src/graphillion/zdd.h:28, 2021-07-09T16:39:18,762 from src/graphillion/zdd.cc:25: 2021-07-09T16:39:18,762 /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-09T16:39:18,763 6185 | operator==(const basic_string<_CharT, _Traits, _Alloc>& __lhs, 2021-07-09T16:39:18,763 | ^~~~~~~~ 2021-07-09T16:39:18,763 /usr/include/c++/10/bits/basic_string.h:6185:5: note: template argument deduction/substitution failed: 2021-07-09T16:39:18,763 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-09T16:39:18,763 473 | if (out == std::cout || out == std::cerr) 2021-07-09T16:39:18,763 | ^~~~ 2021-07-09T16:39:18,764 In file included from /usr/include/c++/10/string:55, 2021-07-09T16:39:18,764 from /usr/include/c++/10/bits/locale_classes.h:40, 2021-07-09T16:39:18,764 from /usr/include/c++/10/bits/ios_base.h:41, 2021-07-09T16:39:18,764 from /usr/include/c++/10/ios:42, 2021-07-09T16:39:18,765 from /usr/include/c++/10/ostream:38, 2021-07-09T16:39:18,765 from /usr/include/c++/10/iostream:39, 2021-07-09T16:39:18,765 from src/graphillion/zdd.h:28, 2021-07-09T16:39:18,765 from src/graphillion/zdd.cc:25: 2021-07-09T16:39:18,766 /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-09T16:39:18,766 6226 | operator==(const _CharT* __lhs, 2021-07-09T16:39:18,766 | ^~~~~~~~ 2021-07-09T16:39:18,767 /usr/include/c++/10/bits/basic_string.h:6226:5: note: template argument deduction/substitution failed: 2021-07-09T16:39:18,767 src/graphillion/zdd.cc:473:39: note: mismatched types ‘const _CharT*’ and ‘std::basic_ostream’ 2021-07-09T16:39:18,767 473 | if (out == std::cout || out == std::cerr) 2021-07-09T16:39:18,767 | ^~~~ 2021-07-09T16:39:18,767 In file included from /usr/include/c++/10/bits/ios_base.h:46, 2021-07-09T16:39:18,768 from /usr/include/c++/10/ios:42, 2021-07-09T16:39:18,768 from /usr/include/c++/10/ostream:38, 2021-07-09T16:39:18,768 from /usr/include/c++/10/iostream:39, 2021-07-09T16:39:18,768 from src/graphillion/zdd.h:28, 2021-07-09T16:39:18,768 from src/graphillion/zdd.cc:25: 2021-07-09T16:39:18,769 /usr/include/c++/10/system_error:342:3: note: candidate: ‘bool std::operator==(const std::error_code&, const std::error_code&)’ 2021-07-09T16:39:18,769 342 | operator==(const error_code& __lhs, const error_code& __rhs) noexcept 2021-07-09T16:39:18,769 | ^~~~~~~~ 2021-07-09T16:39:18,769 /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-09T16:39:18,769 342 | operator==(const error_code& __lhs, const error_code& __rhs) noexcept 2021-07-09T16:39:18,769 | ~~~~~~~~~~~~~~~~~~^~~~~ 2021-07-09T16:39:18,769 /usr/include/c++/10/system_error:349:3: note: candidate: ‘bool std::operator==(const std::error_code&, const std::error_condition&)’ 2021-07-09T16:39:18,770 349 | operator==(const error_code& __lhs, const error_condition& __rhs) noexcept 2021-07-09T16:39:18,770 | ^~~~~~~~ 2021-07-09T16:39:18,770 /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-09T16:39:18,770 349 | operator==(const error_code& __lhs, const error_condition& __rhs) noexcept 2021-07-09T16:39:18,770 | ~~~~~~~~~~~~~~~~~~^~~~~ 2021-07-09T16:39:18,771 /usr/include/c++/10/system_error:357:3: note: candidate: ‘bool std::operator==(const std::error_condition&, const std::error_condition&)’ 2021-07-09T16:39:18,771 357 | operator==(const error_condition& __lhs, 2021-07-09T16:39:18,771 | ^~~~~~~~ 2021-07-09T16:39:18,771 /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-09T16:39:18,771 357 | operator==(const error_condition& __lhs, 2021-07-09T16:39:18,771 | ~~~~~~~~~~~~~~~~~~~~~~~^~~~~ 2021-07-09T16:39:18,771 /usr/include/c++/10/system_error:390:3: note: candidate: ‘bool std::operator==(const std::error_condition&, const std::error_code&)’ 2021-07-09T16:39:18,772 390 | operator==(const error_condition& __lhs, const error_code& __rhs) noexcept 2021-07-09T16:39:18,772 | ^~~~~~~~ 2021-07-09T16:39:18,772 /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-09T16:39:18,772 390 | operator==(const error_condition& __lhs, const error_code& __rhs) noexcept 2021-07-09T16:39:18,772 | ~~~~~~~~~~~~~~~~~~~~~~~^~~~~ 2021-07-09T16:39:18,772 In file included from /usr/include/c++/10/bits/locale_facets.h:48, 2021-07-09T16:39:18,773 from /usr/include/c++/10/bits/basic_ios.h:37, 2021-07-09T16:39:18,773 from /usr/include/c++/10/ios:44, 2021-07-09T16:39:18,773 from /usr/include/c++/10/ostream:38, 2021-07-09T16:39:18,773 from /usr/include/c++/10/iostream:39, 2021-07-09T16:39:18,773 from src/graphillion/zdd.h:28, 2021-07-09T16:39:18,773 from src/graphillion/zdd.cc:25: 2021-07-09T16:39:18,774 /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-09T16:39:18,774 227 | operator==(const istreambuf_iterator<_CharT, _Traits>& __a, 2021-07-09T16:39:18,774 | ^~~~~~~~ 2021-07-09T16:39:18,774 /usr/include/c++/10/bits/streambuf_iterator.h:227:5: note: template argument deduction/substitution failed: 2021-07-09T16:39:18,774 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-09T16:39:18,774 473 | if (out == std::cout || out == std::cerr) 2021-07-09T16:39:18,775 | ^~~~ 2021-07-09T16:39:18,775 In file included from /usr/include/c++/10/set:61, 2021-07-09T16:39:18,775 from src/graphillion/zdd.h:29, 2021-07-09T16:39:18,775 from src/graphillion/zdd.cc:25: 2021-07-09T16:39:18,775 /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-09T16:39:18,775 985 | operator==(const set<_Key, _Compare, _Alloc>& __x, 2021-07-09T16:39:18,776 | ^~~~~~~~ 2021-07-09T16:39:18,776 /usr/include/c++/10/bits/stl_set.h:985:5: note: template argument deduction/substitution failed: 2021-07-09T16:39:18,776 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-09T16:39:18,776 473 | if (out == std::cout || out == std::cerr) 2021-07-09T16:39:18,776 | ^~~~ 2021-07-09T16:39:18,777 In file included from /usr/include/c++/10/set:62, 2021-07-09T16:39:18,777 from src/graphillion/zdd.h:29, 2021-07-09T16:39:18,777 from src/graphillion/zdd.cc:25: 2021-07-09T16:39:18,777 /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-09T16:39:18,777 971 | operator==(const multiset<_Key, _Compare, _Alloc>& __x, 2021-07-09T16:39:18,777 | ^~~~~~~~ 2021-07-09T16:39:18,778 /usr/include/c++/10/bits/stl_multiset.h:971:5: note: template argument deduction/substitution failed: 2021-07-09T16:39:18,778 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-09T16:39:18,778 473 | if (out == std::cout || out == std::cerr) 2021-07-09T16:39:18,778 | ^~~~ 2021-07-09T16:39:18,778 In file included from /usr/include/c++/10/vector:67, 2021-07-09T16:39:18,778 from src/graphillion/zdd.h:31, 2021-07-09T16:39:18,779 from src/graphillion/zdd.cc:25: 2021-07-09T16:39:18,779 /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-09T16:39:18,779 1892 | operator==(const vector<_Tp, _Alloc>& __x, const vector<_Tp, _Alloc>& __y) 2021-07-09T16:39:18,779 | ^~~~~~~~ 2021-07-09T16:39:18,779 /usr/include/c++/10/bits/stl_vector.h:1892:5: note: template argument deduction/substitution failed: 2021-07-09T16:39:18,779 src/graphillion/zdd.cc:473:39: note: ‘std::ostream’ {aka ‘std::basic_ostream’} is not derived from ‘const std::vector<_Tp, _Alloc>’ 2021-07-09T16:39:18,780 473 | if (out == std::cout || out == std::cerr) 2021-07-09T16:39:18,780 | ^~~~ 2021-07-09T16:39:18,780 In file included from /usr/include/c++/10/tuple:39, 2021-07-09T16:39:18,780 from /usr/include/c++/10/bits/stl_map.h:63, 2021-07-09T16:39:18,780 from /usr/include/c++/10/map:61, 2021-07-09T16:39:18,780 from src/graphillion/zdd.cc:31: 2021-07-09T16:39:18,781 /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-09T16:39:18,781 253 | operator==(const array<_Tp, _Nm>& __one, const array<_Tp, _Nm>& __two) 2021-07-09T16:39:18,781 | ^~~~~~~~ 2021-07-09T16:39:18,781 /usr/include/c++/10/array:253:5: note: template argument deduction/substitution failed: 2021-07-09T16:39:18,781 src/graphillion/zdd.cc:473:39: note: ‘std::ostream’ {aka ‘std::basic_ostream’} is not derived from ‘const std::array<_Tp, _Nm>’ 2021-07-09T16:39:18,782 473 | if (out == std::cout || out == std::cerr) 2021-07-09T16:39:18,782 | ^~~~ 2021-07-09T16:39:18,782 In file included from /usr/include/c++/10/bits/stl_map.h:63, 2021-07-09T16:39:18,782 from /usr/include/c++/10/map:61, 2021-07-09T16:39:18,782 from src/graphillion/zdd.cc:31: 2021-07-09T16:39:18,782 /usr/include/c++/10/tuple:1393:5: note: candidate: ‘template constexpr bool std::operator==(const std::tuple<_Tps ...>&, const std::tuple<_Args2 ...>&)’ 2021-07-09T16:39:18,783 1393 | operator==(const tuple<_TElements...>& __t, 2021-07-09T16:39:18,783 | ^~~~~~~~ 2021-07-09T16:39:18,783 /usr/include/c++/10/tuple:1393:5: note: template argument deduction/substitution failed: 2021-07-09T16:39:18,783 src/graphillion/zdd.cc:473:39: note: ‘std::ostream’ {aka ‘std::basic_ostream’} is not derived from ‘const std::tuple<_Tps ...>’ 2021-07-09T16:39:18,783 473 | if (out == std::cout || out == std::cerr) 2021-07-09T16:39:18,784 | ^~~~ 2021-07-09T16:39:18,784 In file included from /usr/include/c++/10/map:61, 2021-07-09T16:39:18,784 from src/graphillion/zdd.cc:31: 2021-07-09T16:39:18,784 /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-09T16:39:18,784 1463 | operator==(const map<_Key, _Tp, _Compare, _Alloc>& __x, 2021-07-09T16:39:18,784 | ^~~~~~~~ 2021-07-09T16:39:18,785 /usr/include/c++/10/bits/stl_map.h:1463:5: note: template argument deduction/substitution failed: 2021-07-09T16:39:18,785 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-09T16:39:18,785 473 | if (out == std::cout || out == std::cerr) 2021-07-09T16:39:18,785 | ^~~~ 2021-07-09T16:39:18,785 In file included from /usr/include/c++/10/map:62, 2021-07-09T16:39:18,785 from src/graphillion/zdd.cc:31: 2021-07-09T16:39:18,786 /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-09T16:39:18,786 1128 | operator==(const multimap<_Key, _Tp, _Compare, _Alloc>& __x, 2021-07-09T16:39:18,786 | ^~~~~~~~ 2021-07-09T16:39:18,786 /usr/include/c++/10/bits/stl_multimap.h:1128:5: note: template argument deduction/substitution failed: 2021-07-09T16:39:18,786 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-09T16:39:18,786 473 | if (out == std::cout || out == std::cerr) 2021-07-09T16:39:18,787 | ^~~~ 2021-07-09T16:39:19,715 error: command '/usr/bin/arm-linux-gnueabihf-gcc' failed with exit code 1 2021-07-09T16:39:19,790 Building wheel for graphillion (setup.py): finished with status 'error' 2021-07-09T16:39:19,790 ERROR: Failed building wheel for graphillion 2021-07-09T16:39:19,791 Running setup.py clean for graphillion 2021-07-09T16:39:19,791 Running command /usr/bin/python3 -u -c 'import io, os, sys, setuptools, tokenize; sys.argv[0] = '"'"'/tmp/pip-wheel-hbs6cvy4/graphillion_633230eeebae4383bffb2377a586abc8/setup.py'"'"'; __file__='"'"'/tmp/pip-wheel-hbs6cvy4/graphillion_633230eeebae4383bffb2377a586abc8/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-09T16:39:20,566 running clean 2021-07-09T16:39:20,568 removing 'build/temp.linux-armv7l-3.9' (and everything under it) 2021-07-09T16:39:20,576 removing 'build/lib.linux-armv7l-3.9' (and everything under it) 2021-07-09T16:39:20,579 'build/bdist.linux-armv7l' does not exist -- can't clean it 2021-07-09T16:39:20,580 'build/scripts-3.9' does not exist -- can't clean it 2021-07-09T16:39:20,580 removing 'build' 2021-07-09T16:39:20,636 Failed to build graphillion 2021-07-09T16:39:20,636 ERROR: Failed to build one or more wheels 2021-07-09T16:39:20,637 Exception information: 2021-07-09T16:39:20,637 Traceback (most recent call last): 2021-07-09T16:39:20,637 File "/usr/local/lib/python3.9/dist-packages/pip/_internal/cli/base_command.py", line 180, in _main 2021-07-09T16:39:20,637 status = self.run(options, args) 2021-07-09T16:39:20,637 File "/usr/local/lib/python3.9/dist-packages/pip/_internal/cli/req_command.py", line 205, in wrapper 2021-07-09T16:39:20,637 return func(self, options, args) 2021-07-09T16:39:20,637 File "/usr/local/lib/python3.9/dist-packages/pip/_internal/commands/wheel.py", line 174, in run 2021-07-09T16:39:20,637 raise CommandError( 2021-07-09T16:39:20,637 pip._internal.exceptions.CommandError: Failed to build one or more wheels 2021-07-09T16:39:20,640 Removed build tracker: '/tmp/pip-req-tracker-purzj3up'