search

ftsrg / gamma

An Eclipse-based modeling framework for the component-based design and analysis of reactive systems
http://gamma.inf.mit.bme.hu
30 stars 25 forks source link

Optimize variables created by VariableDeclarationStatement #28

Closed benedekh closed 3 years ago

benedekh commented 3 years ago

There are several cases, when variables created by VariableDeclarationStatements could be optimized. They could be inlined into other statements or expressions, therefore eliminating the duplicate variables and reducing the state-space complexity (the complexity of checking their values), esp. in UPPAAL.

grbeni commented 3 years ago

Some optimization algorithms have been introduced. Nevertheless, this issue will pose lesser problems after local variables get introduced in XSTS.

grbeni commented 3 years ago

Local variables have been introduced in 9bb66588a6c27a45181e85bdabaaf91c74d1af57, the optimization problem should pose lesser challenges (or maybe none at all) now as Theta can handle these variables "internally".