```
public final class DiscardInfo
extends Object
```
A class used for holding a DiscardCode and a string that contains more detailed information about why an Invariant was discarded, as well as the classname and what would be returned by the Invariant's format() method.

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`void`	`add_implied(String reason)`	Adds the specified string as an additional reason.
`void`	`add_implied_vis(VarInfo[] vis)`	Adds an equality string to the discardString for each variable in in vis which is different from the leader.
`@ClassGetName String`	`className()`
`DiscardCode`	`discardCode()`
`String`	`discardFormat()`
`String`	`discardString()`
`String`	`format()`

public DiscardInfo(Invariant inv,
                   DiscardCode discardCode,
                   String discardString)

public @ClassGetName String className()

@SideEffectFree
public String format()

add_implied
```
public void add_implied(String reason)
```
Adds the specified string as an additional reason.

add_implied_vis
```
public void add_implied_vis(VarInfo[] vis)
```
Adds an equality string to the discardString for each variable in in vis which is different from the leader.

Class DiscardInfo