Index

A | B | C | D | E | F | I | L | M | P | Q | R | S | T | V

A

B

  • Boolean operator
    • see logical operator

C

  • converse
    • see transpose

D

  • dot join
    • see composition

E

F

I

L

M

P

  • pred keyword
    • see predicate, Alloy
  • predicate

Q

R

S

T

V