VerboseAction (util 1.6.2 API)

All Known Subinterfaces:

IBinaryNaturalRelation

All Known Implementing Classes:

AbstractFixedPointSolver, BasicNaturalRelation, BitVectorSolver, BooleanSolver, DataflowSolver, DefaultFixedPointSolver
```
public interface VerboseAction
```
An optional interface for data structures that provide a verbose option for debugging purposes.

- Method Summary
  
  All Methods Instance Methods Abstract Methods
  Modifier and Type Method Description
  
  void performVerboseAction()
  optional method used for performance debugging

- Method Detail
  - performVerboseAction
```
void performVerboseAction()
```
    optional method used for performance debugging