Package | Description |
---|---|
gov.nasa.jpf.perturb |
Modifier and Type | Field and Description |
---|---|
protected GenericDataAbstractor.Valuation |
GenericDataAbstractor.valuation |
Modifier and Type | Field and Description |
---|---|
protected Vector<GenericDataAbstractor.Valuation> |
GenericDataAbstractor.valuations |
Constructor and Description |
---|
GenericDataAbstractor.Valuation(GenericDataAbstractor.Valuation seedValuation) |
GenericDataAbstractor.Valuation(GenericDataAbstractor.Valuation val,
int size) |