BBEditDocumentType CodelessLanguageModule BBLMLanguageDisplayName PRISM BBLMLanguageCode PRIS BBLMColorsSyntax BBLMScansFunctions BBLMIsCaseSensitive BBLMKeywordList bool C ceil const ctmc double dtmc endinit endmodule endrewards endsystem F false floor formula func G global I init int label max mdp min module nondeterministic P Pmax Pmin prob probabilistic R rate rewards Rmax Rmin S stochastic system true U X BBLMSuffixMap BBLMLanguageSuffix .prism BBLMLanguageSuffix .pm BBLMLanguageSuffix .nm BBLMLanguageSuffix .sm BBLMLanguageSuffix .props BBLMLanguageSuffix .pctl BBLMLanguageSuffix .csl Language Features Open Line Comments // Identifier and Keyword Characters 0123456789ABCDEFGHIJKLMNOPQRSTUVWXYZ_abcdefghijklmnopqrstuvwxyz