Package sync.pds.solver

Interface WitnessListener<Stmt extends Location,Fact,Field extends Location>

public interface WitnessListener<Stmt extends Location,Fact,Field extends Location>

Method Summary

Modifier and Type	Method	Description
void	callWitness(Transition<Stmt,INode<Fact>> t)
void	fieldWitness(Transition<Field,INode<Node<Stmt,Fact>>> transition)

Method Detail

fieldWitness

void fieldWitness(Transition<Field,INode<Node<Stmt,Fact>>> transition)

callWitness

void callWitness(Transition<Stmt,INode<Fact>> t)