00001 bdd a1 = bdd_ithvar(1) ; // personal_info 00002 bdd b1 = bdd_ithvar(2) ; // persnal_info_flexibility 00003 bdd c1 = bdd_ithvar(3) ; // basic_personal_tasks 00004 bdd d1 = bdd_ithvar(4) ; // update_personal_info 00005 bdd e1 = bdd_ithvar(5) ; // employment_history 00006 bdd f1 = bdd_ithvar(6) ; // hr_politicies 00007 bdd g1 = bdd_ithvar(7) ; // time_management 00008 bdd h1 = bdd_ithvar(8) ; // absence_management 00009 bdd i1 = bdd_ithvar(9) ; // absence_information 00010 bdd j1 = bdd_ithvar(10) ; // absence_calendar 00011 bdd k1 = bdd_ithvar(11) ; // holiday_entiltement 00012 bdd l1 = bdd_ithvar(12) ; // holiday_administration 00013 bdd m1 = bdd_ithvar(13) ; // expenses_tasks 00014 bdd n1 = bdd_ithvar(14) ; // payroll_adminsitration 00015 bdd o1 = bdd_ithvar(15) ; // benifit_display 00016 bdd p1 = bdd_ithvar(16) ; // multi_benifit_programs 00017 00018 bdd temp1; 00019