From: Ian G. <ip...@cs...> - 2008-06-18 20:44:47
|
On 18 Jun 2008, at 21:39, Gregory Maxwell wrote: > 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. You're right. > > > Is there any plan on changing that Yes. Probably not in the next release but in the one after 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. > Thanks very much! > ------------------------------------------------------------------------- > Check out the new SourceForge.net Marketplace. > It's the best place to buy or sell services for > just about anything Open Source. > http://sourceforge.net/services/buy/index.php > _______________________________________________ > Minion-general mailing list > Min...@li... > https://lists.sourceforge.net/lists/listinfo/minion-general -- Ian Gent School of Computer Science, University of St Andrews, St Andrews, Fife, UK, KY15 9SX http://www.cs.st-and.ac.uk/~ipg. +44 1334 463247. ip...@cs... The University of St Andrews is a charity registered in Scotland : No SC013532 |