OneWeightFunctions (synchronizedPDS 3.2.0 API)

java.lang.Object
- sync.pds.solver.OneWeightFunctions<Stmt,Fact,Field,W>

All Implemented Interfaces:: WeightFunctions<Stmt,Fact,Field,W>

public class OneWeightFunctions<Stmt,Fact,Field,W extends Weight>
extends Object
implements WeightFunctions<Stmt,Fact,Field,W>

Constructor Summary

Constructors
Constructor Description

OneWeightFunctions(W one)

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`W`	`getOne()`
`W`	`normal(Node<Stmt,Fact> curr, Node<Stmt,Fact> succ)`
`W`	`pop(Node<Stmt,Fact> curr)`
`W`	`push(Node<Stmt,Fact> curr, Node<Stmt,Fact> succ, Field field)`

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

- Constructor Detail
  - OneWeightFunctions
```
public OneWeightFunctions(W one)
```
- Method Detail
  - push
```
public W push(Node<Stmt,Fact> curr,
              Node<Stmt,Fact> succ,
              Field field)
```
    Specified by:
    
    push in interface WeightFunctions<Stmt,Fact,Field,W extends Weight>
  - normal
```
public W normal(Node<Stmt,Fact> curr,
                Node<Stmt,Fact> succ)
```
    Specified by:
    
    normal in interface WeightFunctions<Stmt,Fact,Field,W extends Weight>
  - pop
```
public W pop(Node<Stmt,Fact> curr)
```
    Specified by:
    
    pop in interface WeightFunctions<Stmt,Fact,Field,W extends Weight>
  - getOne
```
public W getOne()
```
    Specified by:
    
    getOne in interface WeightFunctions<Stmt,Fact,Field,W extends Weight>