hydra.dsl.time module

DSL functions for hydra.time.

hydra.dsl.time.timespec(seconds: TypedTerm[int], nanoseconds: TypedTerm[int]) → TypedTerm[Timespec]

DSL constructor for hydra.time.Timespec.

hydra.dsl.time.timespec_nanoseconds(x: TypedTerm[Timespec]) → TypedTerm[int]

DSL accessor for the nanoseconds field of hydra.time.Timespec.

hydra.dsl.time.timespec_seconds(x: TypedTerm[Timespec]) → TypedTerm[int]

DSL accessor for the seconds field of hydra.time.Timespec.

hydra.dsl.time.timespec_with_nanoseconds(original: TypedTerm[Timespec], new_val: TypedTerm[int]) → TypedTerm[Timespec]

DSL updater for the nanoseconds field of hydra.time.Timespec.

hydra.dsl.time.timespec_with_seconds(original: TypedTerm[Timespec], new_val: TypedTerm[int]) → TypedTerm[Timespec]

DSL updater for the seconds field of hydra.time.Timespec.