Namespaces | Functions

star.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::star (Nwa &out, Nwa const &source)
 constructs the NWA resulting from performing Kleene-* on the given NWA
NwaRefPtr opennwa::construct::star (Nwa const &nondet)
 constructs the NWA resulting from performing Kleene-* on the given NWA