korat.utils.cv
Class CVCmp

java.lang.Object
  korat.utils.cv.CVCmp

public class CVCmp
extends Object

Author:

Aleksandar Milicevic

Constructor Summary

CVCmp()

Method Summary

static int	compare(int[] cv1, int[] cv2, IIntList fieldAccessList) Lexicographic comparison of two given candidate vectors.
static boolean	equal(int[] cv, int[] cv2)

Methods inherited from class java.lang.Object

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

Constructor Detail

CVCmp

public CVCmp()

Method Detail

equal

public static boolean equal(int[] cv,
                            int[] cv2)

compare

public static int compare(int[] cv1,
                          int[] cv2,
                          IIntList fieldAccessList)

Lexicographic comparison of two given candidate vectors.

Parameters:

cv1 - first candidate vector

cv2 - second candidate vector

fieldAccessList - field access list that corresponds to either one of the two given candidate vectors

Returns:

1 if cv1 > cv2, -1 if cv1 < cv2, 0 if cv1 == cv2