korat.finitization.impl
Class CVElem

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

Direct Known Subclasses:

ArrayElementCVElem

public class CVElem
extends Object

Field Summary

private boolean	excludeFromSearch
protected FieldDomain	fieldDomain
protected String	fieldName
protected int	indexInStateSpace
protected boolean	initialized
protected Object	obj
protected Setter	setter
protected StateSpace	stateSpace

Constructor Summary

protected

CVElem(Object o, String fName, FieldDomain fDomain, StateSpace stateSpace)

Method Summary

static CVElem	create(Object o, String fName, FieldDomain fDomain, StateSpace stateSpace)
FieldDomain	getFieldDomain()
String	getFieldName()
StateSpace	getMyStateSpace()
Object	getObj()
Setter	getSetter()
void	initialize(int index) Initializes this CVElem
boolean	isExcludedFromSearch()
void	setExcludeFromSearch(boolean exclude)
void	setSetter(Setter setter) Sets setter class for this CVElem.

Methods inherited from class java.lang.Object

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

Field Detail

initialized

protected boolean initialized

obj

protected final Object obj

fieldName

protected final String fieldName

fieldDomain

protected final FieldDomain fieldDomain

stateSpace

protected final StateSpace stateSpace

setter

protected Setter setter

indexInStateSpace

protected int indexInStateSpace

excludeFromSearch

private boolean excludeFromSearch

Constructor Detail

CVElem

protected CVElem(Object o,
                 String fName,
                 FieldDomain fDomain,
                 StateSpace stateSpace)

Method Detail

create

public static CVElem create(Object o,
                            String fName,
                            FieldDomain fDomain,
                            StateSpace stateSpace)

setExcludeFromSearch

public void setExcludeFromSearch(boolean exclude)

Parameters:

exclude - - is field that is represented with this CV element excluded from search

isExcludedFromSearch

public boolean isExcludedFromSearch()

Returns:

- is field that is represented with this CV element excluded from search

getFieldDomain

public FieldDomain getFieldDomain()

Returns:

Returns the fieldDomain.

getFieldName

public String getFieldName()

Returns:

Returns the fieldName.

getObj

public Object getObj()

Returns:

Returns the obj.

getMyStateSpace

public StateSpace getMyStateSpace()

Returns:

Returns the StateSpace that this CVElem belongs to.

setSetter

public void setSetter(Setter setter)

Sets setter class for this CVElem.

Parameters:

setter - - setter

See Also:

Setter

getSetter

public Setter getSetter()

Returns:

Setter object for field fieldName of object obj

See Also:

Setter

initialize

public void initialize(int index)

Initializes this CVElem

Parameters:

index - - index in State Space