diff --git a/prism/src/prism/Prism.java b/prism/src/prism/Prism.java index df56f916..0d37dccc 100644 --- a/prism/src/prism/Prism.java +++ b/prism/src/prism/Prism.java @@ -1199,7 +1199,7 @@ public class Prism implements PrismSettingsListener { exportTransToFile(model, ordered, exportType, file); } /** - * Export a model's transition matrix to a file + * Export a model's transition matrix to a file (or to the log) * @param model The model * @param ordered Ensure that (source) states are in ascending order? * @param exportType Type of export; one of: - * @param file File to export to + * @param file File to export to (if null, print to the log instead) */ public void exportTransToFile(Model model, boolean ordered, int exportType, File file) throws FileNotFoundException, PrismException {