#include "omg_rabinacc.h"
Go to the source code of this file.
Rabin acceptance condition
Definition in file omg_rabinacc.cpp.
libFAUDES 2.33h --- 2025.06.18 --- c++ api documentaion by doxygen