2.5.14. Interval¶
TODO.
2.5.14.1. Instruction¶
-
target =
interval.add
op1 op2
[interval::Add]
¶ Target: interval Operator 1: interval Operator 2: interval Adds intervals op1 and op2.
-
target =
interval.as_double
op1
[interval::AsDouble]
¶ Target: double Operator 1: interval Returns op1 in seconds, rounded down to the nearest value that can be represented as a double.
-
target =
interval.as_int
op1
[interval::AsInt]
¶ Target: int<64> Operator 1: interval Returns op1‘ in seconds, rounded down to the nearest integer.
-
target =
interval.eq
op1 op2
[interval::Eq]
¶ Target: bool Operator 1: interval Operator 2: interval Returns True if the interval represented by op1 equals that of op2.
-
target =
interval.from_double
op1
[interval::FromDouble]
¶ Target: interval Operator 1: double Converts the double op1 into a interval value, interpreting it as representing seconds.
-
target =
interval.geq
op1 op2
[interval::Geq]
¶ Target: bool Operator 1: interval Operator 2: interval Returns True if the interval represented by op1 is larger or the same than that of op2.
-
target =
interval.gt
op1 op2
[interval::Gt]
¶ Target: bool Operator 1: interval Operator 2: interval Returns True if the interval represented by op1 is larger than that of op2.
-
target =
interval.leq
op1 op2
[interval::Leq]
¶ Target: bool Operator 1: interval Operator 2: interval Returns True if the interval represented by op1 is shorter or the same than that of op2.
-
target =
interval.lt
op1 op2
[interval::Lt]
¶ Target: bool Operator 1: interval Operator 2: interval Returns True if the interval represented by op1 is shorter than that of op2.
-
target =
interval.mul
op1 op2
[interval::Mul]
¶ Target: interval Operator 1: interval Operator 2: int<64> Subtracts interval op2 to the interval op1
-
target =
interval.nsecs
op1
[interval::Nsecs]
¶ Target: int<64> Operator 1: interval Returns the interval op1 as nanoseconds since the epoch.
-
target =
interval.sub
op1 op2
[interval::Sub]
¶ Target: interval Operator 1: interval Operator 2: interval Subtracts interval op2 to the interval op1