Quantify.ESCQuantification

Object
- ESCQuantification

Enclosing class:

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

Constructor Summary

Constructors
Constructor Description

ESCQuantification(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_quantification()`	Returns the quantification string.

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

- Constructor Detail
  - ESCQuantification
```
public ESCQuantification(EnumSet<Quantify.QuantFlags> flags,
                         VarInfo... vars)
```
- Method Detail
  - get_quantification
```
public String get_quantification()
```
    Returns the quantification string. For example, if there is one array variable (a[]) that is not a slice, it will return
    '(\forall int i; (0 <= i <= size(a[]) ==> '
  - 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.b[]' and the index is 'i', returns a.b[i].