Index

Symbols | A | B | C | D | E | F | G | H | I | L | M | N | O | P | R | S | T | U | V | W

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
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
environment variable
BOOST_ROOT
eqn
exists
exp

F

false
file
format;
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
lpsactionrename
lpsbinary
lpsbisim2pbes
lpscleave
lpscombine
lpsconfcheck
lpsconstelm
lpsinfo
lpsinvelm
lpsparelm
lpsparunfold
lpspp
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
pbesabsinthe
pbesabstract
pbesconstelm
pbesinfo
pbesinst
pbesparelm
pbespareqelm
pbespgsolve
pbespor
pbespp
pbesrewr
pbessolve
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