API documentation

[Niccolò Bellaccini]

is there anywhere a documentation of the PRISM API? In particular I'm looking for the classes ModulesFile, Prism, Expression, Update and Updates.

[Dave Parker]

Hi Niccolò,

> is there anywhere a documentation of the PRISM API? In particular I'm
> looking for the classes ModulesFile, Prism, Expression, Update and Updates.

These classes are mainly just documented by the JavaDoc, I'm afraid.
Although we're also gradually adding more examples of API usage here:

https://github.com/prismmodelchecker/prism-api

You're also welcome to ask questions, although these would be better
sent to the developers' list than this one:

https://groups.google.com/forum/#!forum/prismmodelchecker-dev

Best wishes,

Dave