boomerang.solver

Class StatementBasedCallTransitionListener<W extends Weight>

java.lang.Object

boomerang.solver.StatementBasedCallTransitionListener<W>

All Implemented Interfaces:

WPAUpdateListener<Statement,INode<Val>,W>

public abstract class StatementBasedCallTransitionListener<W extends Weight>
extends Object
implements WPAUpdateListener<Statement,INode<Val>,W>

Constructor Summary

Constructors

Constructor and Description
StatementBasedCallTransitionListener(Statement stmt)

Method Summary

Modifier and Type	Method and Description
boolean	equals(Object obj)
Statement	getStmt()
int	hashCode()
abstract void	onAddedTransition(Transition<Statement,INode<Val>> t, W w)
void	onWeightAdded(Transition<Statement,INode<Val>> t, W w, WeightedPAutomaton<Statement,INode<Val>,W> aut)

Methods inherited from class java.lang.Object

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

Constructor Detail

StatementBasedCallTransitionListener

public StatementBasedCallTransitionListener(Statement stmt)

Method Detail

getStmt

public Statement getStmt()

onWeightAdded

public void onWeightAdded(Transition<Statement,INode<Val>> t,
                          W w,
                          WeightedPAutomaton<Statement,INode<Val>,W> aut)

Specified by:

onWeightAdded in interface WPAUpdateListener<Statement,INode<Val>,W extends Weight>

onAddedTransition

public abstract void onAddedTransition(Transition<Statement,INode<Val>> t,
                                       W w)

hashCode

public int hashCode()

Overrides:

hashCode in class Object

equals

public boolean equals(Object obj)

Overrides:

equals in class Object