| /* | |
| * yosys -- Yosys Open SYnthesis Suite | |
| * | |
| * Copyright (C) 2012 Clifford Wolf <clifford@clifford.at> | |
| * | |
| * Permission to use, copy, modify, and/or distribute this software for any | |
| * purpose with or without fee is hereby granted, provided that the above | |
| * copyright notice and this permission notice appear in all copies. | |
| * | |
| * THE SOFTWARE IS PROVIDED "AS IS" AND THE AUTHOR DISCLAIMS ALL WARRANTIES | |
| * WITH REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF | |
| * MERCHANTABILITY AND FITNESS. IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR | |
| * ANY SPECIAL, DIRECT, INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES | |
| * WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN | |
| * ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF | |
| * OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE. | |
| * | |
| */ | |
| #ifndef CELLAIGS_H | |
| #define CELLAIGS_H | |
| #include "kernel/yosys.h" | |
| YOSYS_NAMESPACE_BEGIN | |
| struct AigNode | |
| { | |
| IdString portname; | |
| int portbit; | |
| bool inverter; | |
| int left_parent, right_parent; | |
| vector<pair<IdString, int>> outports; | |
| AigNode(); | |
| bool operator==(const AigNode &other) const; | |
| unsigned int hash() const; | |
| }; | |
| struct Aig | |
| { | |
| string name; | |
| vector<AigNode> nodes; | |
| Aig(Cell *cell); | |
| bool operator==(const Aig &other) const; | |
| unsigned int hash() const; | |
| }; | |
| YOSYS_NAMESPACE_END | |
| #endif |