Creo que éso servirá.
¡Muchas gracias!
¡Muchas gracias!
Esta sección te permite ver todos los mensajes escritos por este usuario. Ten en cuenta que sólo puedes ver los mensajes escritos en zonas a las que tienes acceso en este momento.
Mostrar Mensajes Menústring toString(int x){
stringstream str;
str << x;
return str.str();
}
for (int i = 0; i < matriz.size(); i++) {
for (int j = 0; j < matriz.size(); j++)
texto = texto + "(declare-const " + "p_" + toString(i) + "_" + toString(j) + " Bool) \n";
texto = texto + "\n";
}
void createFile(vector<vector<bool>> matriz) {
ofstream fs("prueba.txt");
string texto = "";
// Declaración de constantes
for (int i = 0; i < matriz.size(); i++) {
for (int j = 0; j < matriz.size(); j++)
texto = texto + "(declare-const " + "p_" + (char)i + "_" + (char)j + " Bool) \n";
texto = texto + "\n";
}
fs << texto;
fs.close();
}
(declare-const p__ Bool)
(declare-const p__ Bool)
(declare-const p__ Bool)
(declare-const p__ Bool)
(declare-const p__ Bool)
(declare-const p_1_1 Bool)
(declare-const p_1_2 Bool)
(declare-const p_1_3 Bool)
(declare-const p_1_4 Bool)
(declare-const p_1_5 Bool)
int a = 32;
char c = (char)a;
cout << "number: " << c << endl;