From 04d348fabdf390eda8fe09dee21cf3a2b30551dc Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Mon, 7 Dec 2015 20:48:20 +0000
Subject: [PATCH] Commenting in ExpressionFilter operators. [from Steffen
 Marcker]

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@11013 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/src/parser/ast/ExpressionFilter.java | 58 +++++++++++++++++++++-
 1 file changed, 56 insertions(+), 2 deletions(-)

diff --git a/prism/src/parser/ast/ExpressionFilter.java b/prism/src/parser/ast/ExpressionFilter.java
index 42ee6ebc..f658b636 100644
--- a/prism/src/parser/ast/ExpressionFilter.java
+++ b/prism/src/parser/ast/ExpressionFilter.java
@@ -33,9 +33,63 @@ import prism.PrismLangException;
 
 public class ExpressionFilter extends Expression
 {
-	// Enums for  types of filter
 	public enum FilterOperator {
-		MIN, MAX, ARGMIN, ARGMAX, COUNT, SUM, AVG, FIRST, RANGE, FORALL, EXISTS, PRINT, PRINTALL, STATE;
+		/**
+		 * minimum value of prop over all filter states
+		 */
+		MIN,
+		/**
+		 * maximum value of prop over all filter states
+		 */
+		MAX,
+		/**
+		 * true for the filter states that yield the minimum value of prop
+		 */
+		ARGMIN,
+		/**
+		 * true for the filter states that yield the maximum value of prop
+		 */
+		ARGMAX,
+		/**
+		 * number of filter states for which prop is true
+		 */
+		COUNT,
+		/**
+		 * sum of the value of prop for all filter states
+		 */
+		SUM,
+		/**
+		 * average of the value of prop over all filter states
+		 */
+		AVG,
+		/**
+		 * value of prop for the first (lowest-indexed) filter state
+		 */
+		FIRST,
+		/**
+		 * range (interval) of values of prop over all filter states
+		 */
+		RANGE,
+		/**
+		 * true iff prop is true for all filter states
+		 */
+		FORALL,
+		/**
+		 * true iff prop is true for some filter states
+		 */
+		EXISTS,
+		/**
+		 * print the (non-zero) values to the log
+		 */
+		PRINT,
+		/**
+		 * print all (including zero) values to the log
+		 */
+		PRINTALL,
+		/**
+		 * value for the single filter state (if there is more than one, this is an error)
+		 */
+		STATE;
 	};
 
 	// Operator used in filter