├── imgs
    └── banner_1.png
├── README.md
├── PTAHDAO_lmrpartners.sol
├── LICENSE
└── README.html


/imgs/banner_1.png:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/ptahdao/lmr-partners/HEAD/imgs/banner_1.png


--------------------------------------------------------------------------------
/README.md:
--------------------------------------------------------------------------------
1 | # PTAHDAO
2 | 
3 | ![avatar](/imgs/banner_1.png)
4 | 
5 | PtahDAO, As the world's first DAO governance asset trust program, Incubated by LMR Partners-web3.0 Technology Lab, Is a groundbreaking combination of blockchain technology and financial investment, Which deeply implements the logic and rules of DAO governance, Realizing the concept of inclusive financial services and driving financial innovation.


--------------------------------------------------------------------------------
/PTAHDAO_lmrpartners.sol:
--------------------------------------------------------------------------------
  1 | // SPDX-License-Identifier: MIT
  2 | pragma solidity ^0.8.19;
  3 | 
  4 | /**
  5 |  * @dev Provides information about the current execution context, including the
  6 |  * sender of the transaction and its data. While these are generally available
  7 |  * via msg.sender and msg.data, they should not be accessed in such a direct
  8 |  * manner, since when dealing with meta-transactions the account sending and
  9 |  * paying for execution may not be the actual sender (as far as an application
 10 |  * is concerned).
 11 |  *
 12 |  * This contract is only required for intermediate, library-like contracts.
 13 |  */
 14 | abstract contract Context {
 15 |     function _msgSender() internal view virtual returns (address) {
 16 |         return msg.sender;
 17 |     }
 18 | 
 19 |     function _msgData() internal view virtual returns (bytes calldata) {
 20 |         return msg.data;
 21 |     }
 22 | }
 23 | 
 24 | /**
 25 |  * @dev Contract module which provides a basic access control mechanism, where
 26 |  * there is an account (an owner) that can be granted exclusive access to
 27 |  * specific functions.
 28 |  *
 29 |  * By default, the owner account will be the one that deploys the contract. This
 30 |  * can later be changed with {transferOwnership}.
 31 |  *
 32 |  * This module is used through inheritance. It will make available the modifier
 33 |  * `onlyOwner`, which can be applied to your functions to restrict their use to
 34 |  * the owner.
 35 |  */
 36 | abstract contract Ownable is Context {
 37 |     address private _owner;
 38 | 
 39 |     event OwnershipTransferred(address indexed previousOwner, address indexed newOwner);
 40 | 
 41 |     /**
 42 |      * @dev Initializes the contract setting the deployer as the initial owner.
 43 |      */
 44 |     constructor() {
 45 |         _setOwner(_msgSender());
 46 |     }
 47 | 
 48 |     /**
 49 |      * @dev Returns the address of the current owner.
 50 |      */
 51 |     function owner() public view virtual returns (address) {
 52 |         return _owner;
 53 |     }
 54 | 
 55 |     /**
 56 |      * @dev Throws if called by any account other than the owner.
 57 |      */
 58 |     modifier onlyOwner() {
 59 |         require(owner() == _msgSender(), "Ownable: caller is not the owner");
 60 |         _;
 61 |     }
 62 | 
 63 |     /**
 64 |      * @dev Leaves the contract without owner. It will not be possible to call
 65 |      * `onlyOwner` functions anymore. Can only be called by the current owner.
 66 |      *
 67 |      * NOTE: Renouncing ownership will leave the contract without an owner,
 68 |      * thereby removing any functionality that is only available to the owner.
 69 |      */
 70 |     function renounceOwnership() public virtual onlyOwner {
 71 |         _setOwner(address(0));
 72 |     }
 73 | 
 74 |     /**
 75 |      * @dev Transfers ownership of the contract to a new account (`newOwner`).
 76 |      * Can only be called by the current owner.
 77 |      */
 78 |     function transferOwnership(address newOwner) public virtual onlyOwner {
 79 |         require(newOwner != address(0), "Ownable: new owner is the zero address");
 80 |         _setOwner(newOwner);
 81 |     }
 82 | 
 83 |     function _setOwner(address newOwner) private {
 84 |         address oldOwner = _owner;
 85 |         _owner = newOwner;
 86 |         emit OwnershipTransferred(oldOwner, newOwner);
 87 |     }
 88 | }
 89 | 
 90 | contract PTAHDAO_lmrpartners is Ownable {
 91 | 
 92 |     uint256 private _id = 0;
 93 | 
 94 |     struct AssetPack {
 95 |         uint256     id;
 96 |         uint256     apid;
 97 |         uint256     userid;
 98 |         address     userAddress;
 99 |         string      orderNumber;
100 |         uint256     orderCreatime;
101 |         bool        orderIsValid;
102 |     }
103 | 
104 |     mapping(address => bool) public memberShip;
105 |     mapping(address=> uint256) public userMapping;
106 |     mapping(uint256 => AssetPack) public assetPack;
107 |     mapping(string => uint256) public orderList;
108 |     mapping(uint256 => uint256) public blockMapping;
109 | 
110 |     mapping(address => uint256[]) public userAssetPack;
111 |     mapping(uint256 => uint256) public assetPackHolding;
112 | 
113 |     function setMemberShip(address payable userAddress, bool valid) onlyOwner public payable {
114 |         require(userAddress != address(0), "illegal address");
115 |         memberShip[userAddress] = valid;
116 | 
117 |         if(msg.value > 0) 
118 |             userAddress.transfer(msg.value);
119 |     }
120 | 
121 |     function setUserMapping(address payable userAddress, uint256 userid) onlyOwner public payable {
122 |         require(userAddress != address(0), "illegal address");
123 |         userMapping[userAddress] = userid;
124 | 
125 |         if(msg.value > 0) 
126 |             userAddress.transfer(msg.value);
127 |     }
128 | 
129 |     function initMember(address payable userAddress, uint256 userid) onlyOwner public payable {
130 |         require(userAddress != address(0), "illegal address");
131 |         require(userid > 0, "membership number must be greater than zero");
132 | 
133 |         userMapping[userAddress] = userid;
134 |         memberShip[userAddress] = true;
135 | 
136 |         if(msg.value > 0) 
137 |             userAddress.transfer(msg.value);
138 |     }
139 | 
140 |     function createAssetPack(uint256 ap_id, uint256 creatime, string memory order_number) external {
141 |         require(memberShip[msg.sender], "only members can create asset-pack.");
142 |         require(userMapping[msg.sender] > 0, "user has not existed");
143 |         require(ap_id > 0, "asset-pack id must be greater than 0");
144 |         require(creatime > 0, "create time must be greater than 0");
145 |         require(orderList[order_number] <= 0, "order has exists");
146 | 
147 |         uint256 user_id = userMapping[msg.sender];
148 |         uint256 id = generateId();
149 | 
150 |         assetPack[id] = AssetPack({
151 |             id: id,
152 |             apid:ap_id,
153 |             userid:user_id,
154 |             userAddress:msg.sender,
155 |             orderNumber:order_number,
156 |             orderCreatime:creatime,
157 |             orderIsValid:true
158 |         });
159 |         orderList[order_number] = id;
160 | 
161 |         userAssetPack[msg.sender].push(id);
162 |         assetPackHolding[ap_id]++;
163 | 
164 |         blockMapping[id] = block.number;
165 |     }
166 | 
167 |     function updateAssetPackValid(uint256 id, bool is_valid) onlyOwner external {
168 |         require(existsAssetPack(id),"asset-pack has not exists");
169 |         AssetPack storage ap = assetPack[id];
170 |         ap.orderIsValid = is_valid;
171 |     }
172 | 
173 |     function existsAssetPack(uint256 id) public view returns (bool) {
174 |         return assetPack[id].id != 0;
175 |     }
176 | 
177 |     function getUserAssetPackCount(address userAddress) public view returns (uint) {
178 |         return userAssetPack[userAddress].length;
179 |     }
180 | 
181 |     function withdraw(uint256 amount) onlyOwner public {
182 |         require(address(this).balance >= amount, "Only the contract owner can withdraw.");
183 |         payable(msg.sender).transfer(amount);
184 |     }
185 | 
186 |     function withdrawAll() onlyOwner public {
187 |         payable(msg.sender).transfer(address(this).balance);
188 |     }
189 | 
190 |     receive() external payable {}
191 | 
192 |     function generateId() private returns (uint256) {
193 |         _id++;
194 |         return _id;
195 |     }
196 | }


