fizzbee-io / fizzbee

Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications
https://fizzbee.io
Apache License 2.0
128 stars 6 forks source link

Support symmetric_values and symmetric role #48

Closed jp-fizzbee closed 2 months ago

jp-fizzbee commented 2 months ago
Symmetry reduction by specifying values and roles as symmetric.

For ids and keys, you can specify
```
  KEYS = symmetric_values('key', 3)
  VALUES = symmetric_values('val', 3)
```

For roles,

```
symmetric role Node:
  # actions and functions
  pass

```

To access the id of the node to be used at other places, use `role.__id__`