diff --git a/bdd_2bdd_8h_source.html b/bdd_2bdd_8h_source.html index ea597c59f..ca4bbe427 100644 --- a/bdd_2bdd_8h_source.html +++ b/bdd_2bdd_8h_source.html @@ -124,91 +124,87 @@
56  // |- classes [public]
57  friend __bdd;
58 
-
59  // |- classes [internal]
-
60  template <typename BinaryOp>
-
61  friend class apply_prod2_policy;
-
62 
-
63  // |- functions
-
64  friend bdd
-
65  bdd_not(const bdd&);
-
66  friend bdd
-
67  bdd_not(bdd&&);
-
68 
-
69  friend size_t
-
70  bdd_nodecount(const bdd&);
-
71 
-
72  friend typename bdd::label_type
-
73  bdd_varcount(const bdd&);
-
74 
-
75  friend __bdd
-
76  bdd_ite(const exec_policy& ep, const bdd& f, const bdd& g, const bdd& h);
-
77 
-
78  public:
-
83  static constexpr std::string_view false_print = "&perp;";
-
84 
-
88  static constexpr std::string_view true_print = "&#x22A4;"; // &top;
-
90 
-
92  // Constructors
-
93  public:
-
99  bdd();
-
100 
-
107  bdd(bdd::terminal_type t);
-
108 
-
113  bdd(const bdd::shared_node_file_type& f, bool negate = false);
-
115 
-
119  bdd(const bdd& f);
-
120 
-
124  bdd(bdd&& f);
-
125 
-
136  bdd(__bdd&& f);
-
137 
-
139  // Assignment operator overloadings
-
140  public:
-
144  bdd&
-
145  operator=(const bdd& other);
-
146 
-
151  bdd&
-
152  operator=(__bdd&& other);
-
153 
+
59  // |- functions
+
60  friend bdd
+
61  bdd_not(const bdd&);
+
62  friend bdd
+
63  bdd_not(bdd&&);
+
64 
+
65  friend size_t
+
66  bdd_nodecount(const bdd&);
+
67 
+
68  friend typename bdd::label_type
+
69  bdd_varcount(const bdd&);
+
70 
+
71  friend __bdd
+
72  bdd_ite(const exec_policy& ep, const bdd& f, const bdd& g, const bdd& h);
+
73 
+
74  public:
+
79  static constexpr std::string_view false_print = "&perp;";
+
80 
+
84  static constexpr std::string_view true_print = "&#x22A4;"; // &top;
+
86 
+
88  // Constructors
+
89  public:
+
95  bdd();
+
96 
+
103  bdd(bdd::terminal_type t);
+
104 
+
109  bdd(const bdd::shared_node_file_type& f, bool negate = false);
+
111 
+
115  bdd(const bdd& f);
+
116 
+
120  bdd(bdd&& f);
+
121 
+
132  bdd(__bdd&& f);
+
133 
+
135  // Assignment operator overloadings
+
136  public:
+
140  bdd&
+
141  operator=(const bdd& other);
+
142 
+
147  bdd&
+
148  operator=(__bdd&& other);
+
149 
+
153  bdd&
+
154  operator&=(const bdd& other);
+
155 
157  bdd&
-
158  operator&=(const bdd& other);
-
159 
-
161  bdd&
-
162  operator&=(bdd&& other);
-
164 
+
158  operator&=(bdd&& other);
+
160 
+
164  bdd&
+
165  operator|=(const bdd& other);
+
166 
168  bdd&
-
169  operator|=(const bdd& other);
-
170 
-
172  bdd&
-
173  operator|=(bdd&& other);
-
175 
+
169  operator|=(bdd&& other);
+
171 
+
175  bdd&
+
176  operator^=(const bdd& other);
+
177 
179  bdd&
-
180  operator^=(const bdd& other);
-
181 
-
183  bdd&
-
184  operator^=(bdd&& other);
-
186 
+
180  operator^=(bdd&& other);
+
182 
+
186  bdd&
+
187  operator+=(const bdd& other);
+
188 
190  bdd&
-
191  operator+=(const bdd& other);
-
192 
-
194  bdd&
-
195  operator+=(bdd&& other);
-
197 
+
191  operator+=(bdd&& other);
+
193 
+
197  bdd&
+
198  operator-=(const bdd& other);
+
199 
201  bdd&
-
202  operator-=(const bdd& other);
-
203 
-
205  bdd&
-
206  operator-=(bdd&& other);
-
208 
+
202  operator-=(bdd&& other);
+
204 
+
208  bdd&
+
209  operator*=(const bdd& other);
+
210 
212  bdd&
-
213  operator*=(const bdd& other);
-
214 
-
216  bdd&
-
217  operator*=(bdd&& other);
-
219  };
-
220 }
-
221 
-
222 #endif // ADIAR_BDD_BDD_H
+
213  operator*=(bdd&& other);
+
215  };
+
216 }
+
217 
+
218 #endif // ADIAR_BDD_BDD_H
adiar::__bdd
A (possibly) unreduced Binary Decision Diagram.
Definition: bdd.h:22
adiar::__bdd::__bdd
__bdd(const shared_node_file_type &f)
Wrapper for an algorithm's already reduced output.
adiar::__bdd::__bdd
__bdd(const bdd &bdd)
Conversion constructor from a bdd to pass along a prior value.
diff --git a/classadiar_1_1bdd.js b/classadiar_1_1bdd.js index 9beaa2010..5f9fd4da8 100644 --- 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 index 9332b511c..d2b999022 100644 --- 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 index e6af698a2..7695d7cd5 100644 --- 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 index 80ccc1e64..48a9547fa 100644 --- 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 index 2c33aaf0c..80046bde1 100644 --- 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 index 2810042ef..11beceb9b 100644 --- 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] }; diff --git a/navtreeindex3.js b/navtreeindex3.js index e83e1ab2b..13751a80a 100644 --- a/navtreeindex3.js +++ b/navtreeindex3.js @@ -1,7 +1,5 @@ var NAVTREEINDEX3 = { -"group__module____zdd.html#ga54c57b24cc6dcd40faf7eb782baea4de":[5,0,0,246], -"group__module____zdd.html#ga58621c867828785ed14d99a500368e2c":[4,3,11], "group__module____zdd.html#ga58621c867828785ed14d99a500368e2c":[5,0,0,213], "group__module____zdd.html#ga5ae416661999e847907a8d382f853269":[5,0,0,198], "group__module____zdd.html#ga5ae416661999e847907a8d382f853269":[4,3,3], @@ -23,60 +21,60 @@ var NAVTREEINDEX3 = "group__module____zdd.html#ga6fe9018aa8a55036a140a547fb3994a3":[5,0,0,289], "group__module____zdd.html#ga71c742217a7bcd54dff9ef8a2a9fd9e6":[5,0,0,280], "group__module____zdd.html#ga71c742217a7bcd54dff9ef8a2a9fd9e6":[4,3,72], -"group__module____zdd.html#ga7238748f08899f56e68631ebedab464e":[5,0,0,231], "group__module____zdd.html#ga7238748f08899f56e68631ebedab464e":[4,3,23], +"group__module____zdd.html#ga7238748f08899f56e68631ebedab464e":[5,0,0,231], "group__module____zdd.html#ga7558aa347897eb65e5394853ac8d9468":[4,3,97], "group__module____zdd.html#ga7558aa347897eb65e5394853ac8d9468":[5,0,0,305], "group__module____zdd.html#ga7a57698dd69ab638042bd244ad06861d":[4,3,30], "group__module____zdd.html#ga7a57698dd69ab638042bd244ad06861d":[5,0,0,238], "group__module____zdd.html#ga7ac706b96ceb0aa76b9f93bfe37b21aa":[4,3,86], "group__module____zdd.html#ga7ac706b96ceb0aa76b9f93bfe37b21aa":[5,0,0,294], -"group__module____zdd.html#ga7cc7edb1c3c3cff758511d8dc66c60a4":[4,3,24], "group__module____zdd.html#ga7cc7edb1c3c3cff758511d8dc66c60a4":[5,0,0,232], -"group__module____zdd.html#ga81ea39d2af0353eb347bdb3d839430a7":[5,0,0,262], +"group__module____zdd.html#ga7cc7edb1c3c3cff758511d8dc66c60a4":[4,3,24], "group__module____zdd.html#ga81ea39d2af0353eb347bdb3d839430a7":[4,3,54], -"group__module____zdd.html#ga82566bda61ee96a7dc0fb51711acd447":[5,0,0,242], +"group__module____zdd.html#ga81ea39d2af0353eb347bdb3d839430a7":[5,0,0,262], "group__module____zdd.html#ga82566bda61ee96a7dc0fb51711acd447":[4,3,34], +"group__module____zdd.html#ga82566bda61ee96a7dc0fb51711acd447":[5,0,0,242], "group__module____zdd.html#ga8327a3750dcbb1d990f6f93b0cd96e6f":[4,3,94], "group__module____zdd.html#ga8327a3750dcbb1d990f6f93b0cd96e6f":[5,0,0,302], "group__module____zdd.html#ga85c6d8aa10bf2d6fd3a8c611e5858df8":[5,0,0,323], "group__module____zdd.html#ga85c6d8aa10bf2d6fd3a8c611e5858df8":[4,3,115], "group__module____zdd.html#ga85df9371ee16044b46e5c1ee7882aba6":[4,3,65], "group__module____zdd.html#ga85df9371ee16044b46e5c1ee7882aba6":[5,0,0,273], -"group__module____zdd.html#ga86ec1b01efc86bbb4d8a588f74158af1":[5,0,0,228], "group__module____zdd.html#ga86ec1b01efc86bbb4d8a588f74158af1":[4,3,20], +"group__module____zdd.html#ga86ec1b01efc86bbb4d8a588f74158af1":[5,0,0,228], "group__module____zdd.html#ga89b3125131e6605134fb9ddedac099c8":[4,3,42], "group__module____zdd.html#ga89b3125131e6605134fb9ddedac099c8":[5,0,0,250], -"group__module____zdd.html#ga8ccc38c84650856effa91fa014b4f5d6":[4,3,10], "group__module____zdd.html#ga8ccc38c84650856effa91fa014b4f5d6":[5,0,0,212], +"group__module____zdd.html#ga8ccc38c84650856effa91fa014b4f5d6":[4,3,10], "group__module____zdd.html#ga8f6e81730a4c22db5ee8d2decee583d6":[5,0,0,226], "group__module____zdd.html#ga8f6e81730a4c22db5ee8d2decee583d6":[4,3,18], -"group__module____zdd.html#ga8fb37ccc5d59bc1dfdf692a374f687d2":[4,3,9], "group__module____zdd.html#ga8fb37ccc5d59bc1dfdf692a374f687d2":[5,0,0,210], -"group__module____zdd.html#ga8fca0e628b4ffbc1e92ab3f286b0b93a":[5,0,0,287], +"group__module____zdd.html#ga8fb37ccc5d59bc1dfdf692a374f687d2":[4,3,9], "group__module____zdd.html#ga8fca0e628b4ffbc1e92ab3f286b0b93a":[4,3,79], +"group__module____zdd.html#ga8fca0e628b4ffbc1e92ab3f286b0b93a":[5,0,0,287], "group__module____zdd.html#ga9026eef1857c39cab7184a1545cbd8f2":[5,0,0,233], "group__module____zdd.html#ga9026eef1857c39cab7184a1545cbd8f2":[4,3,25], "group__module____zdd.html#ga90b9536f7001f743a3d39d2113773ac8":[4,3,91], "group__module____zdd.html#ga90b9536f7001f743a3d39d2113773ac8":[5,0,0,299], -"group__module____zdd.html#ga9173e6c82e94787e0722f4e7bb16adcd":[4,3,98], "group__module____zdd.html#ga9173e6c82e94787e0722f4e7bb16adcd":[5,0,0,306], +"group__module____zdd.html#ga9173e6c82e94787e0722f4e7bb16adcd":[4,3,98], "group__module____zdd.html#ga919380281d509e7450b0436230e985ab":[5,0,0,237], "group__module____zdd.html#ga919380281d509e7450b0436230e985ab":[4,3,29], "group__module____zdd.html#ga92f6b307775c0b3d547bcbd3c347ad59":[5,0,0,271], "group__module____zdd.html#ga92f6b307775c0b3d547bcbd3c347ad59":[4,3,63], -"group__module____zdd.html#ga9417705ff77f252a50f1fa03fd7c7b61":[5,0,0,315], "group__module____zdd.html#ga9417705ff77f252a50f1fa03fd7c7b61":[4,3,107], -"group__module____zdd.html#ga98ca502b2a7ce6517a057cbbfd322092":[5,0,0,283], +"group__module____zdd.html#ga9417705ff77f252a50f1fa03fd7c7b61":[5,0,0,315], "group__module____zdd.html#ga98ca502b2a7ce6517a057cbbfd322092":[4,3,75], -"group__module____zdd.html#ga98de4f8f7f7c8a162d36cedbc17172c9":[5,0,0,265], +"group__module____zdd.html#ga98ca502b2a7ce6517a057cbbfd322092":[5,0,0,283], "group__module____zdd.html#ga98de4f8f7f7c8a162d36cedbc17172c9":[4,3,57], +"group__module____zdd.html#ga98de4f8f7f7c8a162d36cedbc17172c9":[5,0,0,265], "group__module____zdd.html#ga993361fd370274dd345b9069fecce9a6":[4,3,12], "group__module____zdd.html#ga993361fd370274dd345b9069fecce9a6":[5,0,0,214], "group__module____zdd.html#ga9f097afdc0c59ec40b94809fe3379ea5":[5,0,0,332], "group__module____zdd.html#ga9f097afdc0c59ec40b94809fe3379ea5":[4,3,124], -"group__module____zdd.html#gaa0279a267e34216eae54cc4bc38ef78f":[5,0,0,329], "group__module____zdd.html#gaa0279a267e34216eae54cc4bc38ef78f":[4,3,121], +"group__module____zdd.html#gaa0279a267e34216eae54cc4bc38ef78f":[5,0,0,329], "group__module____zdd.html#gaa0e16a8d3d672cd00074cc22bf9a9aab":[5,0,0,204], "group__module____zdd.html#gaa2c65d50c2249729958598422a962f84":[5,0,0,236], "group__module____zdd.html#gaa2c65d50c2249729958598422a962f84":[4,3,28], @@ -90,44 +88,44 @@ var NAVTREEINDEX3 = "group__module____zdd.html#gaaaf3745e2fa7383dbab0f178c708a044":[5,0,0,275], "group__module____zdd.html#gaadda85e65b32e535b4f5f520937a7ef1":[4,3,80], "group__module____zdd.html#gaadda85e65b32e535b4f5f520937a7ef1":[5,0,0,288], -"group__module____zdd.html#gaadfb2e143d4f09426ca56dc4e4cae359":[5,0,0,304], "group__module____zdd.html#gaadfb2e143d4f09426ca56dc4e4cae359":[4,3,96], +"group__module____zdd.html#gaadfb2e143d4f09426ca56dc4e4cae359":[5,0,0,304], "group__module____zdd.html#gab139038800f73a96b56b3b744dfef4eb":[5,0,0,225], "group__module____zdd.html#gab139038800f73a96b56b3b744dfef4eb":[4,3,17], -"group__module____zdd.html#gab28d627cfb7390f47f78b1c8158c1c6a":[5,0,0,269], "group__module____zdd.html#gab28d627cfb7390f47f78b1c8158c1c6a":[4,3,61], +"group__module____zdd.html#gab28d627cfb7390f47f78b1c8158c1c6a":[5,0,0,269], "group__module____zdd.html#gab3d72dcf451f59178231c7664abbad76":[5,0,0,229], "group__module____zdd.html#gab3d72dcf451f59178231c7664abbad76":[4,3,21], -"group__module____zdd.html#gab48caadde8ab3b675529710aea6fdcc8":[4,3,8], "group__module____zdd.html#gab48caadde8ab3b675529710aea6fdcc8":[5,0,0,209], -"group__module____zdd.html#gab7863b28f82235447c61f11ad7ae31ca":[4,3,105], +"group__module____zdd.html#gab48caadde8ab3b675529710aea6fdcc8":[4,3,8], "group__module____zdd.html#gab7863b28f82235447c61f11ad7ae31ca":[5,0,0,313], +"group__module____zdd.html#gab7863b28f82235447c61f11ad7ae31ca":[4,3,105], "group__module____zdd.html#gab8a0dc959d8efd4220f951aa4e5400ee":[5,0,0,309], "group__module____zdd.html#gab8a0dc959d8efd4220f951aa4e5400ee":[4,3,101], "group__module____zdd.html#gaba70901c218e0fa126bdbdacb4243c58":[5,0,0,239], "group__module____zdd.html#gaba70901c218e0fa126bdbdacb4243c58":[4,3,31], -"group__module____zdd.html#gabe4de8babd55b4e737563d2317e8ac0e":[4,3,102], "group__module____zdd.html#gabe4de8babd55b4e737563d2317e8ac0e":[5,0,0,310], +"group__module____zdd.html#gabe4de8babd55b4e737563d2317e8ac0e":[4,3,102], "group__module____zdd.html#gac12c0883170f589687c34e67e6bcaf26":[5,0,0,263], "group__module____zdd.html#gac12c0883170f589687c34e67e6bcaf26":[4,3,55], "group__module____zdd.html#gac23dbbc111971481462bc8ad017ee6dd":[5,0,0,277], "group__module____zdd.html#gac23dbbc111971481462bc8ad017ee6dd":[4,3,69], -"group__module____zdd.html#gac2a28278086ebd64a086c8e087574632":[4,3,100], "group__module____zdd.html#gac2a28278086ebd64a086c8e087574632":[5,0,0,308], +"group__module____zdd.html#gac2a28278086ebd64a086c8e087574632":[4,3,100], "group__module____zdd.html#gac2c8d020bfc236117d3bf9151646bcde":[5,0,0,251], "group__module____zdd.html#gac2c8d020bfc236117d3bf9151646bcde":[4,3,43], -"group__module____zdd.html#gac5e8545e65d281def5575263e87becef":[5,0,0,266], "group__module____zdd.html#gac5e8545e65d281def5575263e87becef":[4,3,58], -"group__module____zdd.html#gac7f26550e248377a42092d5bfcc4c45e":[4,3,36], +"group__module____zdd.html#gac5e8545e65d281def5575263e87becef":[5,0,0,266], "group__module____zdd.html#gac7f26550e248377a42092d5bfcc4c45e":[5,0,0,244], +"group__module____zdd.html#gac7f26550e248377a42092d5bfcc4c45e":[4,3,36], "group__module____zdd.html#gacad22d15b6548739ffd40c01bcf84af7":[4,3,45], "group__module____zdd.html#gacad22d15b6548739ffd40c01bcf84af7":[5,0,0,253], -"group__module____zdd.html#gacc765316133da891711bf58fd431b813":[5,0,0,270], "group__module____zdd.html#gacc765316133da891711bf58fd431b813":[4,3,62], -"group__module____zdd.html#gacf8eb44b0b3653c25dd5693869b24098":[4,3,50], +"group__module____zdd.html#gacc765316133da891711bf58fd431b813":[5,0,0,270], "group__module____zdd.html#gacf8eb44b0b3653c25dd5693869b24098":[5,0,0,258], -"group__module____zdd.html#gad24382b1781a922587b054efd1135ba5":[4,3,66], +"group__module____zdd.html#gacf8eb44b0b3653c25dd5693869b24098":[4,3,50], "group__module____zdd.html#gad24382b1781a922587b054efd1135ba5":[5,0,0,274], +"group__module____zdd.html#gad24382b1781a922587b054efd1135ba5":[4,3,66], "group__module____zdd.html#gad3e61cae8fe29a32476d349dbf3fe44e":[5,0,0,327], "group__module____zdd.html#gad3e61cae8fe29a32476d349dbf3fe44e":[4,3,119], "group__module____zdd.html#gad44c22abf2c070ee5e48aa6f1186b29d":[4,3,7], @@ -138,16 +136,16 @@ var NAVTREEINDEX3 = "group__module____zdd.html#gad87e363e40ffe713864a85a38208d5b2":[4,3,78], "group__module____zdd.html#gae021f09fcf2d28a1704ef7627370071a":[5,0,0,321], "group__module____zdd.html#gae021f09fcf2d28a1704ef7627370071a":[4,3,113], -"group__module____zdd.html#gae6f95d3a97418c0a521e4e4bf4e35abb":[4,3,82], "group__module____zdd.html#gae6f95d3a97418c0a521e4e4bf4e35abb":[5,0,0,290], +"group__module____zdd.html#gae6f95d3a97418c0a521e4e4bf4e35abb":[4,3,82], "group__module____zdd.html#gae7fb6f2b4fe7bdcd22c9e3d3f451e200":[5,0,0,252], "group__module____zdd.html#gae7fb6f2b4fe7bdcd22c9e3d3f451e200":[4,3,44], "group__module____zdd.html#gaee6af8faa8a44d88d585281f25f39ecb":[5,0,0,259], "group__module____zdd.html#gaee6af8faa8a44d88d585281f25f39ecb":[4,3,51], "group__module____zdd.html#gaf09b76057ef50c6733aa943ab8cfa79e":[5,0,0,320], "group__module____zdd.html#gaf09b76057ef50c6733aa943ab8cfa79e":[4,3,112], -"group__module____zdd.html#gaf3f8d25600420295e6d18b5c0961d71d":[5,0,0,319], "group__module____zdd.html#gaf3f8d25600420295e6d18b5c0961d71d":[4,3,111], +"group__module____zdd.html#gaf3f8d25600420295e6d18b5c0961d71d":[5,0,0,319], "group__module____zdd.html#gaf498ea0cd79a2d530f53079daf46b5e2":[4,3,87], "group__module____zdd.html#gaf498ea0cd79a2d530f53079daf46b5e2":[5,0,0,295], "group__module____zdd.html#gaf4c3df77689b68f6f516ae087487ed28":[5,0,0,330], @@ -219,8 +217,8 @@ var NAVTREEINDEX3 = "namespacemembers_e.html":[5,1,0,4], "namespacemembers_enum.html":[5,1,4], "namespacemembers_f.html":[5,1,0,5], -"namespacemembers_func.html":[5,1,1], "namespacemembers_func.html":[5,1,1,0], +"namespacemembers_func.html":[5,1,1], "namespacemembers_func_b.html":[5,1,1,1], "namespacemembers_func_d.html":[5,1,1,2], "namespacemembers_func_e.html":[5,1,1,3], @@ -249,5 +247,7 @@ var NAVTREEINDEX3 = "page__amend.html#autotoc_md31":[3,1,0,0], "page__amend.html#autotoc_md32":[3,1,0,1], "page__basic.html":[2,0], -"page__basic.html#autotoc_md10":[2,0,1,0] +"page__basic.html#autotoc_md10":[2,0,1,0], +"page__basic.html#autotoc_md11":[2,0,1,1], +"page__basic.html#autotoc_md12":[2,0,1,2] }; diff --git a/navtreeindex4.js b/navtreeindex4.js index 687239a78..2ee556b7d 100644 --- a/navtreeindex4.js +++ b/navtreeindex4.js @@ -1,7 +1,5 @@ var NAVTREEINDEX4 = { -"page__basic.html#autotoc_md11":[2,0,1,1], -"page__basic.html#autotoc_md12":[2,0,1,2], "page__basic.html#autotoc_md13":[2,0,1,3], "page__basic.html#autotoc_md14":[2,0,1,4], "page__basic.html#autotoc_md15":[2,0,2], @@ -205,5 +203,6 @@ var NAVTREEINDEX4 = "types_8h_source.html":[7,0,1,0,13], "version_8h_source.html":[7,0,0,0,0], "zdd_2zdd_8h_source.html":[7,0,1,0,2,0], -"zdd_8h_source.html":[7,0,1,0,14] +"zdd_8h_source.html":[7,0,1,0,14], +"":[5,0,0,0] };