ITypingStrategy (Soot - a J*va Optimization Framework 4.6.0 API)

All Known Implementing Classes:

DefaultTypingStrategy
```
public interface ITypingStrategy
```
Provides a way to use different was to create and minimize Typings.

Author:

Marc Miltenberger

Method Summary

All Methods Instance Methods Abstract Methods
Modifier and Type	Method	Description
`Typing`	`createTyping(Typing tg)`	Creates a new typing class as a copy from a given class
`Typing`	`createTyping(Chain<Local> locals)`	Creates a new `Typing` class instance with initialized bottom types for the given locals
`void`	`finalizeTypes(Typing tp)`	Finalizes the given types, i.e., converts intermediate types such as [0..1] to final types such as `boolean`.
`void`	`minimize(List<Typing> tgs, IHierarchy h)`	Minimize the given typing list using the hierarchy

- Method Detail
  - createTyping
```
Typing createTyping(Chain<Local> locals)
```
    Creates a new Typing class instance with initialized bottom types for the given locals
    
    Parameters:
    
    locals - the locals
    
    Returns:
    
    the Typing
  - createTyping
```
Typing createTyping(Typing tg)
```
    Creates a new typing class as a copy from a given class
    
    Parameters:
    
    tg - the existing Typing
    
    Returns:
    
    the new Typing
  - minimize
```
void minimize(List<Typing> tgs,
              IHierarchy h)
```
    Minimize the given typing list using the hierarchy
    
    Parameters:
    
    tgs - the Typing list
    
    h - the hierarchy
  - finalizeTypes
```
void finalizeTypes(Typing tp)
```
    Finalizes the given types, i.e., converts intermediate types such as [0..1] to final types such as boolean.
    
    Parameters:
    
    tp - The typing to finalize