ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
rrrUtils.h File Reference
#include <iostream>
#include <iomanip>
#include <sstream>
#include <vector>
#include <set>
#include <string>
#include <functional>
#include <limits>
#include <type_traits>
#include <cassert>
#include "rrrTypes.h"
Include dependency graph for rrrUtils.h:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes

struct  rrr::is_invokable< Fn, Args >
 
struct  rrr::SW
 
struct  rrr::NS
 

Namespaces

namespace  rrr
 

Functions

template<typename T>
std::ostream & rrr::operator<< (std::ostream &os, const std::vector< T > &v)
 
template<typename T>
std::ostream & rrr::operator<< (std::ostream &os, const std::set< T > &s)
 
void rrr::PrintComplementedEdges (std::function< void(std::function< void(int, bool)> const &)> const &ForEachEdge)
 
template<typename T>
void rrr::PrintNext (std::ostream &os, T t)
 
template<typename T, typename... Args>
void rrr::PrintNext (std::ostream &os, T t, Args... args)
 
bool rrr::ForEachCombinationStopRec (std::vector< int > &v, int n, int k, std::function< bool(std::vector< int > const &)> const &func)