rrrTypes.h File Reference

#include <vector>
#include <chrono>

Include dependency graph for rrrTypes.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes
struct	rrr::Action

Namespaces
namespace	rrr

Typedefs
using	rrr::seconds = int64_t
using	rrr::clock_type = std::chrono::steady_clock
using	rrr::time_point = std::chrono::time_point<clock_type>
template<typename T>
using	rrr::summary = std::vector<std::pair<std::string, T>>

Enumerations
enum	rrr::NodeType {   rrr::PI , rrr::PO , rrr::AND , rrr::XOR ,   rrr::LUT }
enum	rrr::SatResult { rrr::SAT , rrr::UNSAT , rrr::UNDET }
enum	rrr::VarValue : char {   rrr::UNDEF , rrr::TRUE , rrr::FALSE , rrr::TEMP_TRUE ,   rrr::TEMP_FALSE }
enum	rrr::ActionType {   rrr::NONE , rrr::REMOVE_FANIN , rrr::REMOVE_UNUSED , rrr::REMOVE_BUFFER ,   rrr::REMOVE_CONST , rrr::ADD_FANIN , rrr::TRIVIAL_COLLAPSE , rrr::TRIVIAL_DECOMPOSE ,   rrr::SORT_FANINS , rrr::READ , rrr::SAVE , rrr::LOAD ,   rrr::POP_BACK , rrr::INSERT }