set_initial_value

Description:

public void set_initial_value (Value value)

Sets the initial value of this to value.

The value is copied inside the Interval.

Parameters:

this

a Interval
value

a Value