Deploying to gh-pages from @ 469dfa8 🚀

SSoelvsten · Jun 14, 2024 · 4311057 · 4311057
1 parent 12464c0
commit 4311057
Show file tree

Hide file tree

Showing 9 changed files with 145 additions and 152 deletions.
diff --git a/bdd_2bdd_8h_source.html b/bdd_2bdd_8h_source.html
diff --git a/classadiar_1_1bdd.js b/classadiar_1_1bdd.js
@@ -28,7 +28,6 @@ var classadiar_1_1bdd =
     [ "operator|=", "classadiar_1_1bdd.html#a09927a3b6d7acedc355f5a4ce8698a1f", null ],
     [ "size", "classadiar_1_1bdd.html#adc08e814ccd31b2c213cae02421a7856", null ],
     [ "width", "classadiar_1_1bdd.html#ae50a9dc1b8fcd0a6a907e4b1e3f22ac3", null ],
-    [ "apply_prod2_policy", "classadiar_1_1bdd.html#aa153dc16b9a94b1c9f7a65c468a8d540", null ],
     [ "bdd_ite", "classadiar_1_1bdd.html#a27912dac242552a6c0b6cc13a52b3f8c", null ],
     [ "bdd_nodecount", "classadiar_1_1bdd.html#a467df9b676300170cb751965d4d9556a", null ],
     [ "bdd_not", "classadiar_1_1bdd.html#ad40e6cf627d17cace6ed2f8f4122169e", null ],

diff --git a/group__module____bdd.js b/group__module____bdd.js
@@ -50,7 +50,6 @@ var group__module____bdd =
       [ "operator|=", "classadiar_1_1bdd.html#a09927a3b6d7acedc355f5a4ce8698a1f", null ],
       [ "size", "classadiar_1_1bdd.html#adc08e814ccd31b2c213cae02421a7856", null ],
       [ "width", "classadiar_1_1bdd.html#ae50a9dc1b8fcd0a6a907e4b1e3f22ac3", null ],
-      [ "apply_prod2_policy", "classadiar_1_1bdd.html#aa153dc16b9a94b1c9f7a65c468a8d540", null ],
       [ "bdd_ite", "classadiar_1_1bdd.html#a27912dac242552a6c0b6cc13a52b3f8c", null ],
       [ "bdd_nodecount", "classadiar_1_1bdd.html#a467df9b676300170cb751965d4d9556a", null ],
       [ "bdd_not", "classadiar_1_1bdd.html#ad40e6cf627d17cace6ed2f8f4122169e", null ],

diff --git a/navtreedata.js b/navtreedata.js
@@ -70,11 +70,11 @@ var NAVTREE =
 
 var NAVTREEINDEX =
 [
-"",
-"functions_c.html",
-"group__module____bdd.html#gab0c6f655139949a356ba7d852f2c28d6",
-"group__module____zdd.html#ga54c57b24cc6dcd40faf7eb782baea4de",
-"page__basic.html#autotoc_md11"
+"adiar_8h_source.html",
+"functions_e.html",
+"group__module____bdd.html#gab1ae8327a5ec6cdd99ff252fa8244059",
+"group__module____zdd.html#ga58621c867828785ed14d99a500368e2c",
+"page__basic.html#autotoc_md13"
 ];
 
 var SYNCONMSG = 'click to disable panel synchronisation';

