linearise.cpp File Reference

This file contains code to transform an mCRL2 process into a linear process. More...

Go to the source code of this file.

Classes
class	objectdatatype
class	specification_basic_type
struct	specification_basic_type::make_substitution
class	specification_basic_type::process_pid_pair
class	specification_basic_type::stackoperations
class	specification_basic_type::stacklisttype
class	specification_basic_type::enumeratedtype
class	specification_basic_type::enumtype
struct	specification_basic_type::tuple_list
class	specification_basic_type::comm_entry

Enumerations
enum	processstatustype {   unknown , mCRL , mCRLdone , mCRLbusy ,   mCRLlin , pCRL , multiAction , GNF ,   GNFalpha , GNFbusy , error }
enum	objecttype {   none , _map , func , act ,   proc , variable_ , sorttype , multiact }

Detailed Description

This file contains code to transform an mCRL2 process into a linear process.

Definition in file linearise.cpp.

Enumeration Type Documentation

objecttype

enum objecttype

Enumerator
none
_map
func
act
proc
variable_
sorttype
multiact

Definition at line 75 of file linearise.cpp.

processstatustype

enum processstatustype

Enumerator
unknown
mCRL
mCRLdone
mCRLbusy
mCRLlin
pCRL
multiAction
GNF
GNFalpha
GNFbusy
error

Definition at line 58 of file linearise.cpp.