Esempi in C++ (Cpp) per ILP_Integer2ILP

Esempio n. 1

File: u33-1.c Progetto: Sinthu-S/ILP-UPMC

ILP_Object ilp_program () 
{ 
{ 
  ILP_Object ilptmp96; 
ilptmp96 = ILP_Integer2ILP(33); 

  {
    ILP_Object u1 = ilptmp96;
{ 
  ILP_Object ilptmp97; 
ilptmp97 =  ILP_String2ILP("foobar"); 
{ 
  ILP_Object ilptmp98; 
  ILP_Object ilptmp99; 
ilptmp98 = u1; 
ilptmp99 = ILP_Integer2ILP(22); 
ilptmp97 = ILP_Plus(ilptmp98, ilptmp99);
} 
return ilptmp97; 
} 

  }
}

} 

Esempio n. 2

File: u28-2.c Progetto: Sinthu-S/ILP-UPMC

ILP_Object ilp_program () 
{ 
{ 
  ILP_Object ilptmp63; 
  ILP_Object ilptmp64; 
ilptmp63 = ILP_Integer2ILP(1); 
ilptmp64 = ILP_Integer2ILP(2); 

  {
    ILP_Object x1 = ilptmp63;
    ILP_Object y2 = ilptmp64;
{ 
  ILP_Object ilptmp65; 
ilptmp65 = ILP_Integer2ILP(3); 

  {
    ILP_Object y3 = ilptmp65;
{ 
  ILP_Object ilptmp66; 
  ILP_Object ilptmp67; 
ilptmp66 = x1; 
ilptmp67 = y3; 
return ILP_Plus(ilptmp66, ilptmp67);
} 

  }
}

  }
}

} 

Esempio n. 3

File: u14-1.c Progetto: Sinthu-S/ILP-UPMC

ILP_Object ilp_program () 
{ 
{ 
  ILP_Object ilptmp31; 
  ILP_Object ilptmp32; 
ilptmp31 = ILP_Integer2ILP(33); 
ilptmp32 = ILP_Integer2ILP(5); 
return ILP_Modulo(ilptmp31, ilptmp32);
} 

} 

Esempio n. 4

File: u12-1.c Progetto: Sinthu-S/ILP-UPMC

ILP_Object ilp_program () 
{ 
{ 
  ILP_Object ilptmp27; 
  ILP_Object ilptmp28; 
ilptmp27 = ILP_Integer2ILP(3); 
ilptmp28 = ILP_Integer2ILP(4); 
return ILP_Times(ilptmp27, ilptmp28);
} 

} 

Esempio n. 5

File: u13-1.c Progetto: Sinthu-S/ILP-UPMC

ILP_Object ilp_program () 
{ 
{ 
  ILP_Object ilptmp29; 
  ILP_Object ilptmp30; 
ilptmp29 = ILP_Integer2ILP(33); 
ilptmp30 = ILP_Integer2ILP(4); 
return ILP_Divide(ilptmp29, ilptmp30);
} 

} 

Esempio n. 6

File: u33-1.c Progetto: ilyasToumlilt/M1_DLP

ILP_Object ilp_program ()
{
{
 ILP_Object  TEMP14  =  ILP_Integer2ILP(33) ;
 ILP_Object  u  =  TEMP14 ;
{
(void) ILP_String2ILP("foobar") ;
return ILP_Plus( u ,  ILP_Integer2ILP(22) ) ;
}
}
;
}

Esempio n. 7

File: u23-1.c Progetto: Sinthu-S/ILP-UPMC

ILP_Object ilp_program ()
{
    {
        ILP_Object ilptmp46;
        ilptmp46 = ILP_FALSE;
        if ( ILP_isEquivalentToTrue(ilptmp46 ) ) {
            return ILP_Integer2ILP(1);

        } else {
            return ILP_Integer2ILP(2);

        }
    }

}

Esempio n. 8

File: u43-1.c Progetto: Sinthu-S/ILP-UPMC

ILP_Object ilp_program () 
{ 
{ 
  ILP_Object ilptmp110; 
{ 
  ILP_Object ilptmp111; 
  ILP_Object ilptmp112; 
ilptmp111 = ILP_Integer2ILP(4); 
ilptmp112 = ILP_Integer2ILP(5); 
ilptmp110 = ILP_LessThan(ilptmp111, ilptmp112);
} 
return ILP_print(ilptmp110);
}

} 

Esempio n. 9

File: u22-1.c Progetto: ilyasToumlilt/M1_DLP

ILP_Object ilp_program ()
{
{
return ILP_Integer2ILP(22) ;
}
;
}

Esempio n. 10

File: u0710-1.c Progetto: Sinthu-S/ILP-UPMC

ILP_Object ilp_program () 
{ 
{ 
  ILP_Object ilptmp2; 
  ILP_Object ilptmp3; 
ilptmp2 = ILP_FALSE; 
{ 
  ILP_Object ilptmp4; 
  ILP_Object ilptmp5; 
ilptmp4 = ILP_Integer2ILP(710); 
ilptmp5 = ILP_Integer2ILP(2); 
ilptmp3 = ILP_Or(ilptmp4, ilptmp5);
} 
return ILP_Or(ilptmp2, ilptmp3);
} 

} 

Esempio n. 11

