Open GoogleCodeExporter opened 9 years ago
One workaround for temporary variables is to use logic variables. These are
variables output by a single method in a single constraint, much like output or
invariant variables. The semantics of placing them in a logic section is that
they represent a subexpression.
However, this will not work for subexpressions involved in a self-loop, as it
will turn the self-loop into a multi-constraint loop, prohibiting solution of
the system.
Original comment by jfreema...@gmail.com
on 15 Feb 2011 at 10:06
Now that we've switched to The JavaScript Way, this is no longer a priority.
Original comment by jfreema...@gmail.com
on 29 Feb 2012 at 10:35
Original issue reported on code.google.com by
jfreema...@gmail.com
on 15 Feb 2011 at 9:04