Main Page   Class Hierarchy   Compound List   File List   Contact   Download   Symbolic Constraints   Examples  

global.h

00001 #ifndef SCIL_GLOBAL_H
00002 #define SCIL_GLOBAL_H
00003 
00004 //#include <abacus/variable.h>
00005 //#include <abacus/row.h>
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

Generated on Tue Nov 16 15:18:16 2004 for SCIL by doxygen1.2.16