korat.finitization.impl
Class ArrayElementCVElem

java.lang.Object
  korat.finitization.impl.CVElem
      korat.finitization.impl.ArrayElementCVElem

public class ArrayElementCVElem
extends CVElem

CVElem representing elements of an array

Author:

Sasa Misailovic

Field Summary

protected int

arrayIndex

Fields inherited from class korat.finitization.impl.CVElem

fieldDomain, fieldName, indexInStateSpace, initialized, obj, setter, stateSpace

Constructor Summary

protected	ArrayElementCVElem(Object o, int elementIndex, FieldDomain fDomain, StateSpace stateSpace)
private	ArrayElementCVElem(Object o, String fName, FieldDomain fDomain, StateSpace stateSpace)

Method Summary

static ArrayElementCVElem	create(Object o, String fName, FieldDomain fDomain, StateSpace myStateSpace) Parameter fName can be either number, representing the index of array element or "length", representing the length of the array
void	initialize(int indexInStateSpace) Initializes this CVElem

Methods inherited from class korat.finitization.impl.CVElem

getFieldDomain, getFieldName, getMyStateSpace, getObj, getSetter, isExcludedFromSearch, setExcludeFromSearch, setSetter

Methods inherited from class java.lang.Object

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

Field Detail

arrayIndex

protected final int arrayIndex

Constructor Detail

ArrayElementCVElem

protected ArrayElementCVElem(Object o,
                             int elementIndex,
                             FieldDomain fDomain,
                             StateSpace stateSpace)

ArrayElementCVElem

private ArrayElementCVElem(Object o,
                           String fName,
                           FieldDomain fDomain,
                           StateSpace stateSpace)

Method Detail

create

public static ArrayElementCVElem create(Object o,
                                        String fName,
                                        FieldDomain fDomain,
                                        StateSpace myStateSpace)

Parameter fName can be either number, representing the index of array element or "length", representing the length of the array

initialize

public void initialize(int indexInStateSpace)

Description copied from class: CVElem

Initializes this CVElem

Overrides:

initialize in class CVElem

Parameters:

indexInStateSpace - - index in State Space