automaton.hpp File Reference

Go to the source code of this file.

Namespaces
namespace	opennwa
	This file defines forward declarations for various useful NWA-related types.
namespace	opennwa::query
Functions
bool	opennwa::query::isDeterministic (Nwa const &nwa)
	tests whether this NWA is deterministic
bool	opennwa::query::statesOverlap (Nwa const &first, Nwa const &second)
	determines whether there is any overlap in the states of the given NWAs