FULA Operators

• =, !=

• <, <=, >, >= for lattice and snum

• boolean &&, ||, !

• Tupel selection (x,y)#1

• lub, glb for lattices

• member test x?{x,y}

• lift(x) drop(x)

• arithmetic operators

• + for string concatenation, set union, set insertion, list append

Vorherige Folie

Nächste Folie

Zurück zur ersten Folie

Graphik-Version anzeigen