Skip to content

Sun (constant)

Syntax

Sun

Description

Three-letter code for Sunday. 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 Sunday:

wait(until(Sun))

See Also