Uses of Interface
korat.utils.IIntList

Packages that use IIntList

korat.finitization.impl
korat.testing
korat.testing.impl
korat.utils
korat.utils.cv

Uses of IIntList in korat.finitization.impl

Fields in korat.finitization.impl declared as IIntList

(package private) IIntList

CandidateBuilder.changedFields

Constructors in korat.finitization.impl with parameters of type IIntList

CandidateBuilder(StateSpace stateSpace, IIntList changedFields)

Uses of IIntList in korat.testing

Methods in korat.testing that return IIntList

IIntList

IKoratSearchStrategy.getAccessedFields() Gets the list of accessed fields during the last search.

Uses of IIntList in korat.testing.impl

Fields in korat.testing.impl declared as IIntList

protected IIntList	StateSpaceExplorer.accessedFields
protected IIntList	TestCradle.accessedFields
protected IIntList	StateSpaceExplorer.changedFields

Methods in korat.testing.impl that return IIntList

IIntList	StateSpaceExplorer.getAccessedFields()
IIntList	TestCradle.getAccessedFields()

Uses of IIntList in korat.utils

Classes in korat.utils that implement IIntList

class	IntList Slow - use one of its derivatives, BS or AI
class	IntListAI List of integers with stack policy Different mechanism for checking if the field index is already contained in the accessed field list.
class	IntListBS Uses bitset to check if field is already contained.

Uses of IIntList in korat.utils.cv

Methods in korat.utils.cv with parameters of type IIntList

private void	CVFinderDelta.binSearch(int[] cvToFind, IIntList fieldAccessList)
static int	CVCmp.compare(int[] cv1, int[] cv2, IIntList fieldAccessList) Lexicographic comparison of two given candidate vectors.
CVFinderDelta.FinderResult	CVFinderDelta.find(int[] cv, IIntList fieldAccessList)
private CVFinderDelta.FinderResult	CVFinderDelta.seqSearch(int[] cvToFind, int[] lastCV, IIntList fieldAccessList)