FrontierCrashed Struct Reference

Predicate assessing whether a frontier is a crashed state. More...

#include <b2bconfigurator.h>

Public Member Functions
	FrontierCrashed (TransitionSystem &ts, Direction d)
bool	operator() (const Frontier &f) const

Detailed Description

Predicate assessing whether a frontier is a crashed state.

---

The documentation for this struct was generated from the following file:

• src/b2bconfigurator.h