diff --git a/navtreeindex0.js b/navtreeindex0.js
@@ -1,6 +1,5 @@
 var NAVTREEINDEX0 =
 {
-"":[5,0,0,0],
 "adiar_8h_source.html":[7,0,1,0,3],
 "annotated.html":[6,0],
 "bdd_2bdd_8h_source.html":[7,0,1,0,0,0],
@@ -53,37 +52,36 @@ var NAVTREEINDEX0 =
 "classadiar_1_1bdd.html#a09927a3b6d7acedc355f5a4ce8698a1f":[4,2,1,25],
 "classadiar_1_1bdd.html#a0cdac2e628e7e850c765f934b54bd6c6":[4,2,1,2],
 "classadiar_1_1bdd.html#a1ccd22bde3c2541e5000a8fd100cf99a":[4,2,1,24],
-"classadiar_1_1bdd.html#a2552dde28e5e045c0b1b9271e9db8807":[4,2,1,35],
-"classadiar_1_1bdd.html#a27912dac242552a6c0b6cc13a52b3f8c":[4,2,1,29],
+"classadiar_1_1bdd.html#a2552dde28e5e045c0b1b9271e9db8807":[4,2,1,34],
+"classadiar_1_1bdd.html#a27912dac242552a6c0b6cc13a52b3f8c":[4,2,1,28],
 "classadiar_1_1bdd.html#a2861d0db43c503b9342ff9bfff7ed6a4":[4,2,1,9],
 "classadiar_1_1bdd.html#a302e813f65e152fc209f4c3986aa42fd":[4,2,1,18],
 "classadiar_1_1bdd.html#a32d97c46fa78dff0c85f5afbcd201466":[4,2,1,8],
 "classadiar_1_1bdd.html#a355887367038d19632c86fb9c2717630":[4,2,1,14],
 "classadiar_1_1bdd.html#a409d3167ad9fa5d40cbb50e7d5bc69c4":[4,2,1,17],
-"classadiar_1_1bdd.html#a467df9b676300170cb751965d4d9556a":[4,2,1,30],
+"classadiar_1_1bdd.html#a467df9b676300170cb751965d4d9556a":[4,2,1,29],
 "classadiar_1_1bdd.html#a55fb5c181a44b622f5fc43e6030121aa":[4,2,1,13],
 "classadiar_1_1bdd.html#a6e3a8ba34a8e4c6ffa86612923293b0f":[4,2,1,5],
 "classadiar_1_1bdd.html#a738b16f1537ea259763ce60c056164de":[4,2,1,20],
 "classadiar_1_1bdd.html#a7b4eda40a4faa1caea332b18c28a06be":[4,2,1,23],
 "classadiar_1_1bdd.html#a89544dd479c73f3704c989d54e72b10b":[4,2,1,1],
-"classadiar_1_1bdd.html#a8de1d3d1e39f7e61b1fd1e2be4dfd336":[4,2,1,34],
+"classadiar_1_1bdd.html#a8de1d3d1e39f7e61b1fd1e2be4dfd336":[4,2,1,33],
 "classadiar_1_1bdd.html#a93ec5aaf584e43c89246788c577067ea":[4,2,1,4],
 "classadiar_1_1bdd.html#a99124efed79851259374606556f8b94b":[4,2,1,12],
 "classadiar_1_1bdd.html#a9b5aa8985700f11df56311c73dee1cf0":[4,2,1,22],
-"classadiar_1_1bdd.html#aa153dc16b9a94b1c9f7a65c468a8d540":[4,2,1,28],
 "classadiar_1_1bdd.html#aa97722d01a0549b7ee27d9e9a1798e55":[4,2,1,16],
 "classadiar_1_1bdd.html#aae5faaa190306c52cfa88a2458971869":[4,2,1,11],
 "classadiar_1_1bdd.html#ab27dcf883d83c04d944288f0b3507cd8":[4,2,1,6],
-"classadiar_1_1bdd.html#ab3c12e6a74d184ffbcce622e979a89f8":[4,2,1,33],
+"classadiar_1_1bdd.html#ab3c12e6a74d184ffbcce622e979a89f8":[4,2,1,32],
 "classadiar_1_1bdd.html#acaf2cbc09c051a0502cd88d26107d877":[4,2,1,0],
-"classadiar_1_1bdd.html#ad40e6cf627d17cace6ed2f8f4122169e":[4,2,1,31],
+"classadiar_1_1bdd.html#ad40e6cf627d17cace6ed2f8f4122169e":[4,2,1,30],
 "classadiar_1_1bdd.html#adc08e814ccd31b2c213cae02421a7856":[4,2,1,26],
 "classadiar_1_1bdd.html#ae50a9dc1b8fcd0a6a907e4b1e3f22ac3":[4,2,1,27],
 "classadiar_1_1bdd.html#ae61644f31c4f02c71977814fa92c2435":[4,2,1,3],
 "classadiar_1_1bdd.html#aef2f8cbd3631a1e42e6554eac2d7e132":[4,2,1,15],
 "classadiar_1_1bdd.html#aef780417a744bc61299ec7e690570f00":[4,2,1,10],
 "classadiar_1_1bdd.html#af2a2b91ddde0ed1e0acc2181bb8a4e59":[4,2,1,19],
-"classadiar_1_1bdd.html#afef586ff33a4179291f3b9040648f1b0":[4,2,1,32],
+"classadiar_1_1bdd.html#afef586ff33a4179291f3b9040648f1b0":[4,2,1,31],
 "classadiar_1_1builder.html":[4,4,0],
 "classadiar_1_1builder.html#a20b8238b4e6344f722e8329245417a4a":[4,4,0,2],
 "classadiar_1_1builder.html#a47fe8f6f0607ae9e2c8fce4704f72987":[4,4,0,5],
@@ -249,5 +247,7 @@ var NAVTREEINDEX0 =
 "functions.html":[6,3,0],
 "functions.html":[6,3,0,0],
 "functions_a.html":[6,3,0,1],
-"functions_b.html":[6,3,0,2]
+"functions_b.html":[6,3,0,2],
+"functions_c.html":[6,3,0,3],
+"functions_d.html":[6,3,0,4]
 };
