conjure icon indicating copy to clipboard operation
conjure copied to clipboard

Published 20 hours ago • verified publisher icon conjure-cp

image(f,S) for set S

Open ott2 opened this issue 7 years ago • 1 comments

According to the Constraints 2008 paper defining Essence, image(f,S) should (p.289, lines 7–9) be a valid way to specify the set {f(s) | s in S}.

ott2 avatar Jun 20 '17 14:06 ott2

If we are not constrained by the paper, then it would also make sense to add preImage(f,S) as well.

ott2 avatar Jun 29 '17 09:06 ott2