wpds++-1.4\wpds++-1.4\.cvsignore
..........\..........\CA.h
..........\..........\COPYRIGHT
..........\..........\Doxyfile
..........\..........\Doxyfile.grammatech
..........\..........\HashMap.h
..........\..........\Makefile
..........\..........\Makefile.grammatech
..........\..........\Rule.h
..........\..........\RuleExtender.h
..........\..........\SaturationProcess.h
..........\..........\Schema.h
..........\..........\Traits.h
..........\..........\WPDS.h
..........\..........\Witness.h
..........\..........\catransition.h
..........\..........\common.cpp
..........\..........\common.h
..........\..........\dictionary.cpp
..........\..........\dictionary.h
..........\..........\hm_hash.h
..........\..........\inst_counter.h
..........\..........\key_source.cpp
..........\..........\key_source.h
..........\..........\keys.cpp
..........\..........\keys.h
..........\..........\myallocator.h
..........\..........\ref_ptr.h
..........\..........\semiring.h
..........\..........\zero_alloc.h
..........\..........\util\CA.intersect.h
..........\..........\....\KeyPair.h
..........\..........\....\RuleActionFunctor.h
..........\..........\....\SchemaActionFunctor.h
..........\..........\....\TransActionFunctor.h
..........\..........\....\Triple.h
..........\..........\....\UTIL.h
..........\..........\ewpds\ERule.h
..........\..........\.....\ERuleExtender.h
..........\..........\.....\ESaturationProcess.h
..........\..........\.....\EWPDS.h
..........\..........\.....\confluence_functions.h
..........\..........\Win32\.cvsignore
..........\..........\.....\WPDS.dsp
..........\..........\.....\WPDS.dsw
..........\..........\.....\top-defines.txt
..........\..........\Examples\Makefile
..........\..........\........\tfa\.cvsignore
..........\..........\........\...\Makefile
..........\..........\........\...\stringwrapper.cpp
..........\..........\........\...\stringwrapper.h
..........\..........\........\...\tfa.cpp
..........\..........\........\...\baselines\tfa.txt
..........\..........\........\substrings\.cvsignore
..........\..........\........\..........\Makefile
..........\..........\........\..........\int_post.cpp
..........\..........\........\..........\stringwrapper.cpp
..........\..........\........\..........\stringwrapper.h
..........\..........\........\..........\test_extender.cpp
..........\..........\........\..........\test_post.cpp
..........\..........\........\..........\test_post_witness.cpp
..........\..........\........\..........\test_pre.cpp
..........\..........\........\..........\tpostpre.cpp
..........\..........\........\..........\baselines\.cvsignore
..........\..........\........\..........\.........\int_post.txt
..........\..........\........\..........\.........\test_extender.txt
..........\..........\........\..........\.........\test_post.txt
..........\..........\........\..........\.........\test_pre.txt
..........\..........\........\..........\.........\tpostpre.txt
..........\..........\........\interrupt\.cvsignore
..........\..........\........\.........\Makefile
..........\..........\........\.........\chkint.cc
..........\..........\........\.........\elem.cc
..........\..........\........\.........\elem.h
..........\..........\........\.........\baselines\chkint.txt
..........\..........\........\csurf\.cvsignore
..........\..........\........\.....\Makefile
..........\..........\........\.....\pa.cpp
..........\..........\........\.....\baselines\.cvsignore
..........\..........\........\.....\.........\pa.txt
..........\..........\........\Reach\.cvsignore
..........\..........\........\.....\ExReach.cpp
..........\..........\........\.....\Makefile
..........\..........\........\.....\Reach.cpp
..........\..........\........\.....\Reach.h
..........\..........\........\.....\baselines\ExReach.txt
..........\..........\........\GenKill\.cvsignore
..........\..........\........\.......\Makefile
..........\..........\........\.......\dictionary_t.cpp
..........\..........\........\.......\dictionary_t.h
..........\..........\........\.......\genkill.cpp
..........\..