diff --git a/navtreeindex1.js b/navtreeindex1.js
@@ -1,7 +1,5 @@
 var NAVTREEINDEX1 =
 {
-"functions_c.html":[6,3,0,3],
-"functions_d.html":[6,3,0,4],
 "functions_e.html":[6,3,0,5],
 "functions_enum.html":[6,3,4],
 "functions_eval.html":[6,3,5],
@@ -91,8 +89,8 @@ var NAVTREEINDEX1 =
 "group__module____bdd.html#ga1a0527ba6fb9ef4585ee6c463e6c3048":[5,0,0,151],
 "group__module____bdd.html#ga1c43e5bd6bd8fde4def8440b434684d2":[4,2,95],
 "group__module____bdd.html#ga1c43e5bd6bd8fde4def8440b434684d2":[5,0,0,127],
-"group__module____bdd.html#ga1ca06d6f82e918385fadc8e5f4d4b297":[5,0,0,42],
 "group__module____bdd.html#ga1ca06d6f82e918385fadc8e5f4d4b297":[4,2,10],
+"group__module____bdd.html#ga1ca06d6f82e918385fadc8e5f4d4b297":[5,0,0,42],
 "group__module____bdd.html#ga1ef5628506e4807ec53c1fc53586433b":[4,2,121],
 "group__module____bdd.html#ga1ef5628506e4807ec53c1fc53586433b":[5,0,0,154],
 "group__module____bdd.html#ga1f863a598b430b6c936900f855abb8c4":[4,2,111],
@@ -248,6 +246,8 @@ var NAVTREEINDEX1 =
 "group__module____bdd.html#gaad2969d436b96542cbb7f9f83d695a94":[5,0,0,140],
 "group__module____bdd.html#gaaddc82e279f412570731750be0cffd7d":[5,0,0,50],
 "group__module____bdd.html#gaaddc82e279f412570731750be0cffd7d":[4,2,18],
+"group__module____bdd.html#gaafdcacca31af7fadf9160073b60f29d6":[5,0,0,41],
 "group__module____bdd.html#gaafdcacca31af7fadf9160073b60f29d6":[4,2,9],
-"group__module____bdd.html#gaafdcacca31af7fadf9160073b60f29d6":[5,0,0,41]
+"group__module____bdd.html#gab0c6f655139949a356ba7d852f2c28d6":[5,0,0,86],
+"group__module____bdd.html#gab0c6f655139949a356ba7d852f2c28d6":[4,2,54]
 };
