zhu_yao.cpp

实现离散数学中的各项功能

#include "../kuo_zhan/he_cheng.h"
#include "../kuo_zhan/ni_yun_suan.h"
#include "../kuo_zhan/pan_dan.h"
#include "../kuo_zhan/warshall.h"

int main(){
	ji_he a("A"),b("B"),c("C");
	guan_xi ab,bc,ac,aa,ba;
	cout<<"判断性质:"<<endl;
	pan_dan pd(a);
	cout<<"A与A的关系:"<<endl;
	aa=pd.get_gx();
	aa.xian_shi();
	if(pd.cd()==CD)
		cout<<"有传递性."<<endl;
	else if(pd.cd()==NO)
		cout<<"没有传递性."<<endl;
	if(pd.dc()==DC)
		cout<<"有对称性."<<endl;
	else if(pd.dc()==FDC)
		cout<<"有反对称性"<<endl;
	else if(pd.dc()==NO)
		cout<<"没有对称性,也没有反对称性."<<endl;
	if(pd.zf()==ZF)
		cout<<"有自反性"<<endl;
	else if(pd.zf()==FZF)
		cout<<"有自反性"<<endl;
	else if(pd.zf()==NO)
		cout<<"没有自反性,也没有反自反性."<<endl;

	cout<<"关系的合成:"<<endl;
	he_cheng hc=he_cheng(a,b,c);
	ab=hc.get_ab();
	bc=hc.get_bc();
	cout<<"A与B的关系:"<<endl;
	ab.xian_shi();
	cout<<"B与C的关系:"<<endl;
	bc.xian_shi();
	hc.yun_suan();
	cout<<"A与C的关系:"<<endl;
	ac=hc.get_ac();
	ac.xian_shi();
	cout<<ac.get_hang()<<endl<<ac.get_lie()<<endl;

	cout<<"逆运算:"<<endl;
	ni_yun_suan nys=ni_yun_suan(a,b);
	cout<<"A与B的关系:"<<endl;
	ab=nys.get_ab();
	ab.xian_shi();
	cout<<"运算后的关系:"<<endl;
	ba=nys.get_ba();
	ba.xian_shi();

	cout<<"WARSHALL:"<<endl;
	warshall w=warshall(a);
	cout<<"A与A的关系:"<<endl;
	aa=w.get_gx();
	aa.xian_shi();
	w.yun_suan();
	cout<<"运算后的关系:"<<endl;
	aa=w.get_gx();
	aa.xian_shi();

	return 0;
}