LoopSummary (lisa-analyses 0.1 API)

java.lang.Object
- it.unive.lisa.analysis.traces.TraceToken
- - it.unive.lisa.analysis.traces.LoopSummary

```
public class LoopSummary
extends TraceToken
```
A TraceToken representing the traversal of a loop condition, summarizing all possible iterations.

- Constructor Summary
  
  Constructors
  Constructor Description
  
  LoopSummary(it.unive.lisa.program.cfg.ProgramPoint pp)
  Builds the summary.
- Method Summary
  
  All Methods Instance Methods Concrete Methods
  Modifier and Type Method Description
  
  boolean equals(java.lang.Object obj)
  
  int hashCode()
  
  java.lang.String toString()
  - Methods inherited from class it.unive.lisa.analysis.traces.TraceToken
    getProgramPoint
  - Methods inherited from class java.lang.Object
    clone, finalize, getClass, notify, notifyAll, wait, wait, wait

- Constructor Detail
  - LoopSummary
```
public LoopSummary(it.unive.lisa.program.cfg.ProgramPoint pp)
```
    Builds the summary.
    
    Parameters:
    
    pp - the program point associated with the summary
- Method Detail
  - hashCode
```
public int hashCode()
```
    Overrides:
    
    hashCode in class TraceToken
  - equals
```
public boolean equals(java.lang.Object obj)
```
    Overrides:
    
    equals in class TraceToken
  - toString
```
public java.lang.String toString()
```
    Overrides:
    
    toString in class TraceToken