--------------------------------------------------------------------------------
/LICENSE:
--------------------------------------------------------------------------------
  1 |                                  Apache License
  2 |                            Version 2.0, January 2004
  3 |                         http://www.apache.org/licenses/
  4 | 
  5 |    TERMS AND CONDITIONS FOR USE, REPRODUCTION, AND DISTRIBUTION
  6 | 
  7 |    1. Definitions.
  8 | 
  9 |       "License" shall mean the terms and conditions for use, reproduction,
 10 |       and distribution as defined by Sections 1 through 9 of this document.
 11 | 
 12 |       "Licensor" shall mean the copyright owner or entity authorized by
 13 |       the copyright owner that is granting the License.
 14 | 
 15 |       "Legal Entity" shall mean the union of the acting entity and all
 16 |       other entities that control, are controlled by, or are under common
 17 |       control with that entity. For the purposes of this definition,
 18 |       "control" means (i) the power, direct or indirect, to cause the
 19 |       direction or management of such entity, whether by contract or
 20 |       otherwise, or (ii) ownership of fifty percent (50%) or more of the
 21 |       outstanding shares, or (iii) beneficial ownership of such entity.
 22 | 
 23 |       "You" (or "Your") shall mean an individual or Legal Entity
 24 |       exercising permissions granted by this License.
 25 | 
 26 |       "Source" form shall mean the preferred form for making modifications,
 27 |       including but not limited to software source code, documentation
 28 |       source, and configuration files.
 29 | 
 30 |       "Object" form shall mean any form resulting from mechanical
 31 |       transformation or translation of a Source form, including but
 32 |       not limited to compiled object code, generated documentation,
 33 |       and conversions to other media types.
 34 | 
 35 |       "Work" shall mean the work of authorship, whether in Source or
 36 |       Object form, made available under the License, as indicated by a
 37 |       copyright notice that is included in or attached to the work
 38 |       (an example is provided in the Appendix below).
 39 | 
 40 |       "Derivative Works" shall mean any work, whether in Source or Object
 41 |       form, that is based on (or derived from) the Work and for which the
 42 |       editorial revisions, annotations, elaborations, or other modifications
 43 |       represent, as a whole, an original work of authorship. For the purposes
 44 |       of this License, Derivative Works shall not include works that remain
 45 |       separable from, or merely link (or bind by name) to the interfaces of,
 46 |       the Work and Derivative Works thereof.
 47 | 
 48 |       "Contribution" shall mean any work of authorship, including
 49 |       the original version of the Work and any modifications or additions
 50 |       to that Work or Derivative Works thereof, that is intentionally
 51 |       submitted to Licensor for inclusion in the Work by the copyright owner
 52 |       or by an individual or Legal Entity authorized to submit on behalf of
 53 |       the copyright owner. For the purposes of this definition, "submitted"
 54 |       means any form of electronic, verbal, or written communication sent
 55 |       to the Licensor or its representatives, including but not limited to
 56 |       communication on electronic mailing lists, source code control systems,
 57 |       and issue tracking systems that are managed by, or on behalf of, the
 58 |       Licensor for the purpose of discussing and improving the Work, but
 59 |       excluding communication that is conspicuously marked or otherwise
 60 |       designated in writing by the copyright owner as "Not a Contribution."
 61 | 
 62 |       "Contributor" shall mean Licensor and any individual or Legal Entity
 63 |       on behalf of whom a Contribution has been received by Licensor and
 64 |       subsequently incorporated within the Work.
 65 | 
 66 |    2. Grant of Copyright License. Subject to the terms and conditions of
 67 |       this License, each Contributor hereby grants to You a perpetual,
 68 |       worldwide, non-exclusive, no-charge, royalty-free, irrevocable
 69 |       copyright license to reproduce, prepare Derivative Works of,
 70 |       publicly display, publicly perform, sublicense, and distribute the
 71 |       Work and such Derivative Works in Source or Object form.
 72 | 
 73 |    3. Grant of Patent License. Subject to the terms and conditions of
 74 |       this License, each Contributor hereby grants to You a perpetual,
 75 |       worldwide, non-exclusive, no-charge, royalty-free, irrevocable
 76 |       (except as stated in this section) patent license to make, have made,
 77 |       use, offer to sell, sell, import, and otherwise transfer the Work,
 78 |       where such license applies only to those patent claims licensable
 79 |       by such Contributor that are necessarily infringed by their
 80 |       Contribution(s) alone or by combination of their Contribution(s)
 81 |       with the Work to which such Contribution(s) was submitted. If You
 82 |       institute patent litigation against any entity (including a
 83 |       cross-claim or counterclaim in a lawsuit) alleging that the Work
 84 |       or a Contribution incorporated within the Work constitutes direct
 85 |       or contributory patent infringement, then any patent licenses
 86 |       granted to You under this License for that Work shall terminate
 87 |       as of the date such litigation is filed.
 88 | 
 89 |    4. Redistribution. You may reproduce and distribute copies of the
 90 |       Work or Derivative Works thereof in any medium, with or without
 91 |       modifications, and in Source or Object form, provided that You
 92 |       meet the following conditions:
 93 | 
 94 |       (a) You must give any other recipients of the Work or
 95 |           Derivative Works a copy of this License; and
 96 | 
 97 |       (b) You must cause any modified files to carry prominent notices
 98 |           stating that You changed the files; and
 99 | 
