Use the attributes of Configuration.

Status: Beta

Brought to you by: daniel_winkler, florianfischer

#29 Use the attributes of Configuration.

Status: open

Owner: baz bishop

Labels: None

Priority: 5

Updated: 2008-02-01

Created: 2008-02-01

Private: No

The following attributes of the new Configuration class are not yet used:

evaluationTimeoutMilliseconds
evaluationMaxTuples
evaluationMaxComplexity
evaluationDivideByZeroBehaviour

floatingPointDoublePrecision
floatingPointFloatPrecision

Ensure that these values are pushed down to where they are needed.