#include "aig/gia/gia.h"#include "base/main/main.h"#include "base/cmd/cmd.h"#include "rrrUtils.h"

Go to the source code of this file.
Namespaces | |
| namespace | rrr |
Functions | |
| template<typename Ntk> | |
| void | rrr::GiaReader (Gia_Man_t *pGia, Ntk *pNtk) |
| template<typename Ntk> | |
| Gia_Man_t * | rrr::CreateGia (Ntk *pNtk, bool fHash=true) |
| template<typename Ntk> | |
| void | rrr::Abc9Execute (Ntk *pNtk, std::string Command) |