Added Expression.isFunc() tester method.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@8797 bbc10eb1-c90d-0410-af57-cb519fbb1720
Minor refactor (aligning with something in a branch).

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@8803 bbc10eb1-c90d-0410-af57-cb519fbb1720
Refactor extraction of reward struct from index in R.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@8806 bbc10eb1-c90d-0410-af57-cb519fbb1720
Add ratio reward objectives to the property parser (copied from prism-frac) but no model checking support yet.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@8810 bbc10eb1-c90d-0410-af57-cb519fbb1720
Small refactor for reward construction in explicit model checkers.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@8814 bbc10eb1-c90d-0410-af57-cb519fbb1720
Small refactor for reward construction in other model checkers.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@8819 bbc10eb1-c90d-0410-af57-cb519fbb1720
Slight refactor in launch scripts to ease addition of extra libraries.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@8846 bbc10eb1-c90d-0410-af57-cb519fbb1720
Slight (additional) refactor in launch scripts to ease addition of extra libraries.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@8848 bbc10eb1-c90d-0410-af57-cb519fbb1720
Test mode failure (for wrong result) shows obtained result as well as expected one.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@8850 bbc10eb1-c90d-0410-af57-cb519fbb1720
Remove getTransitionsIterator from NondetModel.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@8861 bbc10eb1-c90d-0410-af57-cb519fbb1720
Bug fix in getSuccessorsIterator(s) in SubNondetModel (showed up as regression test failure in prism-games-heuristics-merge), plus required missing method getSuccessorsIterator(s,i) in NondetModel.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@8935 bbc10eb1-c90d-0410-af57-cb519fbb1720
Change visibility of some classes/methods in the param package to allow use from outside the package.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@8964 bbc10eb1-c90d-0410-af57-cb519fbb1720
Change visibility of some classes/methods in the param package to allow use from outside the package (and fix broken build).

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@9004 bbc10eb1-c90d-0410-af57-cb519fbb1720
Undo accidental part of last commit

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@9005 bbc10eb1-c90d-0410-af57-cb519fbb1720
Amend Makefile to use -encoding UTF8 setting more widely for javac/javah/javadoc (based on reports from SIFT).

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@9007 bbc10eb1-c90d-0410-af57-cb519fbb1720
Merge branch 'master' into develop
Fix infinite recursion in BoxRegionValues.