| products/Sources/formale Sprachen/Delphi/Elbe 1.0/Sources/ |
|
Quellcode-Bibliothek
© Kompilation durch diese Firma
[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]
Datei: propositions.h Sprache: C
|
//-------------------------------------------
extern long trace; void ergout(char *erg,long res); void argout(char*); void namout(char*); //------------------------------------------- BOOL divisible(NAT x, NAT y); BOOL Prim(NAT x); NAT Pr2(NAT n, NAT x); NAT Fac(NAT n); NAT Pr1(NAT n); NAT Gl(NAT n, NAT x); NAT l(NAT x); NAT Join(NAT x, NAT y); NAT R(NAT x); NAT E(NAT x); BOOL Var2(NAT n, NAT x); BOOL Var1(NAT x); NAT Neg(NAT x); NAT Dis(NAT x, NAT y); NAT Gen(NAT x, NAT y); NAT N(NAT n, NAT x); NAT Z(NAT n); BOOL Typ1(NAT x); BOOL Typ2(NAT n,NAT x); BOOL Elf(NAT x); BOOL Op(NAT x,NAT y,NAT z); BOOL FR(NAT x); BOOL Form(NAT x); BOOL Geb(NAT v,NAT n, NAT x); BOOL Fr3(NAT v,NAT n,NAT x); BOOL Fr2(NAT v,NAT x); NAT Su(NAT x,NAT n, NAT y); NAT St(NAT k,NAT v, NAT x); NAT A(NAT v, NAT x); NAT Sb4(NAT k,NAT x, NAT v,NAT y); NAT Sb3(NAT x,NAT v,NAT y); NAT Imp(NAT x, NAT y); NAT Con(NAT x, NAT y); NAT Aeq(NAT x, NAT y); NAT Ex(NAT v, NAT y); NAT Th(NAT n, NAT x); BOOL Z_Ax(NAT x); BOOL A1_Ax(NAT n,NAT x); BOOL A_Ax(NAT x); BOOL Q(NAT z, NAT y,NAT v); BOOL L1_Ax(NAT x); BOOL L2_Ax(NAT x); BOOL R_Ax(NAT x); BOOL M_Ax(NAT x); BOOL Ax(NAT x); BOOL Fl(NAT x,NAT y,NAT z); BOOL Bw(NAT x); BOOL B(NAT x,NAT y); BOOL Bew(NAT x); NAT Goldbach(NAT n); NAT Primetwin(NAT x); NAT Collatz(NAT x); //-------------------------------------- // End of this Source //-------------------------------------- [ zur Elbe Produktseite wechseln0.19Quellennavigators Analyse erneut starten ] |