Browse Source

Change to Prism.java API: it now retains info about the model for later use. In particular, explicit building of the model and then passing the model back in is not required. Model building is done as needed. The old API is also retained (more or less), implemented using the new one. Also, major tidying and commenting in PRISM class.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@4527 bbc10eb1-c90d-0410-af57-cb519fbb1720

master

Dave Parker 14 years ago

parent

53a05282fa

commit

9cbb2afe2b

1 changed files with 1220 additions and 605 deletions

Whitespace

Show all changes Ignore whitespace when comparing lines Ignore changes in amount of whitespace Ignore changes in whitespace at EOL

Split View

Diff Options

Show Stats Download Patch File Download Diff File

1. 1291
     prism/src/prism/Prism.java

1291

prism/src/prism/Prism.java

File diff suppressed because it is too large

View File

Write Preview

Loading…

Cancel

Save