NodeWithLocation (synchronizedPDS 3.2.0 API)

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

All Implemented Interfaces:: INode<Node<Stmt,Fact>>, State

public class NodeWithLocation<Stmt,Fact,Location>
extends Object
implements INode<Node<Stmt,Fact>>

Constructor Summary

Constructors
Constructor Description

NodeWithLocation(Stmt stmt, Fact variable, Location loc)

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`boolean`	`equals(Object obj)`
`Node<Stmt,Fact>`	`fact()`
`int`	`hashCode()`
`Location`	`location()`
`String`	`toString()`

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

Constructor Detail

NodeWithLocation

public NodeWithLocation(Stmt stmt,
                        Fact variable,
                        Location loc)

Method Detail
- fact
```
public Node<Stmt,Fact> fact()
```
  Specified by:
  
  fact in interface INode<Stmt>
- location
```
public Location location()
```
- 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