summaryrefslogtreecommitdiff
path: root/interpret
diff options
context:
space:
mode:
authorAlex Auvolat <alex.auvolat@ansys.com>2014-07-30 10:37:28 +0200
committerAlex Auvolat <alex.auvolat@ansys.com>2014-07-30 10:37:28 +0200
commit8bba764aaade1839b62be7c4f24292f8dc85ada8 (patch)
tree1aa5a4b52548de0537f7c621e488d52b63f6af1a /interpret
parent818c737eb01abe1a47894c1fbfc35c3a3af804ef (diff)
downloadscade-analyzer-8bba764aaade1839b62be7c4f24292f8dc85ada8.tar.gz
scade-analyzer-8bba764aaade1839b62be7c4f24292f8dc85ada8.zip
Implement selection of disjunction variables for EDDs.
Next (?) : leaves can store information on evars.
Diffstat (limited to 'interpret')
0 files changed, 0 insertions, 0 deletions