This issue tracker is closed. Please visit UPPAAL issue tracker at Github instead.

Bug 677 - Array not unfolded in strategy when using statevars and pointvars
Summary: Array not unfolded in strategy when using statevars and pointvars
Status: NEW
Alias: None
Product: UPPAAL Stratego
Classification: Unclassified
Component: Engine (show other bugs)
Version: unspecified
Hardware: PC Linux
: P5 major
Assignee: Peter Gjøl Jensen
URL:
Depends on:
Blocks:
 
Reported: 2020-04-27 11:49 CEST by Martin Kristjansen
Modified: 2020-04-28 11:53 CEST (History)
0 users

See Also:
Architecture:


Attachments
Model using pointvars and statevars (14.89 KB, text/xml)
2020-04-27 11:49 CEST, Martin Kristjansen
Details

Note You need to log in before you can comment on or make changes to this bug.
Description Martin Kristjansen 2020-04-27 11:49:03 CEST
Created attachment 343 [details]
Model using pointvars and statevars

This by using the Strategy-8-beta3 branch.
I make use of pointvars and statevars in the strategy synthesis.


I have an array called T_learn. This is a double array with 11 elements.
The idea is that I can write {statevars}->{T_learn} as part of the strategy synthesis query, such that the array T_learn is unfolded behind the scenes. Otherwise, I should write {T_learn[0],...,T_learn[10]}.

However, the resulting strategy only has 1 pointvar instead of 11 pointvars. Whether or not it affects the strategy learned I cannot tell. But if I unfold the array myself in the query, I get a strategy with different behaviour.

Model is attached with both queries.
Comment 1 Marius Mikučionis 2020-04-28 11:53:37 CEST
Hi Peter,
Can I assign this report to you?