[Rodin-b-sharp-devel] IProofCommand and concurrency

[Matthias S. <Mat...@in...>]

Dear list,

I implemented an instance of IProofCommand and am now trying to 
eliminate race conditions.

Is it possible that the objects referenced by IUserSupport are modified 
concurrently during execution of apply?
Is it possible that the objects referenced by IUserSupport are modified 
between execution of isApplicable and apply?

Thanks for your help,
Matthias