Node (synchronizedPDS 3.2.0 API)

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

All Implemented Interfaces:

State

Direct Known Subclasses:

ExclusionNode, PushNode
```
public class Node<Stmt,Fact>
extends Object
implements State
```

Field Summary

Fields
Modifier and Type Field Description

protected Stmt stmt

protected Fact variable

Constructor Summary

Constructors
Constructor Description

Node(Stmt stmt, Fact variable)

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`boolean`	`equals(Object obj)`
`Fact`	`fact()`
`int`	`hashCode()`
`Stmt`	`stmt()`
`String`	`toString()`

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

Field Detail

stmt
```
protected final Stmt stmt
```

variable
```
protected final Fact variable
```

Constructor Detail

Node

public Node(Stmt stmt,
            Fact variable)

Method Detail

stmt
```
public Stmt stmt()
```

fact
```
public Fact fact()
```

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

hashCode in class Object

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

equals in class Object

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

toString in class Object