Arithmetic queries
Constructors
makefunction
Creates a new
RefDurationfrom a Duration,Effect, orFx.
State models
RefDurationinterface
A RefDuration is a RefSubject specialized over a Duration value.
State predicates
isGreaterThanvariable
Check if the current state of a RefDuration is greater than a Duration.
isLessThanvariable
Check if the current state of a RefDuration is less than a Duration.
isZerovariable
Check if the current state of a RefDuration is zero.
Unit conversions
daysvariable
Get the days value of the current state of a RefDuration.
hoursvariable
Get the hours value of the current state of a RefDuration.
millisvariable
Get the milliseconds value of the current state of a RefDuration.
minutesvariable
Get the minutes value of the current state of a RefDuration.
secondsvariable
Get the seconds value of the current state of a RefDuration.