dejavu
Fast probabilistic symmetry detection.
Loading...
Searching...
No Matches
dejavu Namespace Reference

Namespaces

namespace  ds
 General-purpose datastructures.
 
namespace  groups
 Data structures and algorithms to deal with groups.
 
namespace  hooks
 A collection of dejavu hooks.
 
namespace  ir
 IR fundamentals.
 
namespace  search_strategy
 High-level IR search strategies.
 

Classes

class  big_number
 Stores big numbers. More...
 
class  preprocessor
 preprocessor for symmetry detection More...
 
class  random_source
 Random number generation. More...
 
class  sgraph
 Internal graph data structure. More...
 
class  solver
 The dejavu solver. More...
 
class  static_graph
 Graph with static number of vertices and edges. More...
 
class  timed_print
 Prints information to the console. More...
 

Functions

std::ostream & operator<< (std::ostream &out, big_number number)
 

Function Documentation

◆ operator<<()

std::ostream & dejavu::operator<< ( std::ostream &  out,
big_number  number 
)
inline

Definition at line 211 of file utility.h.