GenericDataAbstractor.Valuation (JPF API)

public class GenericDataAbstractor.Valuation
extends Object

Fields
Modifier and Type	Field and Description
`protected int[]`	`valuation`

Constructors
Constructor and Description
`GenericDataAbstractor.Valuation(GenericDataAbstractor.Valuation seedValuation)`
`GenericDataAbstractor.Valuation(GenericDataAbstractor.Valuation val, int size)`
`GenericDataAbstractor.Valuation(int size)`

Methods
Modifier and Type	Method and Description
`void`	`add(int index, int element)`
`int[]`	`getValuation()`

public GenericDataAbstractor.Valuation(int size)

public GenericDataAbstractor.Valuation(GenericDataAbstractor.Valuation seedValuation)

public GenericDataAbstractor.Valuation(GenericDataAbstractor.Valuation val,
                               int size)

public void add(int index,
       int element)

Class GenericDataAbstractor.Valuation