determinize.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::construct
Functions
void	opennwa::construct::determinize (Nwa &out, Nwa const &source)
NwaRefPtr	opennwa::construct::determinize (Nwa const &nondet)
	constructs a deterministic NWA that is equivalent to the given NWA.