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