search

habtom / factum

Architectural Design Constraints Specification and Verification
GNU General Public License v3.0
1 stars 1 forks source link

Generate Code for predicates based on variable status declared #12

Open habtom opened 6 years ago

habtom commented 6 years ago

assuming C1 is rigid and C2 flex the code would look like - "ca (\c. \C1. C1 = C2 )"

dmarmsoler commented 5 years ago

maybe we can get rid of flexible variables since they seem to be only a special case of rigid ones.