2010-11-03 11 views
0

J'ai une fonction disons formula(f), où f est un TERM et TERM est un pointeur de structure. Cette fonction imprime une formule comme forall([U,V],implies(U,V)]. Ces U et V sont variables. J'ai besoin de passer les valeurs dans ces variables et de générer le forumula en fonction de la combinaison des valeurs de la variable. Supposons que les valeurs de U et V sont 2 et 2 puis il faut générer les 4 formules comme forall([a_1,b_1]implies(a_1,b_1),forall([a_1,b_2]implies(a_1,b_2)) et ainsi de suite ... Quelqu'un peut-il m'aider s'il vous plaît comment le générer?Passer les valeurs des valeurs variables dans C

+0

Votre question est _very_ peu claire. Qu'entendez-vous par «TERM»? Est-ce que U et V sont toujours des entiers? Avez-vous besoin de générer les formules pour les produits cartésiens des ensembles de nombres de 1 à U et de 1 à V? (ie: U = 3 et V = 4 signifie que vous devez générer pour [1,1] .. [1,4], [2,1] .. [2,4] .... [3,4]) Renvoyez-vous un tableau de chaînes C? Comment 'TERM' et le pointeur de structure se rapportent à la génération de la formule et U et V? – user470379

+0

J'ai quelques modules et j'utilise ces modules pour générer les formules. Selon les modoules, il s'agit d'une variable de symbole standard. – thetna

Répondre

0

que la structure présumant TERM a U et V en tant que membres entiers:

void formula(TERM* term) { 
    int x = 0; 
    int y = 0; 
    for (x; x < (*term).U; ++x) 
    for (y; y < (*term).J; ++y) 
     printf("forall([a_%d,b_%d] implies(a_%d, b_%d))\n", x, y, x, y); 
} 

Est-ce que vous cherchez?

Questions connexes