gchabert
commented
3 years ago My advice is to use mutable constants. It's unfortunately not documented yet, but this is what best fits your problem. Just add a star below the constant declaration in the Minibex file, e.g.,
constants
* x = 1; // ---> mutable constant
y = 2; // regular constantThe constant is then accessible in c++ and can be dynamically changed, see the System::constant(char*) function. But be aware that a mutable constant also hinders the simplification process (so to be used with parsimony). Hope it will solve your problem.
eparrott
Hello,
I was just wondering if it was possible to get some additional clarification (beyond what's already contained in the documentation) on how exactly passing bitsets to contractors for a system is supposed to work. I have a minibex system to which I need to pass a fair number of parameters as variables, however I only want to contract a small subset of these and treat the others essentially as constants (I can't just define them as constants, however, as I need to be able to modify their values from outside the system). It seems like making the distinction of which parameters to contract should be easily doable with the bitset feature, but I'm struggling to figure out how to implement it using the generic contractors. Any guidance would be greatly appreciated!