Package daikon
Class VarInfoName.QuantHelper.QuantifyReturn
- Object
-
- QuantifyReturn
-
- Enclosing class:
- VarInfoName.QuantHelper
public static class VarInfoName.QuantHelper.QuantifyReturn extends Object
Record type for return value of the quantify method below.
-
-
Field Summary
Fields Modifier and Type Field Description List<@Interned VarInfoName[]>
bound_vars
@Interned VarInfoName[]
root_primes
-
Constructor Summary
Constructors Constructor Description QuantifyReturn()
-
-
-
Field Detail
-
root_primes
public @Interned VarInfoName[] root_primes
-
bound_vars
public List<@Interned VarInfoName[]> bound_vars
-
-
Constructor Detail
-
QuantifyReturn
public QuantifyReturn()
-
-