mcrl2/lps/explorer_options.h

Include file:

#include "mcrl2/lps/explorer_options.h"

add your file description here.

Classes

• mcrl2::lps::explorer_options

Functions

std::ostream &mcrl2::lps::operator<<(std::ostream &out, const explorer_options &options)