Package sync.pds.solver

Interface WeightFunctions<Stmt,Fact,Field,W extends Weight>

All Known Implementing Classes:

OneWeightFunctions

public interface WeightFunctions<Stmt,Fact,Field,W extends Weight>

Method Summary

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)

Method Detail

push

W push(Node<Stmt,Fact> curr,
       Node<Stmt,Fact> succ,
       Field field)

normal

W normal(Node<Stmt,Fact> curr,
         Node<Stmt,Fact> succ)

pop

W pop(Node<Stmt,Fact> curr)

getOne

W getOne()