omg_2_buechictrl.cpp File Reference

#include "libfaudes.h"

Go to the source code of this file.

Functions
int	main ()

Detailed Description

Supervision of omega-languages w.r.t. Buechi acceptance

Definition in file omg_2_buechictrl.cpp.

Function Documentation

main()

int main

(

void

)

Definition at line 23 of file omg_2_buechictrl.cpp.