BoiseState-AdaptLab / IEGenLib

Inspector/Executor Generation Library for manipulating sets and relations with uninterpreted function symbols.
BSD 2-Clause "Simplified" License
2 stars 4 forks source link

Data spaces in iteration spaces #134

Open Aaron3154518 opened 3 years ago

Aaron3154518 commented 3 years ago

Iteration spaces should only hold constants and iterators, neither of which require "$". Sometimes, constants are also data spaces, one case being they are passed in as parameters (Spline_length for example). These constants still need to be recognized as data spaces, specifically when generating phi nodes. Currently, we do that by putting "$" around them, which iegenlib does not like. We then strip those "$" before calling any Set functions. This is a poor solution.

Issues:

macdonaldlowe commented 3 years ago

Temporary fix for find segment if statement is not having the [i] and [i+1] for x_vals Source code : if($x$ >= $x_vals$[i] && $x$ <= $x_vals$[i+1]) $prev$ = i; Current Fix(in constraints) : {[i]: i>=0 && i<$length$-1 && $x$ >= $x_vals$ && $x$ <= $x_vals$}