Description: By running the program the screen, enter the number of sequence constitutes dual relationship R, R, or by editing the program assignment correctly determining a given binary relation R is reflexive, symmetric, transitive, reflexive and anti-anti-symmetry , given the situation does not meet at least one counter-example.
To Search:
File list (Check if you may need any files):
BinaryRelation\BinaryRelation\BinaryRelation.vcxproj
..............\..............\BinaryRelation.vcxproj.filters
..............\..............\BinaryRelation.vcxproj.user
..............\..............\Debug\BinaryRelation.Build.CppClean.log
..............\..............\.....\BinaryRelation.exe.embed.manifest
..............\..............\.....\BinaryRelation.exe.embed.manifest.res
..............\..............\.....\BinaryRelation.exe.intermediate.manifest
..............\..............\.....\BinaryRelation.lastbuildstate
..............\..............\.....\BinaryRelation.log
..............\..............\.....\BinaryRelation.vcxprojResolveAssemblyReference.cache
..............\..............\.....\BinaryRelation.write.1.tlog
..............\..............\.....\BinaryRelation_manifest.rc
..............\..............\.....\CL.read.1.tlog
..............\..............\.....\CL.write.1.tlog
..............\..............\.....\link-cvtres.read.1.tlog
..............\..............\.....\link-cvtres.write.1.tlog
..............\..............\.....\link.6016-cvtres.read.1.tlog
..............\..............\.....\link.6016-cvtres.write.1.tlog
..............\..............\.....\link.6016.read.1.tlog
..............\..............\.....\link.6016.write.1.tlog
..............\..............\.....\link.read.1.tlog
..............\..............\.....\link.write.1.tlog
..............\..............\.....\main.obj
..............\..............\.....\mt.read.1.tlog
..............\..............\.....\mt.write.1.tlog
..............\..............\.....\rc.read.1.tlog
..............\..............\.....\rc.write.1.tlog
..............\..............\.....\vc100.idb
..............\..............\.....\vc100.pdb
..............\..............\main.cpp
..............\BinaryRelation.sdf
..............\BinaryRelation.sln
..............\BinaryRelation.suo
..............\BinaryRelation.v11.suo
..............\Debug\BinaryRelation.exe
..............\.....\BinaryRelation.ilk
..............\.....\BinaryRelation.pdb
..............\ipch\binaryrelation-aaa01765\binaryrelation-c3951d0f.ipch
..............\BinaryRelation\Debug
..............\ipch\binaryrelation-aaa01765
..............\BinaryRelation
..............\Debug
..............\ipch
BinaryRelation
Download