Class Quantifier

src/main/java/wyil/lang/WyilFile.java:3001–3034

Represents an abstract quantified expression of the form " forall(T v1, ... T vn).e " or " exists(T v1, ... T vn).e " where T1 v1 ... Tn vn are the quantified variable declarations and e is the body. @author David J. Pearce

		 *
		 */
		public abstract static class Quantifier extends AbstractItem implements Expr, UnaryOperator {
			public Quantifier(int opcode, Decl.StaticVariable[] parameters, Expr body) {
				super(opcode, new Tuple<>(parameters), body);
			}

			public Quantifier(int opcode, Tuple<Decl.StaticVariable> parameters, Expr body) {
				super(opcode, parameters, body);
			}

			@Override
			public Type getType() {
				return Type.Bool;
			}

			@Override
			public void setType(Type type) {
				if(!type.equals(Type.Bool)) {
					throw new IllegalArgumentException();
				}
			}

			@SuppressWarnings("unchecked")
			public Tuple<Decl.StaticVariable> getParameters() {
				return (Tuple<Decl.StaticVariable>) get(0);
			}

			@Override
			public Expr getOperand() {
				return (Expr) get(1);
			}

			@Override
			public abstract Expr clone(Syntactic.Item[] operands);
		}

		/**
		 * Represents an unbounded universally quantified expression of the form