Namespaces | Functions

star.cpp File Reference

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