-
Notifications
You must be signed in to change notification settings - Fork 25
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Inventory all uses of indexing in the examples #3716
Comments
Yes! Thanks Dr. Carette. I will list all existing indexing-related examples in https://jacquescarette.github.io/Drasil/ before our full design. |
I realized that the concept of “indexing” exists in the concrete examples rather than the concrete implementation, should we consider indexing in the general and examples-related data structure? |
I'm not sure what you mean by the above comment? Can you expand on that please? |
I think my comment above misunderstood the intent of your issue, so I want to make sure that what is expected to be done is to find out the use the concept of indexing in the current generated examples like DblPend (including SRS, generated code, generated code doc), that is to describe "where we are" in the application of indexing to the example, right? |
We need to implement data-types that can be indexed (like vectors, matrices, but also lists, arrays, sequences, etc) in a general way. That is the problem to solve. We have current requirements for it, buried in the Drasil code base. This is your project. It is non-trivial, which is why it can be a Master's level project if done correctly and properly. |
I see, thanks for the explanation @JacquesCarette. What we want is a generalized solution. |
Before doing a full design of indexable structures, we should have a list of what already exists in our examples.
The text was updated successfully, but these errors were encountered: