Inspector/Executor Generation Library for manipulating sets and relations with uninterpreted function symbols.
BSD 2-Clause "Simplified" License
2
stars
4
forks
source link
Handling Structs, Classes, and User Defined Types #144
Open
macdonaldlowe opened 3 years ago
Our current solution is to flatten structs and classes. This done manually for our representation of GeoAc and miniFluxDiv.
For spf-ie it would either do the flattening manually or tell the user they must do the flattening.