diff options
| author |  MichalMoskal <unknown> | 2010-11-06 01:21:11 +0000 |
|---|---|---|
| committer | MichalMoskal <unknown> | 2010-11-06 01:21:11 +0000 |
| commit | 6f9978cce118489f6f76d8c08321bae2b599d4e1 (patch) | |
| tree | 4aacec933d45ce6cda817f76be9521da98135c52 /Source/ModelViewer/DataModel.cs | |
| parent | 2538b1f5708027a85b9a3857d94c9d53648bcc3b (diff) | |
Add find find uses and find aliases facilities
Diffstat (limited to 'Source/ModelViewer/DataModel.cs')
| -rw-r--r-- | Source/ModelViewer/DataModel.cs | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/Source/ModelViewer/DataModel.cs b/Source/ModelViewer/DataModel.cs index 5fedf732..33211ef3 100644 --- a/Source/ModelViewer/DataModel.cs +++ b/Source/ModelViewer/DataModel.cs @@ -15,6 +15,8 @@ namespace Microsoft.Boogie.ModelViewer {
string CanonicalName(Model.Element elt);
+ Model.Element FindElement(string canonicalName);
+
string PathName(IEnumerable<IDisplayNode> path);
IEnumerable<IState> States { get; }
|