File: u07-1.c Progetto: Sinthu-S/ILP-UPMC

ILP_Object ilp_program () 
{ 
{ 
  ILP_Object ilptmp1; 
ilptmp1 = ILP_Integer2ILP(34); 
return ILP_Opposite(ilptmp1);
} 

} 

Esempio n. 12

File: u21-1.c Progetto: ilyasToumlilt/M1_DLP

ILP_Object ilp_program ()
{
{
(void) ILP_Integer2ILP(1) ;
(void) ILP_Float2ILP(2.2) ;
(void) ILP_TRUE ;
return ILP_String2ILP("foobar") ;
}
;
}

Esempio n. 13

File: u26-1.c Progetto: Sinthu-S/ILP-UPMC

ILP_Object ilp_program () 
{ 
{ 
  ILP_Object ilptmp49; 
ilptmp49 = ILP_Integer2ILP(11); 

  {
    ILP_Object x1 = ilptmp49;
return x1; 

  }
}

} 

Esempio n. 14

File: u30-1.c Progetto: nizarAbak-kali/ILP

ILP_Object ilp_program ()
{
{
 ILP_Object  TEMP8  =  ILP_Integer2ILP(22) ;
 ILP_Object  i  =  TEMP8 ;
{
{
 ILP_Object  TEMP9  =  ILP_Float2ILP(3.3) ;
 ILP_Object  f  =  TEMP9 ;
{
return ILP_Plus( i ,  f ) ;
}
}
;
}
}
;
}

Esempio n. 15

File: u10-1.c Progetto: nizarAbak-kali/ILP

ILP_Object ilp_program ()
{
return ILP_Minus( ILP_Integer2ILP(43) ,  ILP_Integer2ILP(34) ) ;
}

Esempio n. 16

File: u12-1.c Progetto: nizarAbak-kali/ILP

ILP_Object ilp_program ()
{
return ILP_Times( ILP_Integer2ILP(3) ,  ILP_Integer2ILP(4) ) ;
}

Esempio n. 17

File: u14-1.c Progetto: nizarAbak-kali/ILP

ILP_Object ilp_program ()
{
return ILP_Modulo( ILP_Integer2ILP(33) ,  ILP_Integer2ILP(5) ) ;
}

Esempio n. 18

File: u49-1.c Progetto: Shaficks/ILP-Shaficks

ILP_Object ilp_program () 
{ 
{ 
  ILP_Object ilptmp127; 
  ILP_Object ilptmp128; 
  ILP_Object ilptmp129; 
ilptmp127 = ILP_Integer2ILP(2); 
ilptmp128 = ILP_Integer2ILP(10); 
ilptmp129 = ILP_Integer2ILP(2); 

  {
    ILP_Object a1 = ilptmp127;
    ILP_Object b2 = ilptmp128;
    ILP_Object c3 = ilptmp129;
{ 
  ILP_Object ilptmp130; 
{ 
  ILP_Object ilptmp131; 
{ 
  ILP_Object ilptmp132; 
  ILP_Object ilptmp133; 
{ 
  ILP_Object ilptmp134; 
  ILP_Object ilptmp135; 
ilptmp134 = b2; 
ilptmp135 = b2; 
ilptmp132 = ILP_Times(ilptmp134, ilptmp135);
} 
{ 
  ILP_Object ilptmp136; 
  ILP_Object ilptmp137; 
ilptmp136 = ILP_Integer2ILP(4); 
{ 
  ILP_Object ilptmp138; 
  ILP_Object ilptmp139; 
ilptmp138 = a1; 
ilptmp139 = c3; 
ilptmp137 = ILP_Times(ilptmp138, ilptmp139);
} 
ilptmp133 = ILP_Times(ilptmp136, ilptmp137);
} 
ilptmp131 = ILP_GreaterThan(ilptmp132, ilptmp133);
} 
  if ( ILP_isEquivalentToTrue(ilptmp131 ) ) {
ilptmp130 =  ILP_String2ILP("discriminant positif: deux racines"); 

  } else {
{ 
  ILP_Object ilptmp140; 
{ 
  ILP_Object ilptmp141; 
  ILP_Object ilptmp142; 
{ 
  ILP_Object ilptmp143; 
  ILP_Object ilptmp144; 
ilptmp143 = b2; 
ilptmp144 = b2; 
ilptmp141 = ILP_Times(ilptmp143, ilptmp144);
} 
{ 
  ILP_Object ilptmp145; 
  ILP_Object ilptmp146; 
ilptmp145 = ILP_Integer2ILP(4); 
{ 
  ILP_Object ilptmp147; 
  ILP_Object ilptmp148; 
ilptmp147 = a1; 
ilptmp148 = c3; 
ilptmp146 = ILP_Times(ilptmp147, ilptmp148);
} 
ilptmp142 = ILP_Times(ilptmp145, ilptmp146);
} 
ilptmp140 = ILP_Equal(ilptmp141, ilptmp142);
} 
  if ( ILP_isEquivalentToTrue(ilptmp140 ) ) {
ilptmp130 =  ILP_String2ILP("discriminant nul: une seule racine"); 

  } else {
ilptmp130 = ILP_FALSE; 

  }
}

  }
}
ilptmp130 =  ILP_String2ILP("discriminant negatif: aucune racine"); 
return ilptmp130; 
} 

  }
}

}