Uses of Class
korat.instrumentation.Setter

Packages that use Setter

korat.finitization.impl
korat.instrumentation

Uses of Setter in korat.finitization.impl

Fields in korat.finitization.impl declared as Setter

protected Setter

CVElem.setter

Methods in korat.finitization.impl that return Setter

Setter

CVElem.getSetter()

Methods in korat.finitization.impl with parameters of type Setter

int	StateSpace.getIndexInCandidateVector(Object obj, String fld, Setter setter) Returns the index of the field fieldName of the Object obj in scheme.
void	CVElem.setSetter(Setter setter) Sets setter class for this CVElem.

Uses of Setter in korat.instrumentation

Methods in korat.instrumentation that return Setter

Setter	IKoratArray.get_element_setter(int position, int field_id)
Setter	IKoratArray.get_length_setter(int field_id)
static Setter	KoratArrayManager.getElementSetter(Object array, int elemIndex, int elem_id) Returns ElementSetter
static Setter	KoratArrayManager.getLengthSetter(Object array, int len_id) Returns length setter