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
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
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
lpsrealzone
lpsrewr
lpssim
lpssumelm
lpssuminst
lpssymbolicbisim
lpsuntime
lpsxsim
lts2lps
lts2pbes
ltscompare
ltsconvert
ltsgraph
ltsinfo
ltspbisim
ltsview

M

map
mathematical
addition +
multiplication *
negation -
subtraction -
max
mcrl2-gui
mcrl22lps
MCRL2_ENABLE_EXPERIMENTAL
mcrl2i
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
pbesstategraph
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
tracepp
true
txt2bes
txt2lps
txt2pbes

U

union
+, bag
+, set

V

var

W

where clause
whr