joeq.Compiler.Analysis.Primitive
Class PrimitivePA.VarPathSelector

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

All Implemented Interfaces:

jwutil.graphs.PathNumbering.Selector

Enclosing class:

PrimitivePA

public static class PrimitivePA.VarPathSelector
extends Object
implements jwutil.graphs.PathNumbering.Selector

Method Summary

boolean	isImportant(Object a, Object b, 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(Object a,
                           Object b,
                           BigInteger num)

Specified by:

isImportant in interface jwutil.graphs.PathNumbering.Selector

isImportant

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

Specified by:

isImportant in interface jwutil.graphs.PathNumbering.Selector