mcrl2/lps/explorer.h

Include file:

#include "mcrl2/lps/explorer.h"

add your file description here.

Classes

• mcrl2::lps::abortable
• mcrl2::lps::breadth_first_todo_set
• mcrl2::lps::depth_first_todo_set
• mcrl2::lps::enumerator_error
• mcrl2::lps::explorer
• mcrl2::lps::explorer_summand
• mcrl2::lps::highway_todo_set
• mcrl2::lps::skip
• mcrl2::lps::todo_set

Enumerated types

type caching

Values:

• none

• local
• global
• none
• local
• global