Index

Symbols

! bag complement logical not set complement # list length && logical and () function application * bag intersection mathematical multiplication set intersection + bag union mathematical addition set union ++ list concatenation - bag difference mathematical negation mathematical subtraction set difference -> . list element extraction < less than lexicographical ordering subset

<= less than or equal to lexicographical ordering subset or equal to <| list snoc == equality => logical implication > greater than lexicographical ordering superset >= greater than or equal to lexicographical ordering subset or equal to [] list constructor list enumeration {} bag comprehension bag constructor bag enumeration set comprehension set constructor set enumeration |> list constructor || logical or

A

addition +, mathematical

and &&, logical

B

Bag bag complement ! comprehension {} constructor {} difference - enumeration {} intersection * union +

Bag2Set besconvert besinfo bespp bessolve Bool BOOST_ROOT BUILD_SHARED_LIBS

C

Casts Int2Nat Int2Pos Int2Real Nat2Int Nat2Pos Nat2Real Pos2Int Pos2Nat Pos2Real Real2Int Real2Nat Real2Pos ceil CMAKE_BUILD_TYPE

CMAKE_INSTALL_PREFIX complement !, bag !, set comprehension {}, bag {}, set concatenation ++, list cons constructor [], list {}, bag {}, set |>, list count

D

data expression specification diagraphica

difference -, bag -, set div

E

element extraction ., list empty bag list set

enumeration [], list {}, bag {}, set eqn exists exp

F

false floor

forall function application

G

glob

H

head

I

if(_,_,_) implication =>, logical in

Int intersection *, bag *, set

L

lambda length #, list List list concatenation ++ constructor [] constructor |> element extraction . enumeration [] length # snoc <| logical and && implication => not ! or || lps2lts lps2pbes lps2torx lpsactionrename lpsbinary lpsbisim2pbes lpscleave lpscombine

lpsconfcheck lpsconstelm lpsinfo lpsinvelm lpsparelm lpsparunfold lpspp lpsreach lpsrealelm lpsrewr lpssim lpsstategraph lpssumelm lpssuminst lpssymbolicbisim lpsuntime lpsxsim lts2lps lts2pbes ltscompare ltsconvert ltsgraph ltsinfo ltspbisim ltspcompare ltsview

M

map mathematical addition + multiplication * negation - subtraction - max mcrl2-gui

mcrl22lps MCRL2_ENABLE_EXPERIMENTAL mcrl2i mcrl2ide mcrl2xi min mod multiplication *, mathematical

N

Nat negation -, mathematical

not !, logical

O

or ||, logical

P

pbes2bes pbes2bool pbes2booldeprecated pbes2cvc4 pbes2yices pbesabsinthe pbesabstract pbesconstelm pbesinfo pbesinst pbesparelm

pbespareqelm pbespgsolve pbespor pbespp pbesrewr pbessolve pbessolvesymbolic pbesstategraph pbessymbolicbisim Pos pred

R

Real rhead

round rtail

S

Set set complement ! comprehension {} constructor {} difference - enumeration {} intersection * union +

Set2Bag snoc <|, list sort subtraction -, mathematical succ symbolic_exploration

T

tail tracepp true

txt2bes txt2lps txt2pbes

U

union +, bag +, set

V

var

W

where clause

whr