Visualization D:\home\db\sfu\ccvisu\dist\examples\crocopat-2.1-FR.svg
src/Makefile
src/config.sh
src/config.txt
run-wcre.sh
src/bddBdd.cpp
src/bddBdd.h
src/bddRelation.cpp
src/bddRelation.h
src/bddSymTab.cpp
src/bddSymTab.h
src/crocopat.cpp
src/FlexLexer.h
src/ctaObject.cpp
src/ctaObject.h
src/dependencies
src/relExpression.h
src/relLex.l
src/relStatement.h
src/relYacc.y
src/reprNUMBER.h
syntax.txt
src/relDataType.cpp
src/relDataType.h
src/relInteger.h
programs/bool.pat
programs/int.pat
readme-license.txt
programs/test.pat
src/relNumExpr.h
src/relStrExpr.h
src/relString.h
src/relNumExpr.cpp
src/relTerm.h
license_lgpl.txt
src/relYacc.output
src/relYacc.tab.cpp.output
programs/ClassesInCycles.pat
programs/Composite.pat
programs/Cycles.pat
programs/InhDegenerate.pat
programs/Logic.pat
programs/SimilarClassesEX.pat
programs/SimilarClassesFA.pat
programs/SimilarClassesSort.pat
programs/SubclassKnowledge.pat
programs/Closure.pat
projects/Eclipse202a/1Relations.rsf
projects/JDK140AWT/1Relations.rsf
projects/JHotDraw52/1Relations.rsf
projects/JWAM16FullAndreas/1Relations.rsf
projects/jdk14v2/1Relations.rsf
programs/FunctionTest.pat
src/relLex-old.l
src/relNumber.h
src/main.cpp
src/getopt.h
programs/Intro_Cyclic.pat
programs/Intro_IO.pat
programs/Intro_Logic.pat
programs/Intro_TC-Exp.pat
programs/Intro_ParentOf.rsf
programs/Intro_TC-Warshall.pat
src/relExprReach.h
src/relStmtRead.h
programs/ClassesInCycles.rml
programs/Closure.rml
programs/Composite.rml
programs/Cycles.rml
programs/FunctionTest.rml
programs/InhDegenerate.rml
programs/Intro_Cyclic.rml
programs/Intro_IO.rml
programs/Intro_Logic.rml
programs/Intro_TC-Exp.rml
programs/Intro_TC-Warshall.rml
programs/SimilarClassesEX.rml
programs/SimilarClassesFA.rml
programs/SimilarClassesSort.rml
programs/SubclassKnowledge.rml
programs/Intro_R.rsf