PopNode (synchronizedPDS 3.2.0 API)

java.lang.Object
- sync.pds.solver.nodes.PopNode<Location>

All Implemented Interfaces:: State

Direct Known Subclasses:: CallPopNode

public class PopNode<Location>
extends Object
implements State

Constructor Summary

Constructors
Constructor Description

PopNode(Location location, SyncPDSSolver.PDSSystem system)

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`boolean`	`equals(Object obj)`
`int`	`hashCode()`
`Location`	`location()`
`SyncPDSSolver.PDSSystem`	`system()`
`String`	`toString()`

Methods inherited from class java.lang.Object
clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

PopNode

public PopNode(Location location,
               SyncPDSSolver.PDSSystem system)

Method Detail

system

public SyncPDSSolver.PDSSystem system()

hashCode
```
public int hashCode()
```
Overrides:

hashCode in class Object

equals
```
public boolean equals(Object obj)
```
Overrides:

equals in class Object

location
```
public Location location()
```

toString
```
public String toString()
```
Overrides:

toString in class Object