mcrl2/lps/explorer.h

Include file:

#include "mcrl2/lps/explorer.h"

add your file description here.

Classes

Enumerated types

type caching

Values:

  • none
  • local
  • global
  • none
  • local
  • global