Alloy Documentation
latest
Contents:
Introduction
Language
Tooling
Modules
Techniques
Alloy Documentation
Index
Edit on GitHub
Index
A
|
B
|
C
|
D
|
E
|
F
|
G
|
I
|
L
|
M
|
N
|
O
|
P
|
R
|
S
|
T
|
U
|
W
|
Z
A
acyclic (predicate)
add (function)
,
[1]
after
always
antisymmetric (predicate)
B
before
bijection (predicate)
bijective (predicate)
boolean (module)
C
complete (predicate)
D
dag (predicate)
dec (function)
div (function)
,
[1]
dom (function)
dynamic (macro)
dynamicSet (macro)
E
elem2int (function)
eq (predicate)
equivalence (predicate)
eventually
F
first (function)
forest (predicate)
function (predicate)
functional (predicate)
G
graph (module)
gt (predicate)
,
[1]
gte (predicate)
,
[1]
I
inc (function)
injective (predicate)
innerNodes (function)
int2elem (function)
integer (module)
irreflexive (predicate)
L
larger (function)
leaves (function)
lt (predicate)
,
[1]
lt (predicate)
lte (predicate)
,
[1]
M
max (function)
,
[1]
max (function)
min (function)
,
[1]
min (function)
,
[1]
minus (function)
module
relation
ternary
mul (function)
,
[1]
N
naturals (module)
neg (predicate)
negate (function)
next (function)
nexts (function)
nonneg (predicate)
nonpos (predicate)
noSelfLoops (predicate)
O
once
ordering (module)
P
partialOrder (predicate)
past
plus (function)
pos (predicate)
preorder (predicate)
prev (function)
,
[1]
prevs (function)
prevs (function)
R
ran (function)
reflexive (predicate)
relation
module
releases
rem (function)
ring (predicate)
rootedAt (predicate)
roots (function)
S
signum (function)
since
smaller (function)
smaller (function)
stronglyConnected (predicate)
sub (function)
,
[1]
surjective (predicate)
symmetric (predicate)
T
ternary
module
time (module)
total (predicate)
totalOrder (predicate)
transitive (predicate)
tree (predicate)
treeRootedAt (predicate)
triggered
U
undirected (predicate)
until
W
weaklyConnected (predicate)
Z
zero (predicate)
Read the Docs
v: latest
Versions
latest
Downloads
On Read the Docs
Project Home
Builds