100 |       (c) You must retain, in the Source form of any Derivative Works
101 |           that You distribute, all copyright, patent, trademark, and
102 |           attribution notices from the Source form of the Work,
103 |           excluding those notices that do not pertain to any part of
104 |           the Derivative Works; and
105 | 
106 |       (d) If the Work includes a "NOTICE" text file as part of its
107 |           distribution, then any Derivative Works that You distribute must
108 |           include a readable copy of the attribution notices contained
109 |           within such NOTICE file, excluding those notices that do not
110 |           pertain to any part of the Derivative Works, in at least one
111 |           of the following places: within a NOTICE text file distributed
112 |           as part of the Derivative Works; within the Source form or
113 |           documentation, if provided along with the Derivative Works; or,
114 |           within a display generated by the Derivative Works, if and
115 |           wherever such third-party notices normally appear. The contents
116 |           of the NOTICE file are for informational purposes only and
117 |           do not modify the License. You may add Your own attribution
118 |           notices within Derivative Works that You distribute, alongside
119 |           or as an addendum to the NOTICE text from the Work, provided
120 |           that such additional attribution notices cannot be construed
121 |           as modifying the License.
122 | 
123 |       You may add Your own copyright statement to Your modifications and
124 |       may provide additional or different license terms and conditions
125 |       for use, reproduction, or distribution of Your modifications, or
126 |       for any such Derivative Works as a whole, provided Your use,
127 |       reproduction, and distribution of the Work otherwise complies with
128 |       the conditions stated in this License.
129 | 
130 |    5. Submission of Contributions. Unless You explicitly state otherwise,
131 |       any Contribution intentionally submitted for inclusion in the Work
132 |       by You to the Licensor shall be under the terms and conditions of
133 |       this License, without any additional terms or conditions.
134 |       Notwithstanding the above, nothing herein shall supersede or modify
135 |       the terms of any separate license agreement you may have executed
136 |       with Licensor regarding such Contributions.
137 | 
138 |    6. Trademarks. This License does not grant permission to use the trade
139 |       names, trademarks, service marks, or product names of the Licensor,
140 |       except as required for reasonable and customary use in describing the
141 |       origin of the Work and reproducing the content of the NOTICE file.
142 | 
143 |    7. Disclaimer of Warranty. Unless required by applicable law or
144 |       agreed to in writing, Licensor provides the Work (and each
145 |       Contributor provides its Contributions) on an "AS IS" BASIS,
146 |       WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or
147 |       implied, including, without limitation, any warranties or conditions
148 |       of TITLE, NON-INFRINGEMENT, MERCHANTABILITY, or FITNESS FOR A
149 |       PARTICULAR PURPOSE. You are solely responsible for determining the
150 |       appropriateness of using or redistributing the Work and assume any
151 |       risks associated with Your exercise of permissions under this License.
152 | 
153 |    8. Limitation of Liability. In no event and under no legal theory,
154 |       whether in tort (including negligence), contract, or otherwise,
155 |       unless required by applicable law (such as deliberate and grossly
156 |       negligent acts) or agreed to in writing, shall any Contributor be
157 |       liable to You for damages, including any direct, indirect, special,
158 |       incidental, or consequential damages of any character arising as a
159 |       result of this License or out of the use or inability to use the
160 |       Work (including but not limited to damages for loss of goodwill,
161 |       work stoppage, computer failure or malfunction, or any and all
162 |       other commercial damages or losses), even if such Contributor
163 |       has been advised of the possibility of such damages.
164 | 
165 |    9. Accepting Warranty or Additional Liability. While redistributing
166 |       the Work or Derivative Works thereof, You may choose to offer,
167 |       and charge a fee for, acceptance of support, warranty, indemnity,
168 |       or other liability obligations and/or rights consistent with this
169 |       License. However, in accepting such obligations, You may act only
170 |       on Your own behalf and on Your sole responsibility, not on behalf
171 |       of any other Contributor, and only if You agree to indemnify,
172 |       defend, and hold each Contributor harmless for any liability
173 |       incurred by, or claims asserted against, such Contributor by reason
174 |       of your accepting any such warranty or additional liability.
175 | 
176 |    END OF TERMS AND CONDITIONS
177 | 
178 |    APPENDIX: How to apply the Apache License to your work.
179 | 
180 |       To apply the Apache License to your work, attach the following
181 |       boilerplate notice, with the fields enclosed by brackets "[]"
182 |       replaced with your own identifying information. (Don't include
183 |       the brackets!)  The text should be enclosed in the appropriate
184 |       comment syntax for the file format. We also recommend that a
185 |       file or class name and description of purpose be included on the
186 |       same "printed page" as the copyright notice for easier
187 |       identification within third-party archives.
188 | 
189 |    Copyright [2022] [ptahdao-org]
190 | 
191 |    Licensed under the Apache License, Version 2.0 (the "License");
192 |    you may not use this file except in compliance with the License.
193 |    You may obtain a copy of the License at
194 | 
195 |        http://www.apache.org/licenses/LICENSE-2.0
196 | 
197 |    Unless required by applicable law or agreed to in writing, software
198 |    distributed under the License is distributed on an "AS IS" BASIS,
199 |    WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
200 |    See the License for the specific language governing permissions and
201 |    limitations under the License.
202 | 


