Skip to content

Thu (constant)

Syntax

Thu

Description

Three-letter code for Thursday. Used for wait rules, and for specifying place, network, and mixing group schedules via property statements.

The constants for the day of the week are evaluated as follows:

Day of Week String Value
Sun 0
Mon 1
Tue 2
Wed 3
Thu 4
Fri 5
Sat 6

Examples

The following rule will make agents wait until the start of Thursday:

wait(until(Thu))

See Also