tree 21badc6aec55d7150ecd2b565624ba1975f12e5e
parent 4a9138de36a0065b50045acc8782baac51f923e2
author Alberto Debiasi <adebiasi@fbk.eu> 1573220992 +0100
committer Alberto Debiasi <adebiasi@fbk.eu> 1584525277 +0100

Rename getEnumerationsInOrder, add isStateEnumType in CHESS model

Change-Id: Ib2ebb25633ebbaef8a5a3e329b6d75cae70f9a96