00001 #ifndef SCIL_GLOBAL_H
00002 #define SCIL_GLOBAL_H
00003
00004
00005
00006
00007 class ABA_VARIABLE;
00008 class ABA_CONSTRAINT;
00009
00010 namespace SCIL {
00011
00012 typedef int var_item;
00013 #define UNDEFINED_VARIABLE -1
00014 #define minimal_size 100
00015
00016 enum Activation { Dynamic, Static };
00017 enum Validity { Global, Local };
00018 enum Liftability { Liftable, Nonliftable };
00019 enum Vartype { Vartype_Integer, Vartype_Float };
00020 enum Optsense { Optsense_Min, Optsense_Max};
00021 enum cons_sense { Equal, Less, Greater };
00022 enum Opt_Inequality { Static_Inequalities, Dynamic_Inequalities };
00023 enum Opt_Variables { Static_Variables, Dynamic_Variables };
00024 enum Branching_Type { Inequality_Branching, Set_Variable_Branching,
00025 Variable_Bounds_Branching };
00026
00027 enum as_what { as_is, as_min, as_max };
00028
00029 }
00030
00031 template<class A, class B>
00032 class ABA_ACTIVE;
00033 typedef ABA_ACTIVE<ABA_VARIABLE, ABA_CONSTRAINT> Active_Variables;
00034 typedef ABA_ACTIVE<ABA_CONSTRAINT, ABA_VARIABLE> Active_Inequalities;
00035
00036 class ABA_ROW;
00037 typedef ABA_ROW Row;
00038 class ABA_COLUMN;
00039 typedef ABA_COLUMN Column;
00040
00041
00042
00043 #endif