joeq.Compiler.Analysis.Primitive
Class PrimitivePA.HeapPathSelector

java.lang.Object
  joeq.Compiler.Analysis.Primitive.PrimitivePA.HeapPathSelector

All Implemented Interfaces:

jwutil.graphs.PathNumbering.Selector

Enclosing class:

PrimitivePA

public class PrimitivePA.HeapPathSelector
extends Object
implements jwutil.graphs.PathNumbering.Selector

Method Summary

boolean	isImportant(Object p, Object o, BigInteger num)
boolean	isImportant(jwutil.graphs.SCComponent scc1, jwutil.graphs.SCComponent scc2, BigInteger num)

Methods inherited from class java.lang.Object

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

Method Detail

isImportant

public boolean isImportant(jwutil.graphs.SCComponent scc1,
                           jwutil.graphs.SCComponent scc2,
                           BigInteger num)

Specified by:

isImportant in interface jwutil.graphs.PathNumbering.Selector

isImportant

public boolean isImportant(Object p,
                           Object o,
                           BigInteger num)

Specified by:

isImportant in interface jwutil.graphs.PathNumbering.Selector