2010-11-03 4 views
0

У меня есть функция: formula(f), где f - TERM, а TERM - указатель на структуру. Эта функция печатает формулу, такую ​​как forall([U,V],implies(U,V)]. Эти U и V являются переменными. Мне нужно передать значения в этой переменной и создать формулу в соответствии с комбинацией значений переменной. Предположим, что значения U и V равны 2 и 2, тогда он должен сгенерировать 4 формулы, такие как forall([a_1,b_1]implies(a_1,b_1),forall([a_1,b_2]implies(a_1,b_2)) и т. Д. ... Может кто-нибудь, пожалуйста, помогите мне, как его создать?Передача значений переменных значений в C

+0

Ваш вопрос _very_ непонятно. Что вы подразумеваете под «TERM»? Всегда ли U и V целые числа? Нужно ли генерировать формулы для декартовых произведений наборов чисел от 1 до U и от 1 до V? (т. е. U = 3 и V = 4 означает, что вы должны генерировать для [1,1] .. [1,4], [2,1] .. [2,4] .... [3,4]) Вы возвращаете массив строк C? Как «TERM» и указатель структуры относятся к генерации формулы и U и V? – user470379

+0

У меня есть некоторые модули, и я использую эти модули для генерации формул. В соответствии с модулями это стандартная символьная переменная. – thetna

ответ

0

Предположив, что ваша TERM структуры имеет U и V в качестве членов целочисленных:

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); 
} 

Это то, что вы ищете?

Смежные вопросы