Main   Namespaces   Classes   Hierarchy   Annotated   Files   Compound   Global   Pages  

HashedPatternSet.hpp File Reference

#include "Pattern.hpp"
#include "RingGodel.hpp"

Go to the source code of this file.

Classes

class  HashedPatternSet
 Hashes patterns by ring godel; use for fast checking. More...

Detailed Description

Definition in file HashedPatternSet.hpp.


6 Jan 2011 Doxygen 1.6.3