ExclusionNode (synchronizedPDS 3.2.0 API)

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

All Implemented Interfaces:: State

public class ExclusionNode<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
  
  ExclusionNode(Stmt stmt, Fact variable, Location exclusion)
- Method Summary
  
  All Methods Instance Methods Concrete Methods
  Modifier and Type Method Description
  
  boolean equals(Object obj)
  
  Location exclusion()
  
  int hashCode()
  - Methods inherited from class sync.pds.solver.nodes.Node
    fact, stmt, toString
  - Methods inherited from class java.lang.Object
    clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

ExclusionNode

public ExclusionNode(Stmt stmt,
                     Fact variable,
                     Location exclusion)

Method Detail
- hashCode
```
public int hashCode()
```
  Overrides:
  
  hashCode in class Node<Stmt,Fact>
- equals
```
public boolean equals(Object obj)
```
  Overrides:
  
  equals in class Node<Stmt,Fact>
- exclusion
```
public Location exclusion()
```