omg_rabinacc.h File Reference

#include "corefaudes.h"

Go to the source code of this file.

Classes
class	faudes::RabinPair
class	faudes::RabinAcceptance

Namespaces
	faudes

Detailed Description

Rabin acceptance condition

Definition in file omg_rabinacc.h.