HeuristicManager

public class HeuristicManager
extends java.lang.Object

Fields
Modifier and Type	Field and Description
`private static java.util.ArrayList<RegionHitExactHeuristic>`	`regionHitExactHeuristicArray` used to collect all regions that we hit along with the number of paths that SPF had to explore through it.

Constructors
Constructor and Description
`HeuristicManager()`

All Methods Static Methods Concrete Methods
Modifier and Type	Method and Description
`static boolean`	`addRegionExactHeuristic(RegionHitExactHeuristic newRegionHitExactHeuristic)`
`static java.lang.String`	`getLastRegionKey()`
`static RegionHitExactHeuristic`	`getRegionHeuristic()`
`static int`	`getRegionHeuristicSize()`
`static boolean`	`getRegionHeuristicStatus(java.lang.String key)`
`static PathStatus`	`incrementRegionExactHeuristicCount(gov.nasa.jpf.vm.Instruction instructionToExecute)`
`static void`	`printStatistics()`
`static void`	`regionHeuristicFinished(java.lang.String key)`

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

public static boolean addRegionExactHeuristic(RegionHitExactHeuristic newRegionHitExactHeuristic)

public static PathStatus incrementRegionExactHeuristicCount(gov.nasa.jpf.vm.Instruction instructionToExecute)

public static void regionHeuristicFinished(java.lang.String key)

public static boolean getRegionHeuristicStatus(java.lang.String key)

public static java.lang.String getLastRegionKey()

public static RegionHitExactHeuristic getRegionHeuristic()

public static int getRegionHeuristicSize()

Class HeuristicManager