Skip to content
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.

Sign up for GitHub

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

Jump to bottom

VAMPIRE: Integrate Initial Instance Model Handling #40

Open
ArenBabikian opened this issue Apr 15, 2019 · 3 comments
Open

VAMPIRE: Integrate Initial Instance Model Handling #40

ArenBabikian opened this issue Apr 15, 2019 · 3 comments
Assignees
@ArenBabikian
Labels
enhancement

Comments

@ArenBabikian
Copy link
Collaborator

Particularly, specify initial instance model handling while maintaining handling of enums.
@ArenBabikian ArenBabikian self-assigned this Apr 15, 2019
@ArenBabikian
Copy link
Collaborator Author

ArenBabikian commented Apr 24, 2019 •
edited
Loading

  1. total# of elems in scope = value_in_config - # elements in initial model
  2. Similar structure for specific type scopes
  3. consider case where the top-lvl-elem is in initial model
  4. Must consider RelationDefinitions
  5. Do we assume that initial models are well formed? For example, can we assume that initial models have one and only one root element?

ArenBabikian added a commit that referenced this issue Apr 24, 2019
@ArenBabikian
VAMPIRE: add to #40. I am tired
515d94e
@ArenBabikian
Copy link
Collaborator Author

ArenBabikian commented Apr 24, 2019 •
edited
Loading

Points 1, 2, 4 remain. 4 is long-term.
Also, I should test with other examples.

ArenBabikian added a commit that referenced this issue Apr 24, 2019
@ArenBabikian
VAMPIRE : initial model handling almost done. only typeScope remains #40
8af821e
ArenBabikian added a commit that referenced this issue Apr 25, 2019
@ArenBabikian
VAMPIRE: fixed MANY bugs in containment and scope. #40 is good for now
9f743fd
@ArenBabikian
Copy link
Collaborator Author

Still need to think about points 4 and 5. Currently, this issue is not problematic and provides positive results.

ArenBabikian added a commit that referenced this issue Jun 8, 2020
@ArenBabikian
VAMPIRE: add to #40. I am tired
13cb6b3
ArenBabikian added a commit that referenced this issue Jun 8, 2020
@ArenBabikian
VAMPIRE : initial model handling almost done. only typeScope remains #40
06b2801
ArenBabikian added a commit that referenced this issue Jun 8, 2020
@ArenBabikian
VAMPIRE: fixed MANY bugs in containment and scope. #40 is good for now
598daf4
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@ArenBabikian ArenBabikian

Labels
enhancement
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@ArenBabikian