Horizon
rule_connectivity.hpp
1#include "rules/rule.hpp"
2#include "common/common.hpp"
3
4namespace horizon {
5class RuleConnectivity : public Rule {
6public:
7 static const auto id = RuleID::CONNECTIVITY;
8 RuleID get_id() const override
9 {
10 return id;
11 }
12
14 RuleConnectivity(const json &j);
15 json serialize() const override;
16
17 std::string get_brief(const class Block *block = nullptr, class IPool *pool = nullptr) const override;
18
19 bool include_unnamed = true;
20};
21} // namespace horizon
A block is one level of hierarchy in the netlist.
Definition: block.hpp:29
Definition: ipool.hpp:14
Definition: rule_connectivity.hpp:5
Definition: rule.hpp:57
a class to store JSON values
Definition: json.hpp:177