PushNode (synchronizedPDS 3.2.0 API)

java.lang.Object
- sync.pds.solver.nodes.Node<Stmt,Fact>
- - sync.pds.solver.nodes.PushNode<Stmt,Fact,Location>

All Implemented Interfaces:: State

public class PushNode<Stmt,Fact,Location>
extends Node<Stmt,Fact>

Field Summary
- Fields inherited from class sync.pds.solver.nodes.Node
  stmt, variable

Constructor Summary

Constructors
Constructor Description

PushNode(Stmt stmt, Fact variable, 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 sync.pds.solver.nodes.Node
fact, stmt

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

Constructor Detail

PushNode

public PushNode(Stmt stmt,
                Fact variable,
                Location location,
                SyncPDSSolver.PDSSystem system)

Method Detail
- system
```
public SyncPDSSolver.PDSSystem system()
```
- location
```
public Location location()
```
- hashCode
```
public int hashCode()
```
  Overrides:
  
  hashCode in class Node<Stmt,Fact>
- equals
```
public boolean equals(Object obj)
```
  Overrides:
  
  equals in class Node<Stmt,Fact>
- toString
```
public String toString()
```
  Overrides:
  
  toString in class Node<Stmt,Fact>