gov.nasa.jpf.perturb

Class GenericDataAbstractor.Valuation

java.lang.Object

gov.nasa.jpf.perturb.GenericDataAbstractor.Valuation

Enclosing class:

GenericDataAbstractor

public class GenericDataAbstractor.Valuation
extends java.lang.Object

Field Summary

Fields

Modifier and Type	Field and Description
protected int[]	valuation

Constructor Summary

Constructors

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

Method Summary

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

Methods inherited from class java.lang.Object

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

Field Detail

valuation

protected int[] valuation

Constructor Detail

Valuation

public Valuation(int size)

Valuation

public Valuation(GenericDataAbstractor.Valuation seedValuation)

Valuation

public Valuation(GenericDataAbstractor.Valuation val,
                 int size)

Method Detail

getValuation

public int[] getValuation()

add

public void add(int index,
                int element)