Summary
- GraphPropertyGetter: use only type node IDs for property type cache (ignoring time) (details)
The file was modified | core/plugins/org.eclipse.hawk.epsilon/src/org/eclipse/hawk/epsilon/emc/pgetters/GraphPropertyGetter.java |
The file was modified | core/plugins/org.eclipse.hawk.epsilon/src/org/eclipse/hawk/epsilon/emc/pgetters/GraphPropertyGetter.java |