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, [1] BUILD_SHARED_LIBS

C

Casts Int2Nat Int2Pos Int2Real Nat2Int Nat2Pos Nat2Real Pos2Int Pos2Nat Pos2Real Real2Int Real2Nat Real2Pos ceil chi2mcrl2 CMAKE_BUILD_TYPE CMAKE_INSTALL_PREFIX complement !, bag !, set

complps2pbes 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 environment variable BOOST_ROOT

eqn exists exp

F

false file format; floor

forall formulacheck function application

G

glob

H

head

I

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

Int intersection *, bag *, set

L

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

lpspp lpsrealelm lpsrewr lpssim lpssumelm lpssuminst lpsuntime lpsxsim lts2lps lts2pbes ltscompare ltsconvert ltsgraph ltsinfo ltsmin ltsview lysa2mcrl2

M

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

mcrl2i mcrl2parse mcrl2xi min mod multiplication *, mathematical

N

Nat negation -, mathematical

not !, logical

O

or ||, logical

P

pbes2bes pbes2bool pbesabsinthe pbesabstract pbesconstelm pbesinfo pbesinst pbesparelm

pbespareqelm pbespgsolve pbespp pbesrewr pbestransform Pos pred

R

Real rhead

round rtail

S

set complement ! comprehension {} constructor {} difference - enumeration {} intersection * union + Set Set2Bag snoc <|, list

sort subtraction -, mathematical succ symbolic_exploration

T

tail tbf2lps tracepp true

txt2bes txt2lps txt2pbes

U

union +, bag +, set

V

var

W

where clause

whr