boomerang

Class UnbalancedPopHandler<W extends Weight>

java.lang.Object

boomerang.UnbalancedPopHandler<W>

public class UnbalancedPopHandler<W extends Weight>
extends Object

Constructor Summary

Constructors

Constructor and Description
UnbalancedPopHandler(INode<Val> returningFact, Transition<Statement,INode<Val>> trans, W weight)

Method Summary

Modifier and Type	Method and Description
boolean	equals(Object obj)
int	hashCode()
void	trigger(Statement callStatement, AbstractBoomerangSolver<W> solver)

Methods inherited from class java.lang.Object

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

Constructor Detail

UnbalancedPopHandler

public UnbalancedPopHandler(INode<Val> returningFact,
                            Transition<Statement,INode<Val>> trans,
                            W weight)

Method Detail

trigger

public void trigger(Statement callStatement,
                    AbstractBoomerangSolver<W> solver)

hashCode

public int hashCode()

Overrides:

hashCode in class Object

equals

public boolean equals(Object obj)

Overrides:

equals in class Object