tree_set.cpp File Reference

Go to the source code of this file.

Namespaces
namespace	mcrl2
	A class that takes a linear process specification and checks all tau-summands of that LPS for confluence.
namespace	mcrl2::lts
	The main LTS namespace.

Macros
#define	EMPTY_SET   (-1)
#define	EMPTY_LIST   (-1)
#define	EMPTY_TAG   (-1)
#define	HASH_CLASS   16
#define	TAGS_BLOCK   15000
#define	BUCKETS_BLOCK   25000
#define	hash(l, r, m)   (36425657*l + 77673689*r) & m

Macro Definition Documentation

BUCKETS_BLOCK

#define BUCKETS_BLOCK   25000

Definition at line 21 of file tree_set.cpp.

EMPTY_LIST

#define EMPTY_LIST   (-1)

Definition at line 17 of file tree_set.cpp.

EMPTY_SET

#define EMPTY_SET   (-1)

Definition at line 16 of file tree_set.cpp.

EMPTY_TAG

#define EMPTY_TAG   (-1)

Definition at line 18 of file tree_set.cpp.

hash

#define hash	(		l,
			r,
			m
	)		(36425657*l + 77673689*r) & m

Definition at line 23 of file tree_set.cpp.

HASH_CLASS

#define HASH_CLASS   16

Definition at line 19 of file tree_set.cpp.

TAGS_BLOCK

#define TAGS_BLOCK   15000

Definition at line 20 of file tree_set.cpp.