diff --git a/navtreeindex2.js b/navtreeindex2.js
@@ -1,7 +1,5 @@
 var NAVTREEINDEX2 =
 {
-"group__module____bdd.html#gab0c6f655139949a356ba7d852f2c28d6":[5,0,0,86],
-"group__module____bdd.html#gab0c6f655139949a356ba7d852f2c28d6":[4,2,54],
 "group__module____bdd.html#gab1ae8327a5ec6cdd99ff252fa8244059":[4,2,99],
 "group__module____bdd.html#gab1ae8327a5ec6cdd99ff252fa8244059":[5,0,0,131],
 "group__module____bdd.html#gab6ff018bc5539dcf5039b08f37c867fe":[5,0,0,100],
@@ -14,8 +12,8 @@ var NAVTREEINDEX2 =
 "group__module____bdd.html#gaba9c6758f6c0ba4fea4ccc7b68f5b8d6":[5,0,0,158],
 "group__module____bdd.html#gabab939ef9115bd7e328ea610c9decbaa":[4,2,87],
 "group__module____bdd.html#gabab939ef9115bd7e328ea610c9decbaa":[5,0,0,119],
-"group__module____bdd.html#gabea8b686d1279aabfeb5b88e167052d6":[5,0,0,81],
 "group__module____bdd.html#gabea8b686d1279aabfeb5b88e167052d6":[4,2,49],
+"group__module____bdd.html#gabea8b686d1279aabfeb5b88e167052d6":[5,0,0,81],
 "group__module____bdd.html#gabfbddc98031801febb1dbb35faf0f500":[4,2,125],
 "group__module____bdd.html#gabfbddc98031801febb1dbb35faf0f500":[5,0,0,159],
 "group__module____bdd.html#gabfeb947e1a131328d2cf9ea790a193de":[4,2,82],
@@ -40,8 +38,8 @@ var NAVTREEINDEX2 =
 "group__module____bdd.html#gad082421dfdd27070d380342502d306fa":[5,0,0,211],
 "group__module____bdd.html#gad23f070b6cb8ff481c3e8f29195feaef":[4,2,145],
 "group__module____bdd.html#gad23f070b6cb8ff481c3e8f29195feaef":[5,0,0,215],
-"group__module____bdd.html#gad32d15ca5c17bc853301feff4ba9f419":[5,0,0,53],
 "group__module____bdd.html#gad32d15ca5c17bc853301feff4ba9f419":[4,2,21],
+"group__module____bdd.html#gad32d15ca5c17bc853301feff4ba9f419":[5,0,0,53],
 "group__module____bdd.html#gad3f38d64f08f9d40ee03a9146f39bc48":[5,0,0,57],
 "group__module____bdd.html#gad3f38d64f08f9d40ee03a9146f39bc48":[4,2,25],
 "group__module____bdd.html#gad8adfc5cb70417e507e973460169cb73":[5,0,0,61],
@@ -84,22 +82,22 @@ var NAVTREEINDEX2 =
 "group__module____bdd.html#gaf5efee225ee540d7fe66495d7f202527":[5,0,0,205],
 "group__module____bdd.html#gaf7ae252bd0954ac6c63013b345ca30ee":[5,0,0,64],
 "group__module____bdd.html#gaf7ae252bd0954ac6c63013b345ca30ee":[4,2,32],
-"group__module____bdd.html#gaf851ad7f07b516aa84563d9fc0756dda":[4,2,78],
 "group__module____bdd.html#gaf851ad7f07b516aa84563d9fc0756dda":[5,0,0,110],
+"group__module____bdd.html#gaf851ad7f07b516aa84563d9fc0756dda":[4,2,78],
 "group__module____bdd.html#gaf933e54ccdf9cf9cff52d2ef5f2befbe":[4,2,88],
 "group__module____bdd.html#gaf933e54ccdf9cf9cff52d2ef5f2befbe":[5,0,0,120],
-"group__module____bdd.html#gafab7d823b438fc698b218b30e7cb10fa":[4,2,40],
 "group__module____bdd.html#gafab7d823b438fc698b218b30e7cb10fa":[5,0,0,72],
-"group__module____bdd.html#gafabb8fe9644393e18843eb1f1d466ef2":[5,0,0,144],
+"group__module____bdd.html#gafab7d823b438fc698b218b30e7cb10fa":[4,2,40],
 "group__module____bdd.html#gafabb8fe9644393e18843eb1f1d466ef2":[4,2,112],
+"group__module____bdd.html#gafabb8fe9644393e18843eb1f1d466ef2":[5,0,0,144],
 "group__module____bdd.html#gafbf9600fb919ec4d16144c8744ee276e":[4,2,104],
 "group__module____bdd.html#gafbf9600fb919ec4d16144c8744ee276e":[5,0,0,136],
 "group__module____bdd.html#gafcd7318723c4e2c52a99d130b74d205d":[5,0,0,101],
 "group__module____bdd.html#gafcd7318723c4e2c52a99d130b74d205d":[4,2,69],
 "group__module____bdd.html#gafd88e3b4d657fe0affd7a77983aceca2":[4,2,128],
 "group__module____bdd.html#gafd88e3b4d657fe0affd7a77983aceca2":[5,0,0,162],
-"group__module____bdd.html#gafec8f021fa4e36534d46099ed075c24a":[4,2,20],
 "group__module____bdd.html#gafec8f021fa4e36534d46099ed075c24a":[5,0,0,52],
+"group__module____bdd.html#gafec8f021fa4e36534d46099ed075c24a":[4,2,20],
 "group__module____builder.html":[4,4],
 "group__module____builder.html#ga0b9034da68843a3fff87b408e2c2b4fe":[4,4,4],
 "group__module____builder.html#ga0b9034da68843a3fff87b408e2c2b4fe":[5,0,0,27],
@@ -124,8 +122,8 @@ var NAVTREEINDEX2 =
 "group__module____domain.html#ga8424919bff298b87ef08f326db6e0d75":[5,0,0,172],
 "group__module____domain.html#ga84a96ae56dba7e41a43767a1be7449d6":[4,5,5],
 "group__module____domain.html#ga84a96ae56dba7e41a43767a1be7449d6":[5,0,0,175],
-"group__module____domain.html#ga8bff450c02a2bfa77b10d76557905a77":[5,0,0,335],
 "group__module____domain.html#ga8bff450c02a2bfa77b10d76557905a77":[4,5,9],
+"group__module____domain.html#ga8bff450c02a2bfa77b10d76557905a77":[5,0,0,335],
 "group__module____domain.html#gabffcbfe753972ad7bb25244829364343":[4,5,0],
 "group__module____domain.html#gabffcbfe753972ad7bb25244829364343":[5,0,0,14],
 "group__module____domain.html#gaeb7fdbf6de32b88b515a65856384593f":[4,5,8],
@@ -173,8 +171,8 @@ var NAVTREEINDEX2 =
 "group__module____zdd.html#ga09200614cf2c1c378fbc4d53577c33bd":[5,0,0,268],
 "group__module____zdd.html#ga09dc62b40d01cc97e0e2a4ad9e421326":[5,0,0,217],
 "group__module____zdd.html#ga09dc62b40d01cc97e0e2a4ad9e421326":[4,3,13],
-"group__module____zdd.html#ga0a260a8059c93767887631282385ce56":[4,3,40],
 "group__module____zdd.html#ga0a260a8059c93767887631282385ce56":[5,0,0,248],
+"group__module____zdd.html#ga0a260a8059c93767887631282385ce56":[4,3,40],
 "group__module____zdd.html#ga0ec28a7b324e4a26f771437549cf48e8":[5,0,0,325],
 "group__module____zdd.html#ga0ec28a7b324e4a26f771437549cf48e8":[4,3,117],
 "group__module____zdd.html#ga0ec71a70870ee46fd7cefbc3aaa90aec":[4,3,59],
@@ -203,8 +201,8 @@ var NAVTREEINDEX2 =
 "group__module____zdd.html#ga219d4350003dcb6db756eab261c60b64":[5,0,0,292],
 "group__module____zdd.html#ga22b66dd823a903cd0c6514434a88af47":[4,3,92],
 "group__module____zdd.html#ga22b66dd823a903cd0c6514434a88af47":[5,0,0,300],
-"group__module____zdd.html#ga242db7ab2d4466541b66cdf91a1303ee":[4,3,32],
 "group__module____zdd.html#ga242db7ab2d4466541b66cdf91a1303ee":[5,0,0,240],
+"group__module____zdd.html#ga242db7ab2d4466541b66cdf91a1303ee":[4,3,32],
 "group__module____zdd.html#ga255437d0ce528f5c78170dd340a51811":[4,3,89],
 "group__module____zdd.html#ga255437d0ce528f5c78170dd340a51811":[5,0,0,297],
 "group__module____zdd.html#ga294677f879d85e1d95f472444dc42bd6":[4,3,64],
@@ -223,31 +221,33 @@ var NAVTREEINDEX2 =
 "group__module____zdd.html#ga31248d6c54224d1174f5c75e047c9c51":[5,0,0,255],
 "group__module____zdd.html#ga361defdff32d55c0e33a0debd21ef941":[5,0,0,318],
 "group__module____zdd.html#ga361defdff32d55c0e33a0debd21ef941":[4,3,110],
-"group__module____zdd.html#ga3781cba035e9141bd381f3726fe87e22":[5,0,0,285],
 "group__module____zdd.html#ga3781cba035e9141bd381f3726fe87e22":[4,3,77],
+"group__module____zdd.html#ga3781cba035e9141bd381f3726fe87e22":[5,0,0,285],
 "group__module____zdd.html#ga3c29f64995a36a9833802a2fd392b9cf":[4,3,6],
 "group__module____zdd.html#ga3c29f64995a36a9833802a2fd392b9cf":[5,0,0,207],
 "group__module____zdd.html#ga3c4e6f41d40ed42bdd9d6c9702c1933e":[4,3,74],
 "group__module____zdd.html#ga3c4e6f41d40ed42bdd9d6c9702c1933e":[5,0,0,282],
-"group__module____zdd.html#ga3c6c80d32b5634937f097139f5aa55d8":[4,3,70],
 "group__module____zdd.html#ga3c6c80d32b5634937f097139f5aa55d8":[5,0,0,278],
+"group__module____zdd.html#ga3c6c80d32b5634937f097139f5aa55d8":[4,3,70],
 "group__module____zdd.html#ga442f3cfcb7d6bffec930c2da6d0bf24d":[5,0,0,331],
 "group__module____zdd.html#ga442f3cfcb7d6bffec930c2da6d0bf24d":[4,3,123],
-"group__module____zdd.html#ga477c3c80b3440822935965ef8bbc8efa":[5,0,0,301],
 "group__module____zdd.html#ga477c3c80b3440822935965ef8bbc8efa":[4,3,93],
-"group__module____zdd.html#ga4bbe1a1191837c1692cb5ab03735fab6":[5,0,0,261],
+"group__module____zdd.html#ga477c3c80b3440822935965ef8bbc8efa":[5,0,0,301],
 "group__module____zdd.html#ga4bbe1a1191837c1692cb5ab03735fab6":[4,3,53],
-"group__module____zdd.html#ga4dc555d399b93040b69b0b7177cee367":[4,3,39],
+"group__module____zdd.html#ga4bbe1a1191837c1692cb5ab03735fab6":[5,0,0,261],
 "group__module____zdd.html#ga4dc555d399b93040b69b0b7177cee367":[5,0,0,247],
+"group__module____zdd.html#ga4dc555d399b93040b69b0b7177cee367":[4,3,39],
 "group__module____zdd.html#ga514c85603336bd7600fcef19c0dc1785":[4,3,106],
 "group__module____zdd.html#ga514c85603336bd7600fcef19c0dc1785":[5,0,0,314],
 "group__module____zdd.html#ga52d94d07f3cd7cbd48ac16c2a63bbf3f":[4,3,99],
 "group__module____zdd.html#ga52d94d07f3cd7cbd48ac16c2a63bbf3f":[5,0,0,307],
-"group__module____zdd.html#ga532e66023fe056b5e83883dd342ad241":[5,0,0,279],
 "group__module____zdd.html#ga532e66023fe056b5e83883dd342ad241":[4,3,71],
+"group__module____zdd.html#ga532e66023fe056b5e83883dd342ad241":[5,0,0,279],
 "group__module____zdd.html#ga539ad6c8a17c0097c929456731fb9088":[5,0,0,317],
 "group__module____zdd.html#ga539ad6c8a17c0097c929456731fb9088":[4,3,109],
-"group__module____zdd.html#ga54b33c78b61088f89b5604a42cdad991":[4,3,15],
 "group__module____zdd.html#ga54b33c78b61088f89b5604a42cdad991":[5,0,0,223],
-"group__module____zdd.html#ga54c57b24cc6dcd40faf7eb782baea4de":[4,3,38]
+"group__module____zdd.html#ga54b33c78b61088f89b5604a42cdad991":[4,3,15],
+"group__module____zdd.html#ga54c57b24cc6dcd40faf7eb782baea4de":[5,0,0,246],
+"group__module____zdd.html#ga54c57b24cc6dcd40faf7eb782baea4de":[4,3,38],
+"group__module____zdd.html#ga58621c867828785ed14d99a500368e2c":[4,3,11]
 };