omg_rabinacc.cpp File Reference

#include "omg_rabinacc.h"

Go to the source code of this file.

Namespaces
namespace	faudes

Variables
AutoRegisterType< RabinPair >	faudes::gRtiRabinPair ("RabinPair")
AutoRegisterType< RabinAcceptance >	faudes::gRtiRabinAcceptance ("RabinAcceptance")
AutoRegisterElementType< RabinAcceptance >	faudes::gRtiRabinAcceptanceEType ("RabinAcceptance","RabinPair")
AutoRegisterElementTag< RabinAcceptance >	faudes::gRtiRabinAcceptanceETag ("RabinAcceptance","RabinPair")

Detailed Description

Rabin acceptance condition

Definition in file omg_rabinacc.cpp.