boomerang.weights

Class MinDistanceWeightFunctions

java.lang.Object

boomerang.weights.MinDistanceWeightFunctions

All Implemented Interfaces:

sync.pds.solver.WeightFunctions<Statement,Val,Statement,MinDistanceWeight>

public class MinDistanceWeightFunctions
extends Object
implements sync.pds.solver.WeightFunctions<Statement,Val,Statement,MinDistanceWeight>

Constructor Summary

Constructors

Constructor and Description
MinDistanceWeightFunctions()

Method Summary

Modifier and Type	Method and Description
MinDistanceWeight	getOne()
MinDistanceWeight	normal(sync.pds.solver.nodes.Node<Statement,Val> curr, sync.pds.solver.nodes.Node<Statement,Val> succ)
MinDistanceWeight	pop(sync.pds.solver.nodes.Node<Statement,Val> curr)
MinDistanceWeight	push(sync.pds.solver.nodes.Node<Statement,Val> curr, sync.pds.solver.nodes.Node<Statement,Val> succ, Statement callSite)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

MinDistanceWeightFunctions

public MinDistanceWeightFunctions()

Method Detail

push

public MinDistanceWeight push(sync.pds.solver.nodes.Node<Statement,Val> curr,
                              sync.pds.solver.nodes.Node<Statement,Val> succ,
                              Statement callSite)

Specified by:

push in interface sync.pds.solver.WeightFunctions<Statement,Val,Statement,MinDistanceWeight>

normal

public MinDistanceWeight normal(sync.pds.solver.nodes.Node<Statement,Val> curr,
                                sync.pds.solver.nodes.Node<Statement,Val> succ)

Specified by:

normal in interface sync.pds.solver.WeightFunctions<Statement,Val,Statement,MinDistanceWeight>

pop

public MinDistanceWeight pop(sync.pds.solver.nodes.Node<Statement,Val> curr)

Specified by:

pop in interface sync.pds.solver.WeightFunctions<Statement,Val,Statement,MinDistanceWeight>

getOne

public MinDistanceWeight getOne()

Specified by:

getOne in interface sync.pds.solver.WeightFunctions<Statement,Val,Statement,MinDistanceWeight>