{"action":"created","comment":{"url":"https://api.github.com/repos/mvcisback/py-blustl/pulls/comments/93808428","pull_request_review_id":14345046,"id":93808428,"diff_hunk":"@@ -0,0 +1,82 @@\n+from functools import singledispatch\n+import operator as op\n+\n+import numpy as np\n+from lenses import lens\n+\n+import stl\n+import pyeda\n+\n+@singledispatch\n+def encode_stl(stl):","path":"blustl/encode.py","position":11,"original_position":11,"commit_id":"6896307ca8654bc0387ac260caaa9955231c4a97","original_commit_id":"6896307ca8654bc0387ac260caaa9955231c4a97","user":{"login":"mvcisback","id":388723,"avatar_url":"https://avatars.githubusercontent.com/u/388723?v=3","gravatar_id":"","url":"https://api.github.com/users/mvcisback","html_url":"https://github.com/mvcisback","followers_url":"https://api.github.com/users/mvcisback/followers","following_url":"https://api.github.com/users/mvcisback/following{/other_user}","gists_url":"https://api.github.com/users/mvcisback/gists{/gist_id}","starred_url":"https://api.github.com/users/mvcisback/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/mvcisback/subscriptions","organizations_url":"https://api.github.com/users/mvcisback/orgs","repos_url":"https://api.github.com/users/mvcisback/repos","events_url":"https://api.github.com/users/mvcisback/events{/privacy}","received_events_url":"https://api.github.com/users/mvcisback/received_events","type":"User","site_admin":false},"body":"Lets assume the STL has already had the temporal operators erased.\r\n\r\nThe function to do that is `blustl.game.discretize_stl`, but for now just take it as a precondition.","created_at":"2016-12-23T23:40:55Z","updated_at":"2016-12-23T23:56:29Z","html_url":"https://github.com/mvcisback/py-blustl/pull/13#discussion_r93808428","pull_request_url":"https://api.github.com/repos/mvcisback/py-blustl/pulls/13","_links":{"self":{"href":"https://api.github.com/repos/mvcisback/py-blustl/pulls/comments/93808428"},"html":{"href":"https://github.com/mvcisback/py-blustl/pull/13#discussion_r93808428"},"pull_request":{"href":"https://api.github.com/repos/mvcisback/py-blustl/pulls/13"}}},"pull_request":{"url":"https://api.github.com/repos/mvcisback/py-blustl/pulls/13","id":99208219,"html_url":"https://github.com/mvcisback/py-blustl/pull/13","diff_url":"https://github.com/mvcisback/py-blustl/pull/13.diff","patch_url":"https://github.com/mvcisback/py-blustl/pull/13.patch","issue_url":"https://api.github.com/repos/mvcisback/py-blustl/issues/13","number":13,"state":"open","locked":false,"title":"Encode and Decode","user":{"login":"shromonag","id":13647958,"avatar_url":"https://avatars.githubusercontent.com/u/13647958?v=3","gravatar_id":"","url":"https://api.github.com/users/shromonag","html_url":"https://github.com/shromonag","followers_url":"https://api.github.com/users/shromonag/followers","following_url":"https://api.github.com/users/shromonag/following{/other_user}","gists_url":"https://api.github.com/users/shromonag/gists{/gist_id}","starred_url":"https://api.github.com/users/shromonag/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/shromonag/subscriptions","organizations_url":"https://api.github.com/users/shromonag/orgs","repos_url":"https://api.github.com/users/shromonag/repos","events_url":"https://api.github.com/users/shromonag/events{/privacy}","received_events_url":"https://api.github.com/users/shromonag/received_events","type":"User","site_admin":false},"body":"This should have a sketch. Let me know if this is kinda what you had in mind. I have made it similar to the boolean evaluation framework. \r\n\r\nI haven't tested it yet. ","created_at":"2016-12-23T06:48:48Z","updated_at":"2016-12-23T23:56:29Z","closed_at":null,"merged_at":null,"merge_commit_sha":"f4bf9bda3ccd90ad31ab2e3f5a1345c0a54299e6","assignee":null,"assignees":[],"milestone":null,"commits_url":"https://api.github.com/repos/mvcisback/py-blustl/pulls/13/commits","review_comments_url":"https://api.github.com/repos/mvcisback/py-blustl/pulls/13/comments","review_comment_url":"https://api.github.com/repos/mvcisback/py-blustl/pulls/comments{/number}","comments_url":"https://api.github.com/repos/mvcisback/py-blustl/issues/13/comments","statuses_url":"https://api.github.com/repos/mvcisback/py-blustl/statuses/6896307ca8654bc0387ac260caaa9955231c4a97","head":{"label":"shromonag:master","ref":"master","sha":"6896307ca8654bc0387ac260caaa9955231c4a97","user":{"login":"shromonag","id":13647958,"avatar_url":"https://avatars.githubusercontent.com/u/13647958?v=3","gravatar_id":"","url":"https://api.github.com/users/shromonag","html_url":"https://github.com/shromonag","followers_url":"https://api.github.com/users/shromonag/followers","following_url":"https://api.github.com/users/shromonag/following{/other_user}","gists_url":"https://api.github.com/users/shromonag/gists{/gist_id}","starred_url":"https://api.github.com/users/shromonag/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/shromonag/subscriptions","organizations_url":"https://api.github.com/users/shromonag/orgs","repos_url":"https://api.github.com/users/shromonag/repos","events_url":"https://api.github.com/users/shromonag/events{/privacy}","received_events_url":"https://api.github.com/users/shromonag/received_events","type":"User","site_admin":false},"repo":{"id":77204217,"name":"py-blustl","full_name":"shromonag/py-blustl","owner":{"login":"shromonag","id":13647958,"avatar_url":"https://avatars.githubusercontent.com/u/13647958?v=3","gravatar_id":"","url":"https://api.github.com/users/shromonag","html_url":"https://github.com/shromonag","followers_url":"https://api.github.com/users/shromonag/followers","following_url":"https://api.github.com/users/shromonag/following{/other_user}","gists_url":"https://api.github.com/users/shromonag/gists{/gist_id}","starred_url":"https://api.github.com/users/shromonag/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/shromonag/subscriptions","organizations_url":"https://api.github.com/users/shromonag/orgs","repos_url":"https://api.github.com/users/shromonag/repos","events_url":"https://api.github.com/users/shromonag/events{/privacy}","received_events_url":"https://api.github.com/users/shromonag/received_events","type":"User","site_admin":false},"private":false,"html_url":"https://github.com/shromonag/py-blustl","description":null,"fork":true,"url":"https://api.github.com/repos/shromonag/py-blustl","forks_url":"https://api.github.com/repos/shromonag/py-blustl/forks","keys_url":"https://api.github.com/repos/shromonag/py-blustl/keys{/key_id}","collaborators_url":"https://api.github.com/repos/shromonag/py-blustl/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/shromonag/py-blustl/teams","hooks_url":"https://api.github.com/repos/shromonag/py-blustl/hooks","issue_events_url":"https://api.github.com/repos/shromonag/py-blustl/issues/events{/number}","events_url":"https://api.github.com/repos/shromonag/py-blustl/events","assignees_url":"https://api.github.com/repos/shromonag/py-blustl/assignees{/user}","branches_url":"https://api.github.com/repos/shromonag/py-blustl/branches{/branch}","tags_url":"https://api.github.com/repos/shromonag/py-blustl/tags","blobs_url":"https://api.github.com/repos/shromonag/py-blustl/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/shromonag/py-blustl/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/shromonag/py-blustl/git/refs{/sha}","trees_url":"https://api.github.com/repos/shromonag/py-blustl/git/trees{/sha}","statuses_url":"https://api.github.com/repos/shromonag/py-blustl/statuses/{sha}","languages_url":"https://api.github.com/repos/shromonag/py-blustl/languages","stargazers_url":"https://api.github.com/repos/shromonag/py-blustl/stargazers","contributors_url":"https://api.github.com/repos/shromonag/py-blustl/contributors","subscribers_url":"https://api.github.com/repos/shromonag/py-blustl/subscribers","subscription_url":"https://api.github.com/repos/shromonag/py-blustl/subscription","commits_url":"https://api.github.com/repos/shromonag/py-blustl/commits{/sha}","git_commits_url":"https://api.github.com/repos/shromonag/py-blustl/git/commits{/sha}","comments_url":"https://api.github.com/repos/shromonag/py-blustl/comments{/number}","issue_comment_url":"https://api.github.com/repos/shromonag/py-blustl/issues/comments{/number}","contents_url":"https://api.github.com/repos/shromonag/py-blustl/contents/{+path}","compare_url":"https://api.github.com/repos/shromonag/py-blustl/compare/{base}...{head}","merges_url":"https://api.github.com/repos/shromonag/py-blustl/merges","archive_url":"https://api.github.com/repos/shromonag/py-blustl/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/shromonag/py-blustl/downloads","issues_url":"https://api.github.com/repos/shromonag/py-blustl/issues{/number}","pulls_url":"https://api.github.com/repos/shromonag/py-blustl/pulls{/number}","milestones_url":"https://api.github.com/repos/shromonag/py-blustl/milestones{/number}","notifications_url":"https://api.github.com/repos/shromonag/py-blustl/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/shromonag/py-blustl/labels{/name}","releases_url":"https://api.github.com/repos/shromonag/py-blustl/releases{/id}","deployments_url":"https://api.github.com/repos/shromonag/py-blustl/deployments","created_at":"2016-12-23T06:40:48Z","updated_at":"2016-12-23T06:40:51Z","pushed_at":"2016-12-23T06:47:05Z","git_url":"git://github.com/shromonag/py-blustl.git","ssh_url":"git@github.com:shromonag/py-blustl.git","clone_url":"https://github.com/shromonag/py-blustl.git","svn_url":"https://github.com/shromonag/py-blustl","homepage":null,"size":103,"stargazers_count":0,"watchers_count":0,"language":"Python","has_issues":false,"has_downloads":true,"has_wiki":true,"has_pages":false,"forks_count":0,"mirror_url":null,"open_issues_count":0,"forks":0,"open_issues":0,"watchers":0,"default_branch":"master"}},"base":{"label":"mvcisback:master","ref":"master","sha":"b7000c8c15f026bade1ed51f72bac90d956a8d2c","user":{"login":"mvcisback","id":388723,"avatar_url":"https://avatars.githubusercontent.com/u/388723?v=3","gravatar_id":"","url":"https://api.github.com/users/mvcisback","html_url":"https://github.com/mvcisback","followers_url":"https://api.github.com/users/mvcisback/followers","following_url":"https://api.github.com/users/mvcisback/following{/other_user}","gists_url":"https://api.github.com/users/mvcisback/gists{/gist_id}","starred_url":"https://api.github.com/users/mvcisback/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/mvcisback/subscriptions","organizations_url":"https://api.github.com/users/mvcisback/orgs","repos_url":"https://api.github.com/users/mvcisback/repos","events_url":"https://api.github.com/users/mvcisback/events{/privacy}","received_events_url":"https://api.github.com/users/mvcisback/received_events","type":"User","site_admin":false},"repo":{"id":58001486,"name":"py-blustl","full_name":"mvcisback/py-blustl","owner":{"login":"mvcisback","id":388723,"avatar_url":"https://avatars.githubusercontent.com/u/388723?v=3","gravatar_id":"","url":"https://api.github.com/users/mvcisback","html_url":"https://github.com/mvcisback","followers_url":"https://api.github.com/users/mvcisback/followers","following_url":"https://api.github.com/users/mvcisback/following{/other_user}","gists_url":"https://api.github.com/users/mvcisback/gists{/gist_id}","starred_url":"https://api.github.com/users/mvcisback/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/mvcisback/subscriptions","organizations_url":"https://api.github.com/users/mvcisback/orgs","repos_url":"https://api.github.com/users/mvcisback/repos","events_url":"https://api.github.com/users/mvcisback/events{/privacy}","received_events_url":"https://api.github.com/users/mvcisback/received_events","type":"User","site_admin":false},"private":false,"html_url":"https://github.com/mvcisback/py-blustl","description":null,"fork":false,"url":"https://api.github.com/repos/mvcisback/py-blustl","forks_url":"https://api.github.com/repos/mvcisback/py-blustl/forks","keys_url":"https://api.github.com/repos/mvcisback/py-blustl/keys{/key_id}","collaborators_url":"https://api.github.com/repos/mvcisback/py-blustl/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/mvcisback/py-blustl/teams","hooks_url":"https://api.github.com/repos/mvcisback/py-blustl/hooks","issue_events_url":"https://api.github.com/repos/mvcisback/py-blustl/issues/events{/number}","events_url":"https://api.github.com/repos/mvcisback/py-blustl/events","assignees_url":"https://api.github.com/repos/mvcisback/py-blustl/assignees{/user}","branches_url":"https://api.github.com/repos/mvcisback/py-blustl/branches{/branch}","tags_url":"https://api.github.com/repos/mvcisback/py-blustl/tags","blobs_url":"https://api.github.com/repos/mvcisback/py-blustl/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/mvcisback/py-blustl/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/mvcisback/py-blustl/git/refs{/sha}","trees_url":"https://api.github.com/repos/mvcisback/py-blustl/git/trees{/sha}","statuses_url":"https://api.github.com/repos/mvcisback/py-blustl/statuses/{sha}","languages_url":"https://api.github.com/repos/mvcisback/py-blustl/languages","stargazers_url":"https://api.github.com/repos/mvcisback/py-blustl/stargazers","contributors_url":"https://api.github.com/repos/mvcisback/py-blustl/contributors","subscribers_url":"https://api.github.com/repos/mvcisback/py-blustl/subscribers","subscription_url":"https://api.github.com/repos/mvcisback/py-blustl/subscription","commits_url":"https://api.github.com/repos/mvcisback/py-blustl/commits{/sha}","git_commits_url":"https://api.github.com/repos/mvcisback/py-blustl/git/commits{/sha}","comments_url":"https://api.github.com/repos/mvcisback/py-blustl/comments{/number}","issue_comment_url":"https://api.github.com/repos/mvcisback/py-blustl/issues/comments{/number}","contents_url":"https://api.github.com/repos/mvcisback/py-blustl/contents/{+path}","compare_url":"https://api.github.com/repos/mvcisback/py-blustl/compare/{base}...{head}","merges_url":"https://api.github.com/repos/mvcisback/py-blustl/merges","archive_url":"https://api.github.com/repos/mvcisback/py-blustl/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/mvcisback/py-blustl/downloads","issues_url":"https://api.github.com/repos/mvcisback/py-blustl/issues{/number}","pulls_url":"https://api.github.com/repos/mvcisback/py-blustl/pulls{/number}","milestones_url":"https://api.github.com/repos/mvcisback/py-blustl/milestones{/number}","notifications_url":"https://api.github.com/repos/mvcisback/py-blustl/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/mvcisback/py-blustl/labels{/name}","releases_url":"https://api.github.com/repos/mvcisback/py-blustl/releases{/id}","deployments_url":"https://api.github.com/repos/mvcisback/py-blustl/deployments","created_at":"2016-05-03T21:03:02Z","updated_at":"2016-12-18T07:30:54Z","pushed_at":"2016-12-23T06:48:49Z","git_url":"git://github.com/mvcisback/py-blustl.git","ssh_url":"git@github.com:mvcisback/py-blustl.git","clone_url":"https://github.com/mvcisback/py-blustl.git","svn_url":"https://github.com/mvcisback/py-blustl","homepage":null,"size":105,"stargazers_count":1,"watchers_count":1,"language":"Python","has_issues":true,"has_downloads":true,"has_wiki":true,"has_pages":false,"forks_count":1,"mirror_url":null,"open_issues_count":11,"forks":1,"open_issues":11,"watchers":1,"default_branch":"master"}},"_links":{"self":{"href":"https://api.github.com/repos/mvcisback/py-blustl/pulls/13"},"html":{"href":"https://github.com/mvcisback/py-blustl/pull/13"},"issue":{"href":"https://api.github.com/repos/mvcisback/py-blustl/issues/13"},"comments":{"href":"https://api.github.com/repos/mvcisback/py-blustl/issues/13/comments"},"review_comments":{"href":"https://api.github.com/repos/mvcisback/py-blustl/pulls/13/comments"},"review_comment":{"href":"https://api.github.com/repos/mvcisback/py-blustl/pulls/comments{/number}"},"commits":{"href":"https://api.github.com/repos/mvcisback/py-blustl/pulls/13/commits"},"statuses":{"href":"https://api.github.com/repos/mvcisback/py-blustl/statuses/6896307ca8654bc0387ac260caaa9955231c4a97"}}}}
{"actor":{"display_login":"mvcisback"}}