search

rpgoldman / europa-pso

Automatically exported from code.google.com/p/europa-pso
0 stars 0 forks source link

Add setBaseDomain method to variable #8

Open GoogleCodeExporter opened 9 years ago

GoogleCodeExporter commented 9 years ago 
currently, the syntax  

{{{
int x=5;
}}}

means create an int var and set the base domain to [5,5].
to set the current domain you can say :

{{{
x.specify(5);
}}}

I think this choice of semantics is confusing for the user, let's add a 
explicit setBaseDomain() 
method and make '=" and 'specify()' mean the same

Original issue reported on code.google.com by javier.barreiro@gmail.com on 11 Aug 2009 at 12:43

GoogleCodeExporter commented 9 years ago

Original comment by javier.barreiro@gmail.com on 11 Aug 2009 at 12:43

GoogleCodeExporter commented 9 years ago 
method invocations are not allowed in predicates, but this operation is, how 
about introducing "<-" for 
setBaseDomain()?

Original comment by javier.barreiro@gmail.com on 11 Aug 2009 at 6:20

GoogleCodeExporter commented 9 years ago

Original comment by javier.barreiro@gmail.com on 22 Nov 2010 at 10:29