public class PathConditionWeight
extends wpds.impl.Weight

Constructors
Constructor	Description
`PathConditionWeight(Statement callSite, Method callee)`
`PathConditionWeight(Statement ifStatement, Boolean condition)`
`PathConditionWeight(Val returnVal)`
`PathConditionWeight(Val val, PathConditionWeight.ConditionDomain c)`

All Methods Static Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`wpds.impl.Weight`	`combineWith(wpds.impl.Weight o)`
`boolean`	`equals(Object obj)`
`wpds.impl.Weight`	`extendWith(wpds.impl.Weight o)`
`Map<Statement,PathConditionWeight.ConditionDomain>`	`getConditions()`
`Map<Val,PathConditionWeight.ConditionDomain>`	`getEvaluationMap()`
`int`	`hashCode()`
`static PathConditionWeight`	`one()`
`String`	`toString()`

Methods inherited from class java.lang.Object
clone, finalize, getClass, notify, notifyAll, wait, wait, wait

public PathConditionWeight(Statement callSite,
                           Method callee)

public PathConditionWeight(Val returnVal)

public PathConditionWeight(Statement ifStatement,
                           Boolean condition)

public PathConditionWeight(Val val,
                           PathConditionWeight.ConditionDomain c)

public static PathConditionWeight one()

public wpds.impl.Weight extendWith(wpds.impl.Weight o)

public wpds.impl.Weight combineWith(wpds.impl.Weight o)

public Map<Statement,PathConditionWeight.ConditionDomain> getConditions()

public Map<Val,PathConditionWeight.ConditionDomain> getEvaluationMap()

Class PathConditionWeight