--------------------------------------------------------------------------------
/README.html:
--------------------------------------------------------------------------------
   1 | <!DOCTYPE html>

   2 | <html>

   3 | <head>

   4 | <meta charset="UTF-8">

   5 | <!DOCTYPE html>

   6 | <title></title>

   7 | <style type="text/css">

   8 | 
   9 | table {
  10 |     border-spacing: 0px;
  11 | }
  12 | 
  13 | .sol-block {
  14 |   margin-left:-20px;
  15 |   padding-left:20px;
  16 |   border-left:dotted darkgreen 2px;
  17 |   margin-top:20px;
  18 |   margin-bottom:20px;
  19 |   font-family: sans-serif;
  20 |   font-size: 12px;
  21 | }
  22 | 
  23 | .sol-qualifier {
  24 |   color: steelblue;
  25 |   padding-right:5px;
  26 | }
  27 | 
  28 | .sol-datacell {
  29 | }
  30 | 
  31 | .sol-assign {
  32 |   padding: 0;
  33 |   padding-right:3px;
  34 |   padding-left:3px;
  35 |   text-align: center;
  36 |   border-left: none;
  37 | }
  38 | 
  39 | .sol-expr {
  40 |   vertical-align: middle;
  41 |   padding-right:20px;
  42 | }
  43 | 
  44 | #sol-if-div {
  45 |   min-height: 40px;
  46 | }
  47 | 
  48 | div#sol-if-div > svg {
  49 |   position: relative;
  50 |   z-index; -1;
  51 | }
  52 | 
  53 | div#sol-if-div > table {
  54 |   position: relative;
  55 |   z-index: +1;
  56 | }
  57 | 
  58 | 
  59 | td.sol-if-condition {
  60 |   padding: .5em;
  61 |   padding-left: 25px;
  62 | }
  63 | 
  64 | .sol-if-operator {
  65 |   vertical-align: middle;
  66 |   padding: 10px 14px 10px 14px;
  67 | }
  68 | 
  69 | div#sol-andor-operation > svg {
  70 |   position: relative;
  71 |   z-index: -1;
  72 | }
  73 | 
  74 | div#sol-andor-operation > table {
  75 |   position: relative;
  76 |   z-index: 1;
  77 | }
  78 | 
  79 | .sol-andor-operator {
  80 |   vertical-align: middle;
  81 |   padding: 3px 5px 5px 7px;
  82 |   border:1px;
  83 |   border-color: black;
  84 |   border-style:solid;
  85 |   border-radius:25px 0px 0px 25px;
  86 | }
  87 | 
  88 | .sol-or-operator {
  89 |   border-right:0px;
  90 | }
  91 | 
  92 | td.sol-andor-condition {
  93 |   padding: .5em;
  94 |   padding-left: 25px;
  95 | }
  96 | 
  97 | div.sol-andor-end {
  98 |     border:3px;
  99 |     border-color: black;
 100 |     border-style:solid;
 101 |     border-radius:25px;
 102 |     margin-left:14px;
 103 | }
 104 | 
 105 | .sol-operator {
 106 |     color: dodgerblue;
 107 | }
 108 | 
 109 | .sol-number {
 110 |   color: green;
 111 | }
 112 | 
 113 | .sol-string-literal {
 114 |   color: green;
 115 | }
 116 | 
 117 | .sol-sub-expr {
 118 |   border-radius: 5px;
 119 |   border-bottom: 1px;
 120 |   border-top: 1px;
 121 |   border-left: 1px;
 122 |   border-right: 1px;
 123 |   border-color: lightblue;
 124 |   border-style:solid;
 125 |   padding-left:1px;
 126 |   padding-right:1px;
 127 |   position:relative;
 128 | }
 129 | 
 130 | .hovering {
 131 |   border-style: dashed;
 132 |   border-color: black;
 133 | }
 134 | 
 135 | 
 136 | .sol-divide-top {
 137 |   text-align: center;
 138 |   margin-left: auto;
 139 |   margin-right: 0;
 140 | }
 141 | 
 142 | .sol-divide-bottom {
 143 |   border: 0px;
 144 |   border-top: 1.5px;
 145 |   border-color: black;
 146 |   border-style: solid;
 147 |   text-align: center;
 148 |   margin-left: auto;
 149 |   margin-right: 0;
 150 | }
 151 | 
 152 | td.sol-divide-top > table {
 153 |   display: inline;
 154 | }
 155 | 
 156 | td.sol-divide-bottom > table {
 157 |   display: inline;
 158 | }
 159 | 
 160 | .sol-then-space {
 161 |     min-width: 20px;
 162 | }
 163 | 
 164 | .sol-comment {  
 165 |   font-size: 8pt;
 166 |   font-style: italic;
 167 |   color: grey;
 168 |   border-bottom: none;
 169 |   padding-left:30px;
 170 | }
 171 | 
 172 | body {
 173 |  font-size: 12px;
 174 |  font-family: helvetica;
 175 |  line-height:1.3;
 176 |  margin-top:6.0pt;
 177 |  margin-right:1cm;
 178 |  margin-bottom:12.0pt;
 179 |  margin-left:1cm;
 180 | }
 181 | 
 182 | h1 {
 183 |  font-size:16.0pt;
 184 |  page-break-before:always;
 185 |  color:#293639;
 186 |  margin-top: 40pt;
 187 |  margin-right:-2.0cm;
 188 |  margin-bottom:12.0pt;
 189 |  line-height:150%;
 190 |  text-transform:uppercase;
 191 |  border-bottom: 3px solid #85d764;
 192 | }
 193 | 
 194 | h2 {
 195 |  margin-top:24.0pt;
 196 |  margin-right:0cm;
 197 |  margin-bottom:12.0pt;
 198 |  margin-left:35.45pt;
 199 |  text-indent:-35.45pt;
 200 |  page-break-after:avoid;
 201 |  font-size:16.0pt;
 202 |  font-weight:bold;
 203 | }
 204 | 
 205 | h3 {
 206 |  margin-top:18.0pt;
 207 |  margin-right:0cm;
 208 |  margin-bottom:12.0pt;
 209 |  margin-left:36.0pt;
 210 |  text-indent:-36.0pt;
 211 |  page-break-after:avoid;
 212 |  font-size:14.0pt;
 213 |  font-weight:normal;
 214 | }
 215 | 
 216 | h4 {
 217 |  margin-top:2.0pt;
 218 |  margin-right:0cm;
 219 |  margin-bottom:0cm;
 220 |  margin-left:43.2pt;
 221 |  text-indent:-43.2pt;
 222 |  page-break-after:avoid;
 223 |  font-size:12.0pt;
 224 |  font-weight:200;
 225 |  font-style:italic;
 226 | }
 227 | 
 228 | h5 {
 229 |  margin-top:2.0pt;
 230 |  margin-right:0cm;
 231 |  margin-bottom:0cm;
 232 |  margin-left:50.4pt;
 233 |  text-indent:-50.4pt;
 234 |  page-break-after:avoid;
 235 |  font-size:12.0pt;
 236 |  font-weight:normal;
 237 | }
 238 | 
 239 | h6 {
 240 |  margin-top:2.0pt;
 241 |  margin-right:0cm;
 242 |  margin-bottom:0cm;
 243 |  margin-left:50.4pt;
 244 |  text-indent:-50.4pt;
 245 |  page-break-after:avoid;
 246 |  font-size:12.0pt;
 247 |  font-weight:100;
 248 | }
 249 | 
 250 | p.toc_h1 {
 251 |  margin-top:6.0pt;
 252 |  margin-right:0cm;
 253 |  margin-bottom:6.0pt;
 254 |  margin-left:0cm;
 255 |  color:#24292E;
 256 |  text-transform:uppercase;
 257 | }
 258 | 
 259 | p.toc_h1 a:link {
 260 |  color: #24292E;
 261 |  text-decoration: none;
 262 | }
 263 | 
 264 | p.toc_h1 a:visited {
 265 |  color: #24292E;
 266 |  text-decoration: none;
 267 | }
 268 | 
 269 | p.toc_h2 {
 270 |  margin-top:0cm;
 271 |  margin-right:0cm;
 272 |  margin-bottom:0cm;
 273 |  margin-left:12.0pt;
 274 |  color:#24292E;
 275 | }
 276 | 
 277 | p.toc_h2 a:link {
 278 |  color: #24292E;
 279 |  text-decoration: none;
 280 | }
 281 | 
 282 | p.toc_h2 a:visited {
 283 |  color: #24292E;
 284 |  text-decoration: none;
 285 | }
 286 | 
 287 | p.toc_h3 {
 288 |  margin-top:0cm;
 289 |  margin-right:0cm;
 290 |  margin-bottom:0cm;
 291 |  margin-left:24.0pt;
 292 |  color:#24292E;
 293 | }
 294 | 
 295 | p.toc_h3 a:link {
 296 |  color: #24292E;
 297 |  text-decoration: none;
 298 | }
 299 | 
 300 | p.toc_h3 a:visited {
 301 |  color: #24292E;
 302 |  text-decoration: none;
 303 | }
 304 | 
 305 | p.toc_h4 {
 306 |  margin-top:0cm;
 307 |  margin-right:0cm;
 308 |  margin-bottom:0cm;
 309 |  margin-left:36.0pt;
 310 |  color:#24292E;
 311 | }
 312 | 
 313 | p.toc_h4 a:link {
 314 |  color: #24292E;
 315 |  text-decoration: none;
 316 | }
 317 | 
 318 | p.toc_h4 a:visited {
 319 |  color: #24292E;
 320 |  text-decoration: none;
 321 | }
 322 | 
 323 | p.toc_h5 {
 324 |  margin-top:0cm;
 325 |  margin-right:0cm;
 326 |  margin-bottom:0cm;
 327 |  margin-left:48.0pt;
 328 |  color:#24292E;
 329 | }
 330 | 
 331 | p.toc_h5 a:link {
 332 |  color: #24292E;
 333 |  text-decoration: none;
 334 | }
 335 | 
 336 | p.toc_h5 a:visited {
 337 |  color: #24292E;
 338 |  text-decoration: none;
 339 | }
 340 | 
 341 | /* Tooltip */
 342 | 
 343 | .tooltip {
 344 |   position: relative;
 345 |   display: inline-block;
 346 | }
 347 | 
 348 | .tooltip .tooltiptext {
 349 |   visibility: hidden;
 350 |   background-color: #555;
 351 |   color: #fff;
 352 |   text-align: center;
 353 |   padding: 5px 10px;
 354 |   border-radius: 6px;
 355 | 
 356 |   /* Position the tooltip text */
 357 |   position: absolute;
 358 |   z-index: 1;
 359 |   bottom: 125%;
 360 |   left: 50%;
 361 |   margin-left: -60px;
 362 | 
 363 |   /* Fade in tooltip */
 364 |   opacity: 0;
 365 |   transition: opacity 0.3s;
 366 | }
 367 | 
 368 | /* Tooltip arrow */
 369 | .tooltip .tooltiptext::after {
 370 |   content: "";
 371 |   position: absolute;
 372 |   top: 100%;
 373 |   left: 50%;
 374 |   margin-left: -5px;
 375 |   border-width: 5px;
 376 |   border-style: solid;
 377 |   border-color: #555 transparent transparent transparent;
 378 | }
 379 | 
 380 | /* Show the tooltip text when you mouse over the tooltip container */
 381 | .tooltip:hover .tooltiptext {
 382 |   visibility: visible;
 383 |   opacity: 1;
 384 | }
 385 | 
 386 | 
 387 | blockquote {
 388 |  margin: 10px;
 389 |  padding: 10px;
 390 |  border-left: 4px solid #707171;
 391 |  border-top-left-radius: 30px;
 392 |  border-bottom-left-radius: 30px;
 393 |  border-top: 2px solid #707171;
 394 |  background: rgba(163, 222, 45, 0.05);
 395 | }
 396 | 
 397 | #docHeaderTitle {
 398 |     background:#293639;
 399 |     padding-top: 150px;
 400 |     padding-bottom: 10px;
 401 |     padding-left:1cm;
 402 |     padding-right: 20px;
 403 |     margin-left:-1cm;
 404 |     margin-top:-10px;
 405 |     margin-bottom:0px;
 406 |     width:105%;
 407 |     border-top:none;
 408 |     border-bottom:3px solid;
 409 |     border-bottom-color: #96ed73;
 410 |     color:white;
 411 |     line-height:1.2;
 412 |     text-align:left;
 413 |     font-size:5em;
 414 |     font-family:"Tahoma";
 415 | }
 416 | 
 417 | #docHeaderProject {
 418 |     background:#293639;
 419 |     padding-top: 50px;
 420 |     padding-bottom: 10px;
 421 |     padding-left:1cm;
 422 |     padding-right: 20px;
 423 |     margin-left:-1cm;
 424 |     margin-top:0px;
 425 |     margin-bottom:0px;
 426 |     width:105%;
 427 |     border-top:none;
 428 |     border-bottom:3px solid;
 429 |     border-bottom-color: #96ed73;
 430 |     color:white;
 431 |     line-height:1.2;
 432 |     text-align:left;
 433 |     font-size:3em;
 434 |     font-family:"Tahoma";
 435 | }
 436 | 
 437 | #docHeaderVersion{
 438 |     background:#293639;
 439 |     padding-top: 50px;
 440 |     padding-bottom: 70px;
 441 |     padding-left:1cm;
 442 |     padding-right: 20px;
 443 |     margin-left:-1cm;
 444 |     margin-top:0px;
 445 |     margin-bottom:0px;
 446 |     width:105%;
 447 |     border:none;
 448 |     color:white;
 449 |     line-height:1.2;
 450 |     text-align:left;
 451 |     font-size:1.5em;
 452 |     font-weight:500;
 453 | }
 454 | 
 455 | /* DocInfo */
 456 | 
 457 | table.docinfo {
 458 |     padding-top: 40px;
 459 |     padding-bottom: 50px;
 460 |     margin-top:0px;
 461 |     margin-bottom:10px;
 462 |     /*margin-left:2cm;*/
 463 |     border:none;
 464 | }
 465 | 
 466 | table.docinfo thead {
 467 |   font-weight: normal;
 468 |   background-color: transparent;
 469 | }
 470 | 
 471 | table.docinfo td {
 472 |   vertical-align: top;
 473 |   border-collapse: collapse;
 474 |   border: none;
 475 |   font-size:12px;
 476 |   line-height:1.5;
 477 | }
 478 | 
 479 | /* Text tables */
 480 | 
 481 | table.soltext {
 482 |   border: none;
 483 |   border-spacing: 0;
 484 | }
 485 | 
 486 | .withoutcaption {
 487 |   padding-top: 6px;
 488 |   padding-bottom: 24px;
 489 | }
 490 | 
 491 | table.soltext thead {
 492 |   vertical-align: bottom;
 493 |   font-weight: bold;
 494 |   background-color: white;
 495 | }
 496 | 
 497 | table.soltext td {
 498 |   vertical-align:center;
 499 |   border-collapse: collapse;
 500 |   border-top: none;
 501 |   border-left: none;
 502 |   border-bottom: solid #70AD47 1.0pt;
 503 |   border-right: solid #A8D08D 1.0pt;
 504 |   padding: 0 4pt 0 4pt;
 505 | }
 506 | 
 507 | table.soltext td p {
 508 |   margin-top:6px;
 509 |   margin-bottom:6px;
 510 | }
 511 | 
 512 | table.soltext tbody tr:nth-child(odd) {
 513 |   background-color: #E2EFD9;
 514 | }
 515 | 
 516 | table.soltext td.whitecolumn {
 517 |   background-color: white;
 518 | }
 519 | 
 520 | table.soltext td:last-child {
 521 |   border-right: 0;
 522 | }
 523 | 
 524 | table caption {
 525 |   float: center;
 526 |   text-align: center;
 527 |   font-style: italic;
 528 |   font-size: 11px;
 529 |   text-indent: 0;
 530 |   margin: 0.5em;
 531 |   padding: 0.5em;
 532 | }
 533 | 
 534 | li.checkbox {
 535 |   list-style-type:none;
 536 |   margin-left:-20px;
 537 | }
 538 | 
 539 | figure {
 540 |   float: center;
 541 |   text-align: center;
 542 |   font-style: italic;
 543 |   font-size: 11px;
 544 |   text-indent: 0;
 545 |   margin: 0.5em;
 546 |   padding: 0.5em;
 547 |   margin-bottom: 1em;
 548 | }
 549 | 
 550 | table.sol-template-header {
 551 |   margin: 0;    
 552 |   border-left: none;
 553 |   border-spacing: 0 0;
 554 | }
 555 | 
 556 | .sol-template-name {
 557 |   font-size: 13px; 
 558 |   background: white;
 559 |   padding: 4px 20px 4px 20px;
 560 |   color: darkslategrey;
 561 |   border: solid black 1px;
 562 |   border-top-left-radius: 20px;
 563 |   border-bottom-right-radius: 20px;
 564 |   border-top-right-radius: 20px;
 565 | }
 566 | 
 567 | .sol-template-is {
 568 |   font-size: 10px;
 569 |   color:steelblue;
 570 |   border: none;
 571 |   margin: 0;
 572 |   padding-left:10px;
 573 |   vertical-align: middle;
 574 | }
 575 | 
 576 | table.sol-state-definition {
 577 |   margin: 0;    
 578 |   border-left: none;
 579 |   border-spacing: 0 0;
 580 | }
 581 | 
 582 | .sol-vertical-space {
 583 |   padding-top:12px;
 584 |   min-height: 20px;
 585 | }
 586 | 
 587 | .sol-list {
 588 |   
 589 | }
 590 | 
 591 | 
 592 | /* OLD */
 593 | 
 594 | /* Sol Template Table */
 595 | 
 596 | .sol-template__section {
 597 |   margin: 0;
 598 |   border-left: 1px solid black;
 599 |   padding-left: 10px;
 600 |   padding-top:10px;
 601 |   border-spacing: 0 0;
 602 | }
 603 | 
 604 | /* Sol Datacell Table */
 605 | 
 606 | .sol-dc__qual--in {
 607 |   border-bottom: solid gainsboro 1.0pt;
 608 |   border-right: none;
 609 |   font-weight: bold;
 610 | }
 611 | 
 612 | .sol-dc__qual--out {
 613 |   border-bottom: solid gainsboro 1.0pt;
 614 |   border-right: none;
 615 |   font-weight: bold;
 616 | }
 617 | 
 618 | .sol-dc__qual--error {
 619 |   border-bottom: solid gainsboro 1.0pt;
 620 |   border-right: none;
 621 |   border-left: 5px solid red;
 622 | }
 623 | 
 624 | .sol-dc__name--pc {
 625 |   border-bottom: solid gainsboro 1.0pt;
 626 |   border-right: none;
 627 |   font-style: italic;
 628 |   color: cornflowerblue;
 629 | }
 630 | 
 631 | .sol-dc__name--p {
 632 |   border-bottom: solid gainsboro 1.0pt;
 633 |   border-right: none;
 634 |   font-style: italic;
 635 |   color: blueviolet;
 636 | }
 637 | 
 638 | .sol-dc-list {
 639 |   margin-top:0px;
 640 | }
 641 | 
 642 | 
 643 | /* Sol Table */
 644 | 
 645 | table.sol-table {
 646 |   margin-top:5px;
 647 |   margin-left:25px;
 648 |   border-collapse:collapse;
 649 |   margin-bottom:24px;
 650 | }
 651 | 
 652 | table.sol-table > tbody > tr > td {
 653 |   border: solid 1px;
 654 |   padding-left: 15px;
 655 |   padding-right: 15px;
 656 |   padding-top: 5px;
 657 |   padding-bottom: 5px;
 658 | }
 659 | 
 660 | table.sol-table > thead > tr > td {
 661 |   font-weight:bold;
 662 |   padding-left: 15px;
 663 |   padding-right: 15px;
 664 |   padding-top: 5px;
 665 |   padding-bottom: 5px;
 666 | } */
 667 | 
 668 | /*table.sol-table table {
 669 |   border: 0;
 670 | }*/
 671 | 
 672 | div.codecaption {
 673 |   float: center;
 674 |   text-align: left;
 675 |   font-style: italic;
 676 |   font-size: 11px;
 677 |   text-indent: 0;
 678 |   margin: 0.5em 0.5em 0.5em 0;
 679 |   padding: 0.5em 0.5em 0.5em 0;
 680 | }
 681 | 
 682 | sup.req {
 683 |   color:steelblue;
 684 |   margin-left:-2em
 685 | }
 686 | 
 687 | 
 688 | 
 689 | 
 690 | 
 691 | table.sol-state__definition tbody {
 692 |   vertical-align: bottom;
 693 | }
 694 | 
 695 | .sol-state__definition-name {
 696 |   font-size: 13px; 
 697 |   background: darkslategrey;
 698 |   padding: 4px 20px 4px 20px;
 699 |   color: white;
 700 |   border: none;
 701 |   border-top-left-radius: 20px;
 702 |   border-bottom-right-radius: 20px;
 703 |   border-top-right-radius: 20px;
 704 | }
 705 | 
 706 | .sol-state__is {
 707 |   font-size: 10px;
 708 |   color:steelblue;
 709 |   border: none;
 710 |   margin: 0;
 711 |   padding-left:10px;
 712 |   vertical-align: middle;
 713 | }
 714 | 
 715 | table.sol-state__states {
 716 |   margin: 0;
 717 |   border-left: 5px solid darkslategrey;
 718 |   padding-left: 10px;
 719 |   border-spacing: 0 0;
 720 | }
 721 | 
 722 | .sol-state__title-state {
 723 |   border: none;
 724 |   font-size: 6pt;
 725 |   font-style: italic;
 726 |   padding-top:2px;
 727 |   padding-bottom:4px;
 728 | }
 729 | 
 730 | .sol-state__title-encoded {
 731 |   border: none;
 732 |   font-size: 6pt;
 733 |   font-style: italic;
 734 |   text-align: right;
 735 | }
 736 | 
 737 | .sol-state__name {
 738 |   border-bottom: solid gainsboro 1.0pt;
 739 |   border-right: none;
 740 |   padding-right: 0;
 741 | }
 742 | 
 743 | .sol-state__encoding {
 744 |   border-bottom: solid gainsboro 1.0pt;
 745 |   border-right: none;
 746 |   font-size: 7pt;
 747 |   text-align: right;
 748 |   padding-left:0;
 749 | }
 750 | 
 751 | .sol-template__section .sol-dc__is {
 752 |   padding-right:6px;
 753 | }
 754 | 
 755 | .sol-dc__indent {
 756 |   width:10px;
 757 |   border-right: solid lightgrey 1.0pt;
 758 | }
 759 | 
 760 | .sol-dc__post-indent {
 761 |   width:10px;
 762 | }
 763 | 
 764 | .sol-with-clause {
 765 |   border-bottom: solid gainsboro 1.0pt;
 766 |   border-right: none;
 767 | }
 768 | 
 769 | table.sol-datacell-list {
 770 |   margin: 0;    
 771 |   margin-top: 20px;
 772 |   border-left: none;
 773 | }
 774 | 
 775 | table.sol-datacell-sublist {
 776 |   margin: 0;    
 777 |   border-left: none;
 778 |   margin-bottom: 20px;
 779 | }
 780 | 
 781 | .sol-datacell__comment {
 782 |   font-size: 8pt;
 783 |   font-style: italic;
 784 |   color: grey;
 785 |   border-bottom: none;
 786 | }
 787 | 
 788 | .sol-datacell__comment--structural {
 789 |   font-size: 8pt;
 790 |   font-style: italic;
 791 |   color: darkslategrey;
 792 |   border-bottom: none;
 793 | }
 794 | 
 795 | .sol-datacell__comment--error {
 796 |   font-size: 8pt;
 797 |   font-style: italic;
 798 |   color: red;
 799 |   border-bottom: none;
 800 | }
 801 | 
 802 | .sol-datacell__comment--todo {
 803 |   font-size: 8pt;
 804 |   font-style: italic;
 805 |   color: saddlebrown;
 806 |   border-bottom: none;
 807 | }
 808 | 
 809 | .sol-operator {
 810 |   color:dodgerblue;
 811 | }
 812 | 
 813 | .sol-keyword {
 814 |   color: steelblue;
 815 | }
 816 | 
 817 | .sol-unit {
 818 |   font-style:italic;
 819 |   color:dimgrey;
 820 | }
 821 | 
 822 | td.sol-math {
 823 |   padding-top: 5px;
 824 |   padding-bottom: 5px;
 825 | }
 826 | 
 827 | td.sol-end-of-math {
 828 |   border-bottom: none;
 829 | }
 830 | 
 831 | math {
 832 |   margin: 0;
 833 |   margin-left: -3px;
 834 |   padding: 0;
 835 |   math-style: normal;
 836 |   font-family:helvetica;
 837 | }
 838 | 
 839 | .math_left {
 840 |   text-align: left;
 841 | }
 842 | 
 843 | .math_right {
 844 |   text-align: right;
 845 | }
 846 | 
 847 | .sol-div-top {
 848 |   padding-bottom: 2px;
 849 | }
 850 | 
 851 | .sol-div-bottom {
 852 |   padding-top: 2px;
 853 | }
 854 | 
 855 | mrow {
 856 |   margin: 0;
 857 |   padding: 0;
 858 | }
 859 | 
 860 | mn {
 861 |   color: green;
 862 | }
 863 | 
 864 | .sol_number {
 865 |   color: green;
 866 | }
 867 | 
 868 | .sol-named {
 869 |   color: darkgreen;
 870 | }
 871 | 
 872 | .sol-signal {
 873 |   color: saddlebrown;
 874 | }
 875 | 
 876 | .docend {
 877 |     padding-top:50px;
 878 | }
 879 | 

 880 | </style>

 881 | <script>

 882 | MathJax = {

 883 |   tex: {

 884 |     inlineMath: [["$", "$"]]

 885 |   },

 886 | };

 887 | </script>

 888 | </style>

 889 | </head>

 890 | <body>

 891 | 

 892 | <section id="_0">

 893 | <h1>PTAHDAO</h1>

 894 | <figure id="_2">

 895 | <img src="/imgs/banner_1.png" alt="avatar">

 896 | </figure>

 897 | <p id="_4">

 898 | PtahDAO, As the world's first DAO governance asset trust program, Incubated by LMR Partners-web3.0 Technology Lab, Is a groundbreaking combination of blockchain technology and financial investment, Which deeply implements the logic and rules of DAO governance, Realizing the concept of inclusive financial services and driving financial innovation.


 899 | </p>

 900 | </section>

 901 | <div class="sol-doc-end"></div>

 902 | 
 903 |   <script type="text/javascript">
 904 | function andOrOperation(andor_div) {
 905 |     let div_pos = andor_div.getBoundingClientRect();
 906 |     let andor_table = andor_div.querySelector(':scope > table');
 907 |     let andor_table_pos = andor_table.getBoundingClientRect();
 908 |     let div_height = Math.ceil(andor_table_pos.height);
 909 |     andor_div.setAttribute('style', 'height:' + div_height + 'px;');
 910 |     let andor_svg = andor_div.querySelector(':scope > svg');
 911 |     andor_svg.style.top = -andor_table_pos.height;
 912 |     andor_svg.setAttribute('height', div_height);
 913 |     andor_svg.setAttribute('width', div_pos.width);
 914 | 
 915 |     let andor_operator = andor_div.querySelector(':scope > table > tbody > tr > td > span.sol-andor-operator');
 916 |     let andor_pos = andor_operator.getBoundingClientRect();
 917 |     let andor_end = andor_div.querySelector(':scope > table > tbody > tr > td.sol-andor-end');
 918 |     let andor_end_pos = andor_end.getBoundingClientRect();
 919 |     let end_bullet = andor_end.querySelector('div.sol-andor-end');
 920 |     let end_bullet_pos = end_bullet.getBoundingClientRect();
 921 |     let condition_parent = andor_div.querySelector(':scope > table > tbody > tr > td > table > tbody');
 922 |     let condition_boxes = condition_parent.querySelectorAll(':scope > tr > td.sol-andor-condition > table, :scope > tr > td.sol-andor-condition > div');
 923 | 
 924 |     let left_x = andor_pos.x - div_pos.x;
 925 |     let right_x = left_x + andor_pos.width;
 926 |     let top_y = andor_pos.y - div_pos.y;
 927 |     let middle_y = top_y + andor_pos.height/2;
 928 | 
 929 |     let end_bullet_x = end_bullet_pos.x + end_bullet_pos.width/2 - div_pos.x
 930 |     let end_bullet_y = end_bullet_pos.y + end_bullet_pos.height/2 - div_pos.y
 931 | 
 932 |     var count = condition_boxes.length;
 933 |     for(var i = 0; i < count; i++) {
 934 |         var condition = condition_boxes[i];
 935 |         let condition_pos = condition.getBoundingClientRect();
 936 |         let x2 = condition_pos.x-div_pos.x-15;
 937 |         let y2 = condition_pos.y+condition_pos.height/2-div_pos.y;
 938 | 
 939 |         var connect_line = document.createElementNS('http://www.w3.org/2000/svg','line');
 940 |         connect_line.setAttribute('x1', right_x);
 941 |         connect_line.setAttribute('y1', middle_y);
 942 |         connect_line.setAttribute('x2', x2);
 943 |         connect_line.setAttribute('y2', y2);
 944 |         connect_line.setAttribute('stroke','black');
 945 |         connect_line.setAttribute('stroke-width','1');
 946 |         andor_svg.append(connect_line);
 947 | 
 948 |         var dash_line = document.createElementNS('http://www.w3.org/2000/svg','line');
 949 |         dash_line.setAttribute('x1', x2);
 950 |         dash_line.setAttribute('y1', y2);
 951 |         dash_line.setAttribute('x2', x2+8);
 952 |         dash_line.setAttribute('y2', y2);
 953 |         dash_line.setAttribute('stroke','black');
 954 |         dash_line.setAttribute('stroke-width','1');
 955 |         andor_svg.append(dash_line);
 956 | 
 957 |         if (condition.nodeName == "DIV") {
 958 |             console.log(condition);
 959 |             let end_point = condition.querySelector(':scope > table > tbody > tr > td.sol-andor-end > div');
 960 |             let end_point_pos = end_point.getBoundingClientRect();
 961 |             var after_line_x1 = end_point_pos.x + end_point_pos.width - div_pos.x;
 962 |         } else {
 963 |             var after_line_x1 = condition_pos.x + condition_pos.width + 5 - div_pos.x;
 964 |         };
 965 |         let after_line_x2 = andor_end_pos.x - div_pos.x + 5;
 966 |         var after_line = document.createElementNS('http://www.w3.org/2000/svg','line');
 967 |         after_line.setAttribute('x1', after_line_x1);
 968 |         after_line.setAttribute('y1', y2);
 969 |         after_line.setAttribute('x2', after_line_x2);
 970 |         after_line.setAttribute('y2', y2);
 971 |         after_line.setAttribute('stroke','black');
 972 |         after_line.setAttribute('stroke-width','1');
 973 |         andor_svg.append(after_line);
 974 | 
 975 |         var end_line = document.createElementNS('http://www.w3.org/2000/svg','line');
 976 |         end_line.setAttribute('x1', after_line_x2);
 977 |         end_line.setAttribute('y1', y2);
 978 |         end_line.setAttribute('x2', end_bullet_x);
 979 |         end_line.setAttribute('y2', end_bullet_y);
 980 |         end_line.setAttribute('stroke','black');
 981 |         end_line.setAttribute('stroke-width','1');
 982 |         andor_svg.append(end_line);
 983 |     }
 984 | }
 985 | 
 986 | function ifOperation(if_div) {
 987 |     let if_div_pos = if_div.getBoundingClientRect();
 988 |     let if_table = if_div.querySelector(':scope > table');
 989 |     let if_table_pos = if_table.getBoundingClientRect();
 990 |     let if_svg = if_div.querySelector(':scope > svg');
 991 |     let div_height = Math.ceil(if_table_pos.height);
 992 |     if_div.setAttribute('style', 'height:' + div_height + 'px;');
 993 |     if_svg.style.top = -if_table_pos.height;
 994 |     if_svg.setAttribute('height', div_height + 4);
 995 |     if_svg.setAttribute('width', if_table_pos.width);
 996 | 
 997 |     let if_operator = if_div.querySelector(':scope > table > tbody > tr > td > span.sol-if-operator');
 998 |     let if_pos = if_operator.getBoundingClientRect();
 999 | 
1000 |     let left_x = if_pos.x - if_div_pos.x;
1001 |     let middle_x = left_x + if_pos.width/2;
1002 |     let right_x = left_x + if_pos.width;
1003 |     let top_y = Math.max(if_pos.y - if_div_pos.y, 0);
1004 |     let middle_y = top_y + if_pos.height/2;
1005 |     let bottom_y = top_y + if_pos.height;
1006 | 
1007 |     let if_polygon = document.createElementNS('http://www.w3.org/2000/svg','polygon');
1008 |     if_polygon.setAttribute("points", left_x   + "," + middle_y + " " +
1009 |                                       middle_x + "," + top_y    + " " +
1010 |                                       right_x  + "," + middle_y + " " +
1011 |                                       middle_x + "," + bottom_y);
1012 |     if_polygon.setAttribute("style", "fill:none;stroke-width:1;stroke:black");
1013 |     if_svg.append(if_polygon);
1014 | 
1015 |     var condition_boxes = if_div.querySelectorAll(':scope > table > tbody > tr > td > table > tbody > tr > td.sol-if-condition');
1016 |     let then_boxes      = if_div.querySelectorAll(':scope > table > tbody > tr > td > table > tbody > tr > td.sol-then-clause');
1017 |     var count = condition_boxes.length;
1018 |     for(var i = 0; i < count; i++) {
1019 |         var condition_parent = condition_boxes[i];
1020 |         var condition = condition_parent.querySelector(':scope > table, :scope > div')
1021 |         var then_box = then_boxes[i];
1022 |         let condition_pos = condition.getBoundingClientRect();
1023 |         let then_pos = then_box.getBoundingClientRect();
1024 |         let x2 = condition_pos.x-if_div_pos.x-15;
1025 |         let y2 = condition_pos.y+condition_pos.height/2-if_div_pos.y;
1026 | 
1027 |         var connect_line = document.createElementNS('http://www.w3.org/2000/svg','line');
1028 |         connect_line.setAttribute('x1', right_x);
1029 |         connect_line.setAttribute('y1', middle_y);
1030 |         connect_line.setAttribute('x2', x2);
1031 |         connect_line.setAttribute('y2', y2);
1032 |         connect_line.setAttribute('stroke','black');
1033 |         connect_line.setAttribute('stroke-width','1');
1034 |         if_svg.append(connect_line);
1035 | 
1036 |         var dash_line = document.createElementNS('http://www.w3.org/2000/svg','line');
1037 |         dash_line.setAttribute('x1', x2);
1038 |         dash_line.setAttribute('y1', y2);
1039 |         dash_line.setAttribute('x2', x2+8);
1040 |         dash_line.setAttribute('y2', y2);
1041 |         dash_line.setAttribute('stroke','black');
1042 |         dash_line.setAttribute('stroke-width','1');
1043 |         if_svg.append(dash_line);
1044 | 
1045 |         let then_x1 = condition_pos.x-if_div_pos.x+condition_pos.width+5;
1046 |         var then_line = document.createElementNS('http://www.w3.org/2000/svg','line');
1047 |         then_line.setAttribute('x1', then_x1);
1048 |         then_line.setAttribute('y1', y2);
1049 |         then_line.setAttribute('x2', then_pos.x-if_div_pos.x-5);
1050 |         then_line.setAttribute('y2', y2);
1051 |         then_line.setAttribute('stroke','black');
1052 |         then_line.setAttribute('stroke-width','1');
1053 |         if_svg.append(then_line);
1054 | 
1055 |         var arrow_line_1 = document.createElementNS('http://www.w3.org/2000/svg','line');
1056 |         arrow_line_1.setAttribute('x1', then_x1);
1057 |         arrow_line_1.setAttribute('y1', y2);
1058 |         arrow_line_1.setAttribute('x2', then_x1+5);
1059 |         arrow_line_1.setAttribute('y2', y2-3);
1060 |         arrow_line_1.setAttribute('stroke','black');
1061 |         arrow_line_1.setAttribute('stroke-width','1');
1062 |         if_svg.append(arrow_line_1);
1063 | 
1064 |         var arrow_line_2 = document.createElementNS('http://www.w3.org/2000/svg','line');
1065 |         arrow_line_2.setAttribute('x1', then_x1);
1066 |         arrow_line_2.setAttribute('y1', y2);
1067 |         arrow_line_2.setAttribute('x2', then_x1+5);
1068 |         arrow_line_2.setAttribute('y2', y2+3);
1069 |         arrow_line_2.setAttribute('stroke','black');
1070 |         arrow_line_2.setAttribute('stroke-width','1');
1071 |         if_svg.append(arrow_line_2);
1072 |     }
1073 | }
1074 | 
1075 | let andor_if_operations = document.querySelectorAll('#sol-andor-operation, #sol-if-div');
1076 | var count = andor_if_operations.length;
1077 | for(var i = count - 1; i >= 0; i--) {
1078 |     andor_if_op = andor_if_operations[i];
1079 |     if (andor_if_op.id == 'sol-andor-operation') {
1080 |         andOrOperation(andor_if_op);
1081 |     }
1082 |     else {
1083 |         ifOperation(andor_if_op);
1084 |     }
1085 | }
1086 | 
1087 | /*let if_operations = document.querySelectorAll('#sol-if-div');
1088 | var count = if_operations.length;
1089 | for(var i = 0; i < count; i++) {
1090 |     ifOperation(if_operations[i]);
1091 | }*/
1092 | 
1093 | function setOperandBorderColor(op_element, color, parentClass) {
1094 |     left_op = op_element.previousElementSibling;
1095 |     if (left_op != null) {
1096 |        left_expr = left_op.querySelector(':scope > table.sol-sub-expr');
1097 |        if (left_expr != null) {
1098 |           left_expr.style.borderColor = color;
1099 |        }
1100 |     }
1101 |     right_op = op_element.nextElementSibling;
1102 |     if (right_op != null) {
1103 |        right_expr = right_op.querySelector(':scope > table.sol-sub-expr');
1104 |        if (right_expr != null) {
1105 |           right_expr.style.borderColor = color;
1106 |        }
1107 |     }
1108 |     
1109 |     let parent_table = op_element.parentNode.parentNode.parentNode;
1110 |     if (parent_table.className.startsWith('sol-sub-expr')) {
1111 |        parent_table.setAttribute('class', parentClass);
1112 |     }
1113 | }
1114 | 
1115 | let operator_list = document.querySelectorAll('.sol-operator');
1116 | var count = operator_list.length;
1117 | for (var i = 0; i < count; i++) {
1118 |     let operator = operator_list[i];
1119 |     operator.onmouseover = function(event) {
1120 |         setOperandBorderColor(event.target, 'black', 'sol-sub-expr hovering');
1121 |     }
1122 |     operator.onmouseout = function(event) {
1123 |         setOperandBorderColor(event.target, '', 'sol-sub-expr');
1124 |     }
1125 | }
1126 | 
1127 | </script>
1128 | 

1129 | </body>

1130 | </html>


--------------------------------------------------------------------------------