{
  "contractName": "GenesisProtocolFormulasInterface",
  "abi": [
    {
      "constant": true,
      "inputs": [
        {
          "name": "_proposalId",
          "type": "bytes32"
        },
        {
          "name": "_staker",
          "type": "address"
        }
      ],
      "name": "redeemAmount",
      "outputs": [
        {
          "name": "",
          "type": "uint256"
        }
      ],
      "payable": false,
      "stateMutability": "view",
      "type": "function"
    },
    {
      "constant": true,
      "inputs": [
        {
          "name": "_proposalId",
          "type": "bytes32"
        }
      ],
      "name": "redeemProposerReputation",
      "outputs": [
        {
          "name": "",
          "type": "int256"
        }
      ],
      "payable": false,
      "stateMutability": "view",
      "type": "function"
    },
    {
      "constant": true,
      "inputs": [
        {
          "name": "_proposalId",
          "type": "bytes32"
        }
      ],
      "name": "shouldBoost",
      "outputs": [
        {
          "name": "",
          "type": "bool"
        }
      ],
      "payable": false,
      "stateMutability": "view",
      "type": "function"
    },
    {
      "constant": true,
      "inputs": [
        {
          "name": "_proposalId",
          "type": "bytes32"
        },
        {
          "name": "_beneficiary",
          "type": "address"
        }
      ],
      "name": "redeemVoterAmount",
      "outputs": [
        {
          "name": "",
          "type": "uint256"
        }
      ],
      "payable": false,
      "stateMutability": "view",
      "type": "function"
    },
    {
      "constant": true,
      "inputs": [
        {
          "name": "_avatar",
          "type": "address"
        }
      ],
      "name": "threshold",
      "outputs": [
        {
          "name": "",
          "type": "int256"
        }
      ],
      "payable": false,
      "stateMutability": "view",
      "type": "function"
    },
    {
      "constant": true,
      "inputs": [
        {
          "name": "_proposalId",
          "type": "bytes32"
        }
      ],
      "name": "score",
      "outputs": [
        {
          "name": "",
          "type": "int256"
        }
      ],
      "payable": false,
      "stateMutability": "view",
      "type": "function"
    }
  ],
  "bytecode": "0x",
  "deployedBytecode": "0x",
  "sourceMap": "",
  "deployedSourceMap": "",
  "source": "pragma solidity ^0.4.18;\n\n\ninterface GenesisProtocolFormulasInterface {\n\n    function shouldBoost(bytes32 _proposalId) public view returns (bool);\n\n    function score(bytes32 _proposalId) public view returns (int);\n\n    function threshold(address _avatar) public view returns (int);\n\n    function redeemAmount(bytes32 _proposalId,address _staker) public view returns (uint);\n\n    /**\n     * @dev redeemProposerRepAmount return the redeem amount which a proposer is entitle to.\n     * @param _proposalId the ID of the proposal\n     * @return int proposer redeem reputation amount.\n     */\n    function redeemProposerReputation(bytes32 _proposalId) public view returns(int);\n\n    /**\n     * @dev redeemVoterAmount return the redeem amount which a voter is entitle to.\n     * @param _proposalId the ID of the proposal\n     * @param _beneficiary the beneficiary .\n     * @return uint redeem amount for a voter.\n     */\n    function redeemVoterAmount(bytes32 _proposalId, address _beneficiary) public view returns(uint);\n\n}\n",
  "sourcePath": "/Users/oren/daostack/daostack2/daostack/contracts/VotingMachines/GenesisProtocolFormulasInterface.sol",
  "ast": {
    "attributes": {
      "absolutePath": "/Users/oren/daostack/daostack2/daostack/contracts/VotingMachines/GenesisProtocolFormulasInterface.sol",
      "exportedSymbols": {
        "GenesisProtocolFormulasInterface": [
          3341
        ]
      }
    },
    "children": [
      {
        "attributes": {
          "literals": [
            "solidity",
            "^",
            "0.4",
            ".18"
          ]
        },
        "id": 3294,
        "name": "PragmaDirective",
        "src": "0:24:3"
      },
      {
        "attributes": {
          "baseContracts": [
            null
          ],
          "contractDependencies": [
            null
          ],
          "contractKind": "interface",
          "documentation": null,
          "fullyImplemented": false,
          "linearizedBaseContracts": [
            3341
          ],
          "name": "GenesisProtocolFormulasInterface",
          "scope": 3342
        },
        "children": [
          {
            "attributes": {
              "body": null,
              "constant": true,
              "implemented": false,
              "isConstructor": false,
              "modifiers": [
                null
              ],
              "name": "shouldBoost",
              "payable": false,
              "scope": 3341,
              "stateMutability": "view",
              "superFunction": null,
              "visibility": "public"
            },
            "children": [
              {
                "children": [
                  {
                    "attributes": {
                      "constant": false,
                      "name": "_proposalId",
                      "scope": 3301,
                      "stateVariable": false,
                      "storageLocation": "default",
                      "type": "bytes32",
                      "value": null,
                      "visibility": "internal"
                    },
                    "children": [
                      {
                        "attributes": {
                          "name": "bytes32",
                          "type": "bytes32"
                        },
                        "id": 3295,
                        "name": "ElementaryTypeName",
                        "src": "98:7:3"
                      }
                    ],
                    "id": 3296,
                    "name": "VariableDeclaration",
                    "src": "98:19:3"
                  }
                ],
                "id": 3297,
                "name": "ParameterList",
                "src": "97:21:3"
              },
              {
                "children": [
                  {
                    "attributes": {
                      "constant": false,
                      "name": "",
                      "scope": 3301,
                      "stateVariable": false,
                      "storageLocation": "default",
                      "type": "bool",
                      "value": null,
                      "visibility": "internal"
                    },
                    "children": [
                      {
                        "attributes": {
                          "name": "bool",
                          "type": "bool"
                        },
                        "id": 3298,
                        "name": "ElementaryTypeName",
                        "src": "140:4:3"
                      }
                    ],
                    "id": 3299,
                    "name": "VariableDeclaration",
                    "src": "140:4:3"
                  }
                ],
                "id": 3300,
                "name": "ParameterList",
                "src": "139:6:3"
              }
            ],
            "id": 3301,
            "name": "FunctionDefinition",
            "src": "77:69:3"
          },
          {
            "attributes": {
              "body": null,
              "constant": true,
              "implemented": false,
              "isConstructor": false,
              "modifiers": [
                null
              ],
              "name": "score",
              "payable": false,
              "scope": 3341,
              "stateMutability": "view",
              "superFunction": null,
              "visibility": "public"
            },
            "children": [
              {
                "children": [
                  {
                    "attributes": {
                      "constant": false,
                      "name": "_proposalId",
                      "scope": 3308,
                      "stateVariable": false,
                      "storageLocation": "default",
                      "type": "bytes32",
                      "value": null,
                      "visibility": "internal"
                    },
                    "children": [
                      {
                        "attributes": {
                          "name": "bytes32",
                          "type": "bytes32"
                        },
                        "id": 3302,
                        "name": "ElementaryTypeName",
                        "src": "167:7:3"
                      }
                    ],
                    "id": 3303,
                    "name": "VariableDeclaration",
                    "src": "167:19:3"
                  }
                ],
                "id": 3304,
                "name": "ParameterList",
                "src": "166:21:3"
              },
              {
                "children": [
                  {
                    "attributes": {
                      "constant": false,
                      "name": "",
                      "scope": 3308,
                      "stateVariable": false,
                      "storageLocation": "default",
                      "type": "int256",
                      "value": null,
                      "visibility": "internal"
                    },
                    "children": [
                      {
                        "attributes": {
                          "name": "int",
                          "type": "int256"
                        },
                        "id": 3305,
                        "name": "ElementaryTypeName",
                        "src": "209:3:3"
                      }
                    ],
                    "id": 3306,
                    "name": "VariableDeclaration",
                    "src": "209:3:3"
                  }
                ],
                "id": 3307,
                "name": "ParameterList",
                "src": "208:5:3"
              }
            ],
            "id": 3308,
            "name": "FunctionDefinition",
            "src": "152:62:3"
          },
          {
            "attributes": {
              "body": null,
              "constant": true,
              "implemented": false,
              "isConstructor": false,
              "modifiers": [
                null
              ],
              "name": "threshold",
              "payable": false,
              "scope": 3341,
              "stateMutability": "view",
              "superFunction": null,
              "visibility": "public"
            },
            "children": [
              {
                "children": [
                  {
                    "attributes": {
                      "constant": false,
                      "name": "_avatar",
                      "scope": 3315,
                      "stateVariable": false,
                      "storageLocation": "default",
                      "type": "address",
                      "value": null,
                      "visibility": "internal"
                    },
                    "children": [
                      {
                        "attributes": {
                          "name": "address",
                          "type": "address"
                        },
                        "id": 3309,
                        "name": "ElementaryTypeName",
                        "src": "239:7:3"
                      }
                    ],
                    "id": 3310,
                    "name": "VariableDeclaration",
                    "src": "239:15:3"
                  }
                ],
                "id": 3311,
                "name": "ParameterList",
                "src": "238:17:3"
              },
              {
                "children": [
                  {
                    "attributes": {
                      "constant": false,
                      "name": "",
                      "scope": 3315,
                      "stateVariable": false,
                      "storageLocation": "default",
                      "type": "int256",
                      "value": null,
                      "visibility": "internal"
                    },
                    "children": [
                      {
                        "attributes": {
                          "name": "int",
                          "type": "int256"
                        },
                        "id": 3312,
                        "name": "ElementaryTypeName",
                        "src": "277:3:3"
                      }
                    ],
                    "id": 3313,
                    "name": "VariableDeclaration",
                    "src": "277:3:3"
                  }
                ],
                "id": 3314,
                "name": "ParameterList",
                "src": "276:5:3"
              }
            ],
            "id": 3315,
            "name": "FunctionDefinition",
            "src": "220:62:3"
          },
          {
            "attributes": {
              "body": null,
              "constant": true,
              "implemented": false,
              "isConstructor": false,
              "modifiers": [
                null
              ],
              "name": "redeemAmount",
              "payable": false,
              "scope": 3341,
              "stateMutability": "view",
              "superFunction": null,
              "visibility": "public"
            },
            "children": [
              {
                "children": [
                  {
                    "attributes": {
                      "constant": false,
                      "name": "_proposalId",
                      "scope": 3324,
                      "stateVariable": false,
                      "storageLocation": "default",
                      "type": "bytes32",
                      "value": null,
                      "visibility": "internal"
                    },
                    "children": [
                      {
                        "attributes": {
                          "name": "bytes32",
                          "type": "bytes32"
                        },
                        "id": 3316,
                        "name": "ElementaryTypeName",
                        "src": "310:7:3"
                      }
                    ],
                    "id": 3317,
                    "name": "VariableDeclaration",
                    "src": "310:19:3"
                  },
                  {
                    "attributes": {
                      "constant": false,
                      "name": "_staker",
                      "scope": 3324,
                      "stateVariable": false,
                      "storageLocation": "default",
                      "type": "address",
                      "value": null,
                      "visibility": "internal"
                    },
                    "children": [
                      {
                        "attributes": {
                          "name": "address",
                          "type": "address"
                        },
                        "id": 3318,
                        "name": "ElementaryTypeName",
                        "src": "330:7:3"
                      }
                    ],
                    "id": 3319,
                    "name": "VariableDeclaration",
                    "src": "330:15:3"
                  }
                ],
                "id": 3320,
                "name": "ParameterList",
                "src": "309:37:3"
              },
              {
                "children": [
                  {
                    "attributes": {
                      "constant": false,
                      "name": "",
                      "scope": 3324,
                      "stateVariable": false,
                      "storageLocation": "default",
                      "type": "uint256",
                      "value": null,
                      "visibility": "internal"
                    },
                    "children": [
                      {
                        "attributes": {
                          "name": "uint",
                          "type": "uint256"
                        },
                        "id": 3321,
                        "name": "ElementaryTypeName",
                        "src": "368:4:3"
                      }
                    ],
                    "id": 3322,
                    "name": "VariableDeclaration",
                    "src": "368:4:3"
                  }
                ],
                "id": 3323,
                "name": "ParameterList",
                "src": "367:6:3"
              }
            ],
            "id": 3324,
            "name": "FunctionDefinition",
            "src": "288:86:3"
          },
          {
            "attributes": {
              "body": null,
              "constant": true,
              "implemented": false,
              "isConstructor": false,
              "modifiers": [
                null
              ],
              "name": "redeemProposerReputation",
              "payable": false,
              "scope": 3341,
              "stateMutability": "view",
              "superFunction": null,
              "visibility": "public"
            },
            "children": [
              {
                "children": [
                  {
                    "attributes": {
                      "constant": false,
                      "name": "_proposalId",
                      "scope": 3331,
                      "stateVariable": false,
                      "storageLocation": "default",
                      "type": "bytes32",
                      "value": null,
                      "visibility": "internal"
                    },
                    "children": [
                      {
                        "attributes": {
                          "name": "bytes32",
                          "type": "bytes32"
                        },
                        "id": 3325,
                        "name": "ElementaryTypeName",
                        "src": "626:7:3"
                      }
                    ],
                    "id": 3326,
                    "name": "VariableDeclaration",
                    "src": "626:19:3"
                  }
                ],
                "id": 3327,
                "name": "ParameterList",
                "src": "625:21:3"
              },
              {
                "children": [
                  {
                    "attributes": {
                      "constant": false,
                      "name": "",
                      "scope": 3331,
                      "stateVariable": false,
                      "storageLocation": "default",
                      "type": "int256",
                      "value": null,
                      "visibility": "internal"
                    },
                    "children": [
                      {
                        "attributes": {
                          "name": "int",
                          "type": "int256"
                        },
                        "id": 3328,
                        "name": "ElementaryTypeName",
                        "src": "667:3:3"
                      }
                    ],
                    "id": 3329,
                    "name": "VariableDeclaration",
                    "src": "667:3:3"
                  }
                ],
                "id": 3330,
                "name": "ParameterList",
                "src": "666:5:3"
              }
            ],
            "id": 3331,
            "name": "FunctionDefinition",
            "src": "592:80:3"
          },
          {
            "attributes": {
              "body": null,
              "constant": true,
              "implemented": false,
              "isConstructor": false,
              "modifiers": [
                null
              ],
              "name": "redeemVoterAmount",
              "payable": false,
              "scope": 3341,
              "stateMutability": "view",
              "superFunction": null,
              "visibility": "public"
            },
            "children": [
              {
                "children": [
                  {
                    "attributes": {
                      "constant": false,
                      "name": "_proposalId",
                      "scope": 3340,
                      "stateVariable": false,
                      "storageLocation": "default",
                      "type": "bytes32",
                      "value": null,
                      "visibility": "internal"
                    },
                    "children": [
                      {
                        "attributes": {
                          "name": "bytes32",
                          "type": "bytes32"
                        },
                        "id": 3332,
                        "name": "ElementaryTypeName",
                        "src": "946:7:3"
                      }
                    ],
                    "id": 3333,
                    "name": "VariableDeclaration",
                    "src": "946:19:3"
                  },
                  {
                    "attributes": {
                      "constant": false,
                      "name": "_beneficiary",
                      "scope": 3340,
                      "stateVariable": false,
                      "storageLocation": "default",
                      "type": "address",
                      "value": null,
                      "visibility": "internal"
                    },
                    "children": [
                      {
                        "attributes": {
                          "name": "address",
                          "type": "address"
                        },
                        "id": 3334,
                        "name": "ElementaryTypeName",
                        "src": "967:7:3"
                      }
                    ],
                    "id": 3335,
                    "name": "VariableDeclaration",
                    "src": "967:20:3"
                  }
                ],
                "id": 3336,
                "name": "ParameterList",
                "src": "945:43:3"
              },
              {
                "children": [
                  {
                    "attributes": {
                      "constant": false,
                      "name": "",
                      "scope": 3340,
                      "stateVariable": false,
                      "storageLocation": "default",
                      "type": "uint256",
                      "value": null,
                      "visibility": "internal"
                    },
                    "children": [
                      {
                        "attributes": {
                          "name": "uint",
                          "type": "uint256"
                        },
                        "id": 3337,
                        "name": "ElementaryTypeName",
                        "src": "1009:4:3"
                      }
                    ],
                    "id": 3338,
                    "name": "VariableDeclaration",
                    "src": "1009:4:3"
                  }
                ],
                "id": 3339,
                "name": "ParameterList",
                "src": "1008:6:3"
              }
            ],
            "id": 3340,
            "name": "FunctionDefinition",
            "src": "919:96:3"
          }
        ],
        "id": 3341,
        "name": "ContractDefinition",
        "src": "27:991:3"
      }
    ],
    "id": 3342,
    "name": "SourceUnit",
    "src": "0:1019:3"
  },
  "compiler": {
    "name": "solc",
    "version": "0.4.18+commit.9cf6e910.Emscripten.clang"
  },
  "networks": {},
  "schemaVersion": "1.0.1",
  "updatedAt": "2018-02-04T21:57:39.050Z"
}