From 2fce43d484e4148ae858f410d51dcd9951d34374 Mon Sep 17 00:00:00 2001 From: Tuowen Zhao Date: Sun, 18 Sep 2016 15:45:13 +0000 Subject: remove include & rename --- omegalib/omega_lib/include/omega/farkas.h | 19 ------------------- 1 file changed, 19 deletions(-) delete mode 100644 omegalib/omega_lib/include/omega/farkas.h (limited to 'omegalib/omega_lib/include/omega/farkas.h') diff --git a/omegalib/omega_lib/include/omega/farkas.h b/omegalib/omega_lib/include/omega/farkas.h deleted file mode 100644 index e77ed66..0000000 --- a/omegalib/omega_lib/include/omega/farkas.h +++ /dev/null @@ -1,19 +0,0 @@ -#ifndef Already_Included_Affine_Closure -#define Already_Included_Affine_Closure - -#include - -namespace omega { - -enum Farkas_Type {Basic_Farkas, Decoupled_Farkas, - Linear_Combination_Farkas, Positive_Combination_Farkas, - Affine_Combination_Farkas, Convex_Combination_Farkas }; - -Relation Farkas(NOT_CONST Relation &R, Farkas_Type op, bool early_bailout = false); - -extern coef_t farkasDifficulty; -extern Global_Var_ID coefficient_of_constant_term; - -} // namespace - -#endif -- cgit v1.2.3-70-g09d2