search

mlaveaux / mCRL2-rust

A rust wrapper for the library functionality of the mCRL2 toolset
https://mlaveaux.github.io/mCRL2-rust/
Boost Software License 1.0
0 stars 0 forks source link

Positions for DataExpression should be indexed consistent with the theory. #2

Open mlaveaux opened 4 months ago

mlaveaux commented 4 months ago

Currently DataApplication inherits from ATerm and thus positions start at index 2 because index 1 contains the function that is being applied. This is not consistent and as such it would be nicer to have a DataPosition iterator, or even decide to implement positions only for DataExpression.