2 #include "util/uuid.hpp" 3 #include "nlohmann/json_fwd.hpp" 4 #include "pool/unit.hpp" 5 #include "pool/symbol.hpp" 6 #include "pool/gate.hpp" 7 #include "block/block.hpp" 8 #include "util/uuid_ptr.hpp" 9 #include "util/placement.hpp" 10 #include "util/uuid_provider.hpp" 11 #include "pool/pool.hpp" 29 std::vector<uuid_ptr<Text>> texts;
31 enum class PinDisplayMode { SELECTED_ONLY, BOTH, ALL };
32 PinDisplayMode pin_display_mode = PinDisplayMode::SELECTED_ONLY;
33 bool display_directions =
false;
35 std::string replace_text(
const std::string &t,
bool *replaced =
nullptr)
const;
37 UUID get_uuid()
const override;
38 json serialize()
const;
a class to store JSON values
Definition: json.hpp:161
Definition: placement.hpp:8
Interface for objects that have a UUID.
Definition: uuid_provider.hpp:9
A block is one level of hierarchy in the netlist.
Definition: block.hpp:25
Definition: uuid_ptr.hpp:9
This class encapsulates a UUID and allows it to be uses as a value type.
Definition: uuid.hpp:16
Definition: symbol.hpp:70
Stores objects (Unit, Entity, Symbol, Part, etc.) from the pool.
Definition: pool.hpp:18
basic_json<> json
default JSON class
Definition: json_fwd.hpp:61
Definition: schematic_symbol.hpp:19