boomerang

Class WeightedForwardQuery<W extends Weight>

java.lang.Object

boomerang.Query

boomerang.ForwardQuery

boomerang.WeightedForwardQuery<W>

public class WeightedForwardQuery<W extends Weight>
extends ForwardQuery

Constructor Summary

Constructors

Constructor and Description
WeightedForwardQuery(Statement stmt, Val variable, W weight)

Method Summary

Modifier and Type	Method and Description
W	weight()

Methods inherited from class boomerang.ForwardQuery

toString

Methods inherited from class boomerang.Query

asNode, equals, getType, hashCode, stmt, var

Methods inherited from class java.lang.Object

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

Constructor Detail

WeightedForwardQuery

public WeightedForwardQuery(Statement stmt,
                            Val variable,
                            W weight)

Method Detail

weight

public W weight()