omg_rabinaut.cpp File Reference

#include "omg_rabinaut.h"

Go to the source code of this file.

Namespaces
namespace	faudes

Variables
AutoRegisterType< RabinAutomaton >	faudes::gRtiRegisterRGenerator ("RabinAutomaton")

Detailed Description

Classes RabinAutomaton

Definition in file omg_rabinaut.cpp.