{"action":"closed","issue":{"url":"https://api.github.com/repos/ibex-team/ibex-lib/issues/68","labels_url":"https://api.github.com/repos/ibex-team/ibex-lib/issues/68/labels{/name}","comments_url":"https://api.github.com/repos/ibex-team/ibex-lib/issues/68/comments","events_url":"https://api.github.com/repos/ibex-team/ibex-lib/issues/68/events","html_url":"https://github.com/ibex-team/ibex-lib/issues/68","id":49514152,"number":68,"title":"Contractor wrt polygon","user":{"login":"gchabert","id":7541203,"avatar_url":"https://avatars.githubusercontent.com/u/7541203?v=3","gravatar_id":"","url":"https://api.github.com/users/gchabert","html_url":"https://github.com/gchabert","followers_url":"https://api.github.com/users/gchabert/followers","following_url":"https://api.github.com/users/gchabert/following{/other_user}","gists_url":"https://api.github.com/users/gchabert/gists{/gist_id}","starred_url":"https://api.github.com/users/gchabert/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/gchabert/subscriptions","organizations_url":"https://api.github.com/users/gchabert/orgs","repos_url":"https://api.github.com/users/gchabert/repos","events_url":"https://api.github.com/users/gchabert/events{/privacy}","received_events_url":"https://api.github.com/users/gchabert/received_events","type":"User","site_admin":false},"labels":[{"url":"https://api.github.com/repos/ibex-team/ibex-lib/labels/feature%20request","name":"feature request","color":"84b6eb"}],"state":"closed","locked":false,"assignee":{"login":"benEnsta","id":6647880,"avatar_url":"https://avatars.githubusercontent.com/u/6647880?v=3","gravatar_id":"","url":"https://api.github.com/users/benEnsta","html_url":"https://github.com/benEnsta","followers_url":"https://api.github.com/users/benEnsta/followers","following_url":"https://api.github.com/users/benEnsta/following{/other_user}","gists_url":"https://api.github.com/users/benEnsta/gists{/gist_id}","starred_url":"https://api.github.com/users/benEnsta/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/benEnsta/subscriptions","organizations_url":"https://api.github.com/users/benEnsta/orgs","repos_url":"https://api.github.com/users/benEnsta/repos","events_url":"https://api.github.com/users/benEnsta/events{/privacy}","received_events_url":"https://api.github.com/users/benEnsta/received_events","type":"User","site_admin":false},"milestone":null,"comments":0,"created_at":"2014-11-20T08:58:23Z","updated_at":"2015-03-19T07:59:47Z","closed_at":"2015-03-19T07:59:47Z","body":"Salut Benoit,\r\n\r\nOn approche du but pour la branche separator.\r\nQuelques remarques encore:\r\n\r\nJ'ai finalement supprimé le mécanimse d'inversion dans PdcPolygon et ai créé de façon générique le prédicat PdcNot (pour inverser un prédicat) et SepNot (pour inverser un séparateur)\r\nJ'ai retouché un peut CtcSegment pour qu'il ait deux types de construction: soit avec un segment fixe (variante à 2 variables), soit avec un segment non-fixe (variante à 6 variables). Je trouve que c'est plus cohérent ainsi (l'ancienne variante me gênait car les paramètres fournis au constructeur étaient \"en conflit\" sémantiquement avec ceux donnés à la fonction contract qui prenait 5 arguments). Question: la variante à 6 variables est-elle optimale? (si tu ne sais pas, ce n'est pas grave):\r\n\r\nDis-moi si ces modifs te conviennent. Les interfaces sont maintenant assez limpides, je n'en aurai pas d'autre.\r\n\r\nIl restera quelques tests pour PdcPolygon et une doc (tu peux faire les 2 en même temps et te servir de ce que tu as déjà écrit dans le .h)\r\n\r\nA+\r\nGilles"}}