Namespaces | Defines | Functions

determinize.cpp File Reference

Namespaces

namespace  opennwa
 

This file defines forward declarations for various useful NWA-related types.


namespace  opennwa::construct

Defines

#define DECLARE(type, name)   type name
#define key2str(a)   a

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.

Define Documentation

#define DECLARE (   type,
  name 
)    type name
#define key2str (   a  )     a