|
ABC: A System for Sequential Synthesis and Verification
|
|
|
ABC: A System for Sequential Synthesis and Verification
|
|
This is the complete list of members for rrr::AndNetwork, including all inherited members.
| AddAnd(int id0, int id1, bool c0, bool c1) | rrr::AndNetwork | inline |
| AddCallback(Callback const &callback) | rrr::AndNetwork | |
| AddFanin(int id, int fi, bool c) | rrr::AndNetwork | |
| AddPi() | rrr::AndNetwork | inline |
| AddPo(int id, bool c) | rrr::AndNetwork | inline |
| AndNetwork() | rrr::AndNetwork | |
| AndNetwork(AndNetwork const &x) | rrr::AndNetwork | |
| Clear(bool fClearCallbacks=true) | rrr::AndNetwork | |
| Extract(Container< Ts... > const &ids, std::vector< int > const &vInputs, std::vector< int > const &vOutputs) | rrr::AndNetwork | |
| FindFanin(int id, int fi) const | rrr::AndNetwork | inline |
| ForEachFanin(int id, Func const &func) const | rrr::AndNetwork | inline |
| ForEachFaninIdx(int id, Func const &func) const | rrr::AndNetwork | inline |
| ForEachFanout(int id, bool fPos, Func const &func) const | rrr::AndNetwork | inline |
| ForEachFanoutRidx(int id, bool fPos, Func const &func) const | rrr::AndNetwork | inline |
| ForEachInt(std::function< void(int)> const &func) const | rrr::AndNetwork | inline |
| ForEachIntReverse(std::function< void(int)> const &func) const | rrr::AndNetwork | inline |
| ForEachPi(std::function< void(int)> const &func) const | rrr::AndNetwork | inline |
| ForEachPiIdx(std::function< void(int, int)> const &func) const | rrr::AndNetwork | inline |
| ForEachPiInt(std::function< void(int)> const &func) const | rrr::AndNetwork | inline |
| ForEachPo(std::function< void(int)> const &func) const | rrr::AndNetwork | inline |
| ForEachPoDriver(Func const &func) const | rrr::AndNetwork | inline |
| ForEachTfi(int id, bool fPis, std::function< void(int)> const &func) | rrr::AndNetwork | inline |
| ForEachTfiEnd(int id, Container< Ts... > const &ends, std::function< void(int)> const &func) | rrr::AndNetwork | inline |
| ForEachTfisUpdate(Container< Ts... > const &ids, bool fPis, std::function< bool(int)> const &func) | rrr::AndNetwork | inline |
| ForEachTfiUpdate(int id, bool fPis, std::function< bool(int)> const &func) | rrr::AndNetwork | inline |
| ForEachTfo(int id, bool fPos, std::function< void(int)> const &func) | rrr::AndNetwork | inline |
| ForEachTfoReverse(int id, bool fPos, std::function< void(int)> const &func) | rrr::AndNetwork | inline |
| ForEachTfos(Container< Ts... > const &ids, bool fPos, std::function< void(int)> const &func) | rrr::AndNetwork | inline |
| ForEachTfosUpdate(Container< Ts... > const &ids, bool fPos, std::function< bool(int)> const &func) | rrr::AndNetwork | inline |
| ForEachTfoUpdate(int id, bool fPos, std::function< bool(int)> const &func) | rrr::AndNetwork | inline |
| GetCompl(int id, int idx) const | rrr::AndNetwork | inline |
| GetConst0() const | rrr::AndNetwork | inline |
| GetExtendedFanins(int id) | rrr::AndNetwork | inline |
| GetFanin(int id, int idx) const | rrr::AndNetwork | inline |
| GetInners(Container< Ts... > const &srcs, Container2< Ts2... > const &dsts) | rrr::AndNetwork | inline |
| GetIntIndex(int id) const | rrr::AndNetwork | inline |
| GetInts() const | rrr::AndNetwork | inline |
| GetNeighbors(int id, bool fPis, int nHops) | rrr::AndNetwork | inline |
| GetNodeType(int id) const | rrr::AndNetwork | inline |
| GetNumFanins(int id) const | rrr::AndNetwork | inline |
| GetNumFanouts(int id) const | rrr::AndNetwork | inline |
| GetNumInts() const | rrr::AndNetwork | inline |
| GetNumLevels() const | rrr::AndNetwork | |
| GetNumNodes() const | rrr::AndNetwork | inline |
| GetNumPis() const | rrr::AndNetwork | inline |
| GetNumPos() const | rrr::AndNetwork | inline |
| GetPi(int idx) const | rrr::AndNetwork | inline |
| GetPiIndex(int id) const | rrr::AndNetwork | inline |
| GetPis() const | rrr::AndNetwork | inline |
| GetPisInts() const | rrr::AndNetwork | inline |
| GetPo(int idx) const | rrr::AndNetwork | inline |
| GetPoIndex(int id) const | rrr::AndNetwork | inline |
| GetPos() const | rrr::AndNetwork | inline |
| Insert(AndNetwork *pNtk, std::vector< int > const &vInputs, std::vector< bool > const &vCompls, std::vector< int > const &vOutputs) | rrr::AndNetwork | |
| IsInt(int id) const | rrr::AndNetwork | inline |
| IsPi(int id) const | rrr::AndNetwork | inline |
| IsPo(int id) const | rrr::AndNetwork | inline |
| IsPoDriver(int id) const | rrr::AndNetwork | inline |
| IsReachable(Container< Ts... > const &srcs, Container2< Ts2... > const &dsts) | rrr::AndNetwork | inline |
| IsReconvergent(int id) | rrr::AndNetwork | inline |
| Load(int slot) | rrr::AndNetwork | |
| operator=(AndNetwork const &x) | rrr::AndNetwork | |
| PopBack() | rrr::AndNetwork | |
| Print() const | rrr::AndNetwork | |
| Propagate(int id=-1) | rrr::AndNetwork | |
| Read(Ntk *pFrom, Reader &reader, bool fNew=true) | rrr::AndNetwork | |
| RemoveBuffer(int id) | rrr::AndNetwork | |
| RemoveConst(int id) | rrr::AndNetwork | |
| RemoveFanin(int id, int idx) | rrr::AndNetwork | |
| RemoveUnused(int id, bool fRecursive=false, bool fSweeping=false) | rrr::AndNetwork | |
| Reserve(int nReserve) | rrr::AndNetwork | |
| Save(int slot=-1) | rrr::AndNetwork | |
| SortFanins(int id, Func const &cost) | rrr::AndNetwork | |
| Sweep(bool fPropagate=true) | rrr::AndNetwork | |
| TrivialCollapse(int id) | rrr::AndNetwork | |
| TrivialDecompose(int id) | rrr::AndNetwork | |
| UseComplementedEdges() const | rrr::AndNetwork | inline |