public final class AcexAnalysisAlgorithms extends Object
Modifier and Type | Method and Description |
---|---|
static <E> int |
binarySearchLeft(AbstractCounterexample<E> acex,
int low,
int high) |
static <E> int |
binarySearchRight(AbstractCounterexample<E> acex,
int low,
int high)
Search for a suffix index using a binary search.
|
static <E> int |
exponentialSearchBwd(AbstractCounterexample<E> acex,
int low,
int high)
Search for a suffix index using an exponential search.
|
static <E> int |
exponentialSearchFwd(AbstractCounterexample<E> acex,
int low,
int high) |
static <E> int |
linearSearchBwd(AbstractCounterexample<E> acex,
int low,
int high)
Scan linearly through the counterexample in descending order.
|
static <E> int |
linearSearchFwd(AbstractCounterexample<E> acex,
int low,
int high)
Scan linearly through the counterexample in ascending order.
|
public static <E> int linearSearchFwd(AbstractCounterexample<E> acex, int low, int high)
acex
- the abstract counterexamplelow
- the lower bound of the search rangehigh
- the upper bound of the search rangei
such that acex.testEffect(i) != acex.testEffect(i+1)
public static <E> int linearSearchBwd(AbstractCounterexample<E> acex, int low, int high)
acex
- the abstract counterexamplelow
- the lower bound of the search rangehigh
- the upper bound of the search rangei
such that acex.testEffect(i) != acex.testEffect(i+1)
public static <E> int exponentialSearchBwd(AbstractCounterexample<E> acex, int low, int high)
acex
- the abstract counterexamplelow
- the lower bound of the search rangehigh
- the upper bound of the search rangei
such that acex.testEffect(i) != acex.testEffect(i+1)
public static <E> int binarySearchRight(AbstractCounterexample<E> acex, int low, int high)
acex
- the abstract counterexamplelow
- the lower bound of the search rangehigh
- the upper bound of the search rangei
such that acex.testEffect(i) != acex.testEffect(i+1)
public static <E> int exponentialSearchFwd(AbstractCounterexample<E> acex, int low, int high)
public static <E> int binarySearchLeft(AbstractCounterexample<E> acex, int low, int high)
Copyright © 2018. All rights reserved.