{"action":"created","issue":{"url":"https://api.github.com/repos/casadi/casadi/issues/390","labels_url":"https://api.github.com/repos/casadi/casadi/issues/390/labels{/name}","comments_url":"https://api.github.com/repos/casadi/casadi/issues/390/comments","events_url":"https://api.github.com/repos/casadi/casadi/issues/390/events","html_url":"https://github.com/casadi/casadi/issues/390","id":8001139,"number":390,"title":"change hasSetOption semantics","user":{"login":"casadibot","id":2682432,"avatar_url":"https://avatars.githubusercontent.com/u/2682432?v=3","gravatar_id":"","url":"https://api.github.com/users/casadibot","html_url":"https://github.com/casadibot","followers_url":"https://api.github.com/users/casadibot/followers","following_url":"https://api.github.com/users/casadibot/following{/other_user}","gists_url":"https://api.github.com/users/casadibot/gists{/gist_id}","starred_url":"https://api.github.com/users/casadibot/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/casadibot/subscriptions","organizations_url":"https://api.github.com/users/casadibot/orgs","repos_url":"https://api.github.com/users/casadibot/repos","events_url":"https://api.github.com/users/casadibot/events{/privacy}","received_events_url":"https://api.github.com/users/casadibot/received_events","type":"User","site_admin":false},"labels":[{"url":"https://api.github.com/repos/casadi/casadi/labels/enhancement","name":"enhancement","color":"84b6eb"},{"url":"https://api.github.com/repos/casadi/casadi/labels/invalid","name":"invalid","color":"e6e6e6"},{"url":"https://api.github.com/repos/casadi/casadi/labels/major","name":"major","color":"b22222"}],"state":"closed","locked":false,"assignee":{"login":"jgillis","id":329032,"avatar_url":"https://avatars.githubusercontent.com/u/329032?v=3","gravatar_id":"","url":"https://api.github.com/users/jgillis","html_url":"https://github.com/jgillis","followers_url":"https://api.github.com/users/jgillis/followers","following_url":"https://api.github.com/users/jgillis/following{/other_user}","gists_url":"https://api.github.com/users/jgillis/gists{/gist_id}","starred_url":"https://api.github.com/users/jgillis/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/jgillis/subscriptions","organizations_url":"https://api.github.com/users/jgillis/orgs","repos_url":"https://api.github.com/users/jgillis/repos","events_url":"https://api.github.com/users/jgillis/events{/privacy}","received_events_url":"https://api.github.com/users/jgillis/received_events","type":"User","site_admin":false},"milestone":{"url":"https://api.github.com/repos/casadi/casadi/milestones/12","html_url":"https://github.com/casadi/casadi/milestones/Version%202.4.0","labels_url":"https://api.github.com/repos/casadi/casadi/milestones/12/labels","id":1023015,"number":12,"title":"Version 2.4.0","description":"","creator":{"login":"jaeandersson","id":2487645,"avatar_url":"https://avatars.githubusercontent.com/u/2487645?v=3","gravatar_id":"","url":"https://api.github.com/users/jaeandersson","html_url":"https://github.com/jaeandersson","followers_url":"https://api.github.com/users/jaeandersson/followers","following_url":"https://api.github.com/users/jaeandersson/following{/other_user}","gists_url":"https://api.github.com/users/jaeandersson/gists{/gist_id}","starred_url":"https://api.github.com/users/jaeandersson/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/jaeandersson/subscriptions","organizations_url":"https://api.github.com/users/jaeandersson/orgs","repos_url":"https://api.github.com/users/jaeandersson/repos","events_url":"https://api.github.com/users/jaeandersson/events{/privacy}","received_events_url":"https://api.github.com/users/jaeandersson/received_events","type":"User","site_admin":false},"open_issues":17,"closed_issues":95,"state":"open","created_at":"2015-03-16T10:01:44Z","updated_at":"2015-07-30T17:36:22Z","due_on":null,"closed_at":null},"comments":3,"created_at":"2012-10-31T14:19:53Z","updated_at":"2015-07-30T17:36:23Z","closed_at":"2015-07-30T17:36:22Z","body":"The current state of affairs with option functionality is as follows:\n\nhasSetOption(optionname) returns invariably True whenever a default value is provided by addOption.\n\nIt is more convenient to have it return True only if the default was overwritten.\n\n*Created by [jgillis](/jgillis) at: 2012-05-31T17:28:59*\n*Last updated at: 2012-06-01T11:22:05*\n\n- - -\n> *Comment 1 by [jaeandersson](/jaeandersson) at 2012-05-31T19:32:15*\n> - - -\n> I don't see why you need to know if a default option has been overwritten, unless you only want to store options if they are different from default (I don't think this is worth the effort, the extra memory use now hasn't been any problem so far).\n\n- - -\n> *Comment 2 by [jgillis](/jgillis) at 2012-06-01T11:21:14*\n> - - -\n> The use case is simple:\n> \n> Some options are very closely related, and you would like some user convenience.\n> \n> When option A is set, option B must be adapted, unless option B had been explicitly set by the user.\n> \n> The particular scenario i had in mind is:\n> A = generate_hessian\n> B = UserHM (WORHP)\n> \n> ```cpp\n> if (!hasSetOption(\"UserHM\")) setOption(\"UserHM\",getOption(\"generate_hessian\"));\n> ```\n> \n"},"comment":{"url":"https://api.github.com/repos/casadi/casadi/issues/comments/126412889","html_url":"https://github.com/casadi/casadi/issues/390#issuecomment-126412889","issue_url":"https://api.github.com/repos/casadi/casadi/issues/390","id":126412889,"user":{"login":"jaeandersson","id":2487645,"avatar_url":"https://avatars.githubusercontent.com/u/2487645?v=3","gravatar_id":"","url":"https://api.github.com/users/jaeandersson","html_url":"https://github.com/jaeandersson","followers_url":"https://api.github.com/users/jaeandersson/followers","following_url":"https://api.github.com/users/jaeandersson/following{/other_user}","gists_url":"https://api.github.com/users/jaeandersson/gists{/gist_id}","starred_url":"https://api.github.com/users/jaeandersson/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/jaeandersson/subscriptions","organizations_url":"https://api.github.com/users/jaeandersson/orgs","repos_url":"https://api.github.com/users/jaeandersson/repos","events_url":"https://api.github.com/users/jaeandersson/events{/privacy}","received_events_url":"https://api.github.com/users/jaeandersson/received_events","type":"User","site_admin":false},"created_at":"2015-07-30T17:36:22Z","updated_at":"2015-07-30T17:36:22Z","body":"setOption is about to be removed."}}