mCRL2
Loading...
Searching...
No Matches
nfs_array.h File Reference

This is an array in which it is recorded which arguments are normal forms and which are not. More...

Go to the source code of this file.

Classes

class  mcrl2::data::detail::nfs_array
 

Namespaces

namespace  mcrl2
 A class that takes a linear process specification and checks all tau-summands of that LPS for confluence.
 
namespace  mcrl2::data
 Namespace for all data library functionality.
 
namespace  mcrl2::data::detail
 

Detailed Description

This is an array in which it is recorded which arguments are normal forms and which are not.

Definition in file nfs_array.h.