[Minion-general] occurrence can't take a variable as the second argument

[Gregory M. <gma...@gm...>]

The online docs
(http://minion.sourceforge.net/htmlhelp/constraints_occurrence.html)
should probably be updated to note that occurrence() can't take a
variable as the second argument.

Is there any plan on changing that, ... or less ideally making it
reifiable (I could get the behavior I want by reifying a copy of the
static case for each possible value in the domain)?   I can get the
constraint I want indirectly using aliases, dummy variables,  and
watchelement but it gets ugly quickly.  Alternatively useful would be
a constraint that holds a variable equal to the number of occurrences
of a value in a vector.

Incidentally, since this is my first post here,  I want to say that I
think minion is fantastic software. It's allowed me to explore an
number of interesting problems which would have taken too much work
otherwise.  I like the configuration file format and have found it to
be quite easy to learn to use, both directly and by writing
meta-programs that generate input for minion.