Quantify.SimplifyQuantification

Object
- SimplifyQuantification

Enclosing class:

Quantify
```
public static class Quantify.SimplifyQuantification
extends Object
```
Class that represents an Simplify quantification over one or two variables.

Constructor Summary

Constructors
Constructor Description

SimplifyQuantification(EnumSet<Quantify.QuantFlags> flags, VarInfo... vars)

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`String`	`get_arr_vars_indexed(int num)`	Returns the specified array variable indexed by its index.
`String`	`get_closer()`	Returns the string to be appended to the end of the quantification.
`String`	`get_index(int num)`	Returns the term at the specified index.
`String`	`get_quantification()`	Returns the quantification string that quantifies over each of the free variables.

Methods inherited from class Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

- Constructor Detail
  - SimplifyQuantification
```
public SimplifyQuantification(EnumSet<Quantify.QuantFlags> flags,
                              VarInfo... vars)
```
- Method Detail
  - get_quantification
```
public String get_quantification()
```
    Returns the quantification string that quantifies over each of the free variables.
  - get_arr_vars_indexed
```
public String get_arr_vars_indexed(int num)
```
    Returns the specified array variable indexed by its index. For example, if the array variable is 'a[]' and the index is 'i', returns 'select i a'.
  - get_index
```
public String get_index(int num)
```
    Returns the term at the specified index.
    
    Parameters:
    
    num - the term's index
    
    Returns:
    
    the term at the specified index
  - get_closer
```
public String get_closer()
```
    Returns the string to be appended to the end of the quantification.