About this document
Understanding Relations in Alloy by jnax101 is a document available to read on EtoBox.
Alloy represents relations as sets of ordered tuples. A binary relation mapping file system objects to their parent directories contains tuples with the file system object in the first entry and its parent directory in the second. A relation mapping network node pairs to their cost would have tuples with the nodes in the first two entries and the cost in the third. Relations can be manipulated using set operations like intersection, union, and difference.
- Author
- jnax101
- Language
- EN