The PRISM Language /

PRISM Language Files

Files containing model descriptions written in the PRISM language can contain any amount of white space (spaces, tabs, new lines, etc.), all of which is ignored when the file is parsed by the tool. Comments can also be used included in files in the style of the C programming language, by preceding them with the characters //. This is illustrated by the PRISM language examples from earlier in this section. By convention, PRISM model files which describe MDPs, DTMCs and CTMCs are given the extensions .nm, .pm and .sm, respectively.

PRISM Manual

The PRISM Language

[ View all ]