Configuration (pushdown 1.1 API)

java.lang.Object
- de.breakpointsec.pushdown.Configuration<Location,State>

public class Configuration<Location,State>
extends Object

- Constructor Summary
  
  Constructors
  Constructor Description
  
  Configuration(Location location, State state)
- Method Summary
  
  All Methods Instance Methods Concrete Methods
  Modifier and Type Method Description
  
  boolean equals(Object obj)
  
  int hashCode()
  - Methods inherited from class java.lang.Object
    clone, finalize, getClass, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

Configuration

public Configuration(Location location,
                     State state)

Method Detail
- hashCode
```
public int hashCode()
```
  Overrides:
  
  hashCode in class Object
- equals
```
public boolean equals(Object obj)
```
  Overrides:
  
  equals in class Object