00001 00005 class FactStrategy : public HandleId 00006 00007 { 00008 00009 public: 00010 00011 FactType fact_tp; 00012 ReordType reord_tp; 00013 PivotType pivot_tp; 00014 00015 bool zero_upper_part; 00016 00017 int fillin_level; 00018 real relax_RILU; 00019 real MILUperturb; 00020 00021 00022 00023 FactStrategy (); 00024 virtual ~FactStrategy () {} 00025 00026 00027 static void defineStatic (MenuSystem& menu, int level = MAIN); 00028 void define (MenuSystem& menu, int level = MAIN) 00029 { defineStatic (menu, level); } 00030 void scan (MenuSystem& menu); 00031 }; 00032 00033