InvariantInfo

Object
- InvariantInfo

```
public class InvariantInfo
extends Object
```
Container class for holding all info needed to describe an Invariant. If any field is null, that field is a wildcard, so one instance of InvariantInfo may describe multiple Invariants in that way.

Constructor Summary

Constructors
Constructor Description

InvariantInfo(String ppt, @Nullable String vars, @Nullable String className)

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`@Nullable String`	`className()`
`String`	`ppt()`
`@Nullable List<String>`	`var_permutations()`	Returns a list of Strings of all permutations of the vars, or null if vars == null.
`@Nullable String`	`vars()`

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

- Constructor Detail
  - InvariantInfo
```
public InvariantInfo(String ppt,
                     @Nullable String vars,
                     @Nullable String className)
```
- Method Detail
  - ppt
```
public String ppt()
```
  - className
```
@Pure
public @Nullable String className()
```
  - vars
```
public @Nullable String vars()
```
  - var_permutations
```
public @Nullable List<String> var_permutations()
```
    Returns a list of Strings of all permutations of the vars, or null if vars == null.
    e.g., if vars is "var1,var2,var3", this method will return ["var1,var2,var3", "var1,var3,var2", "var2,var1,var3"... etc.]
    
    Returns:
    
    a list of Strings of all permutations of the vars, or null if vars == null