```
public class Quantify
extends Object
```
Helper classes for quantification for various output formats.

Nested Classes
Modifier and Type	Class	Description
`static class`	`Quantify.Constant`	Represents a constant integer.
`static class`	`Quantify.ESCQuantification`	Class that represents an ESC quantification over one or two variables.
`static class`	`Quantify.FreeVar`	Free variable normally used for quantification.
`static class`	`Quantify.Length`	Represents the length of a sequence and an optional offset.
`static class`	`Quantify.QuantFlags`	Flags describing how quantifications are to be built.
`static class`	`Quantify.QuantifyReturn`
`static class`	`Quantify.SimplifyQuantification`	Class that represents an Simplify quantification over one or two variables.
`static class`	`Quantify.Term`	Class the represents terms that can be used in variable expressions.
`static class`	`Quantify.VarPlusOffset`	Represents a Daikon variable with an optional integer offset.

All Methods Static Methods Concrete Methods
Modifier and Type	Method	Description
`static EnumSet<Quantify.QuantFlags>`	`get_flags(boolean elementwise)`	Returns a set with ELEMENT_WISE turned on if specified.
`static Quantify.QuantifyReturn[]`	`quantify(VarInfo[] vars)`	Given a list of sequences, determines a free variable that can be used as a subscript for each sequence.

Class Quantify