From 8bd22421815552900fb6495d587d876b4d720cb4 Mon Sep 17 00:00:00 2001 From: saviomaia Date: Fri, 13 Dec 2013 11:37:23 -0200 Subject: [PATCH 1/3] Adicionando "printf" ao arquivo "main.c". --- main.c | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/main.c b/main.c index 51d709c..2d75e21 100644 --- a/main.c +++ b/main.c @@ -1,6 +1,6 @@ /* Copyright © 2013 FreeUFG. - + This file is part of BonusMD. BonusMD is free software: you can redistribute it and/or modify @@ -23,6 +23,6 @@ int main() { relacao_01(); - + printf("Meu nome eh Savio Maia.\n"); return 0; } From c1e61aa10481876881c5562c055a7d107b3684de Mon Sep 17 00:00:00 2001 From: saviomaia Date: Fri, 13 Dec 2013 11:56:22 -0200 Subject: [PATCH 2/3] printf() printf() --- main.c | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/main.c b/main.c index 2d75e21..51d709c 100644 --- a/main.c +++ b/main.c @@ -1,6 +1,6 @@ /* Copyright © 2013 FreeUFG. - + This file is part of BonusMD. BonusMD is free software: you can redistribute it and/or modify @@ -23,6 +23,6 @@ int main() { relacao_01(); - printf("Meu nome eh Savio Maia.\n"); + return 0; } From 57c98b60eda7d578c6a7abe9400393f5e38790ac Mon Sep 17 00:00:00 2001 From: saviomaia Date: Wed, 22 Jan 2014 20:07:46 -0200 Subject: [PATCH 3/3] Verificando propriedade de equivalencia. --- relacoes.h | 9 +++++---- 1 file changed, 5 insertions(+), 4 deletions(-) diff --git a/relacoes.h b/relacoes.h index 4cb1299..11f039c 100644 --- a/relacoes.h +++ b/relacoes.h @@ -9,8 +9,8 @@ void relacao_01(){ int conjS[3] = {1,2,3}; int rho[3][2] = { {1,2}, {3,2}, {1,1} }; - int reflexiva = 0; - int simetrica = 0; + int reflexiva = 1; + int simetrica = 1; int transitiva = 1; int anti_simetrica = 1; int equivalencia = 0; @@ -29,9 +29,10 @@ void relacao_01(){ if(ehAntiSimetrica() != anti_simetrica){ printf("ERRO: [%s] - Problema na propriedade anti-simetrica!\n", nome); } - if(ehEquivalencia() != equivalencia){ - printf("ERRO: [%s] - Problema na verifiacao da equivalencia!\n", nome); + if(((simetrica==1)&&(transitiva==1)&&(reflexiva==1)) != equivalencia){ + printf("ERRO: [%s] - Problema na verifiacao da equivalencia!\n", nome); } + } #endif