korat.finitization.impl
Class CandidateBuilder

java.lang.Object
  korat.finitization.impl.CandidateBuilder

public class CandidateBuilder
extends Object

CandidateBuilder is responsible for building the object structure from candidate vector. CandidateBuilder is initialized with State Space that contains mapping from candidate vector to objects that are used to build candidate

Author:

korat.team

Field Summary

(package private) IIntList	changedFields
(package private) StateSpace	stateSpace

Constructor Summary

CandidateBuilder()

CandidateBuilder(StateSpace stateSpace, IIntList changedFields)

Method Summary

Object	buildCandidate(int[] candidateVector) Creates object structure from the candidate vector
void	setStateSpace(StateSpace stateSpace) Sets the state space

Methods inherited from class java.lang.Object

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

Field Detail

stateSpace

StateSpace stateSpace

changedFields

IIntList changedFields

Constructor Detail

CandidateBuilder

public CandidateBuilder()

CandidateBuilder

public CandidateBuilder(StateSpace stateSpace,
                        IIntList changedFields)

Method Detail

setStateSpace

public void setStateSpace(StateSpace stateSpace)

Sets the state space

buildCandidate

public Object buildCandidate(int[] candidateVector)

Creates object structure from the candidate vector

Parameters:

candidateVector - - candidate vector

Returns:

- object structure (test case input)