 |
P4C
The P4 Compiler
|
|
P4C
The P4 Compiler
|
This is the complete list of members for P4::P4Tools::Z3Translator, including all inherited members.
| apply_visitor(const IR::Node *, const char *name=0) override (defined in P4::Inspector) | P4::Inspector | virtual |
| called_by (defined in P4::Visitor) | P4::Visitor | |
| check_global(cstring) (defined in P4::Visitor) | P4::Visitor | inlinevirtual |
| clear_globals() (defined in P4::Visitor) | P4::Visitor | inlinevirtual |
| clone() const (defined in P4::Visitor) | P4::Visitor | inlinevirtual |
| Context typedef (defined in P4::Visitor) | P4::Visitor | |
| controlFlowVisitor() (defined in P4::Visitor) | P4::Visitor | inlinevirtual |
| demangle(const char *) (defined in P4::Visitor) | P4::Visitor | static |
| dontForwardChildrenBeforePreorder (defined in P4::Visitor) | P4::Visitor | protected |
| end_apply() (defined in P4::Visitor) | P4::Visitor | virtual |
| end_apply(const IR::Node *root) (defined in P4::Visitor) | P4::Visitor | virtual |
| erase_global(cstring) (defined in P4::Visitor) | P4::Visitor | inlinevirtual |
| findContext(const Context *&c) const (defined in P4::Visitor) | P4::Visitor | inline |
| findContext() const (defined in P4::Visitor) | P4::Visitor | inline |
| findOrigCtxt(const Context *&c) const (defined in P4::Visitor) | P4::Visitor | inline |
| findOrigCtxt() const (defined in P4::Visitor) | P4::Visitor | inline |
| flow_clone() (defined in P4::Visitor) | P4::Visitor | inlinevirtual |
| flow_merge(Visitor &) | P4::Visitor | inlinevirtual |
| flow_merge_closure(Visitor &) (defined in P4::Visitor) | P4::Visitor | inlinevirtual |
| flow_merge_global_from(cstring) (defined in P4::Visitor) | P4::Visitor | inlinevirtual |
| flow_merge_global_to(cstring) | P4::Visitor | inlinevirtual |
| getChildContext() const (defined in P4::Visitor) | P4::Visitor | inline |
| getChildrenVisited() const (defined in P4::Visitor) | P4::Visitor | inline |
| getContext() const (defined in P4::Visitor) | P4::Visitor | inline |
| getContextDepth() const (defined in P4::Visitor) | P4::Visitor | inline |
| getCurrentNode() const | P4::Visitor | inline |
| getOriginal() const (defined in P4::Visitor) | P4::Visitor | inline |
| getParent() const (defined in P4::Visitor) | P4::Visitor | inline |
| getResult() | P4::P4Tools::Z3Translator | |
| has_flow_joins() const (defined in P4::Visitor) | P4::Visitor | inlinevirtual |
| init_apply(const IR::Node *root) override (defined in P4::Inspector) | P4::Inspector | virtual |
| init_apply(const IR::Node *root, const Context *parent_context) (defined in P4::Visitor) | P4::Visitor | |
| init_join_flows(const IR::Node *) (defined in P4::Visitor) | P4::Visitor | inlineprotectedvirtual |
| internalName (defined in P4::Visitor) | P4::Visitor | mutable |
| isInContext(const IR::Node *n) const (defined in P4::Visitor) | P4::Visitor | inline |
| join_flows(const IR::Node *) | P4::Visitor | inlineprotectedvirtual |
| joinFlows (defined in P4::Visitor) | P4::Visitor | protected |
| loop_revisit(const IR::Node *) (defined in P4::Inspector) | P4::Inspector | inlinevirtual |
| name() const (defined in P4::Visitor) | P4::Visitor | inlinevirtual |
| parallel_visit(IR::Vector< T > &v, const char *name=0) (defined in P4::Visitor) | P4::Visitor | inline |
| parallel_visit(const IR::Vector< T > &v, const char *name=0) (defined in P4::Visitor) | P4::Visitor | inline |
| parallel_visit(IR::Vector< T > &v, const char *name, int cidx) (defined in P4::Visitor) | P4::Visitor | inline |
| parallel_visit(const IR::Vector< T > &v, const char *name, int cidx) (defined in P4::Visitor) | P4::Visitor | inline |
| post_join_flows(const IR::Node *, const IR::Node *) | P4::Visitor | inlineprotectedvirtual |
| postorder(const IR::Node *) (defined in P4::Inspector) | P4::Inspector | inlinevirtual |
| preorder(const IR::Node *node) override | P4::P4Tools::Z3Translator | virtual |
| preorder(const IR::Cast *cast) override | P4::P4Tools::Z3Translator | |
| preorder(const IR::Constant *constant) override | P4::P4Tools::Z3Translator | |
| preorder(const IR::BoolLiteral *boolLiteral) override (defined in P4::P4Tools::Z3Translator) | P4::P4Tools::Z3Translator | |
| preorder(const IR::StringLiteral *stringLiteral) override (defined in P4::P4Tools::Z3Translator) | P4::P4Tools::Z3Translator | |
| preorder(const IR::SymbolicVariable *var) override | P4::P4Tools::Z3Translator | |
| preorder(const IR::Neg *op) override (defined in P4::P4Tools::Z3Translator) | P4::P4Tools::Z3Translator | |
| preorder(const IR::Cmpl *op) override (defined in P4::P4Tools::Z3Translator) | P4::P4Tools::Z3Translator | |
| preorder(const IR::LNot *op) override (defined in P4::P4Tools::Z3Translator) | P4::P4Tools::Z3Translator | |
| preorder(const IR::Equ *op) override (defined in P4::P4Tools::Z3Translator) | P4::P4Tools::Z3Translator | |
| preorder(const IR::Neq *op) override (defined in P4::P4Tools::Z3Translator) | P4::P4Tools::Z3Translator | |
| preorder(const IR::Lss *op) override (defined in P4::P4Tools::Z3Translator) | P4::P4Tools::Z3Translator | |
| preorder(const IR::Leq *op) override (defined in P4::P4Tools::Z3Translator) | P4::P4Tools::Z3Translator | |
| preorder(const IR::Grt *op) override (defined in P4::P4Tools::Z3Translator) | P4::P4Tools::Z3Translator | |
| preorder(const IR::Geq *op) override (defined in P4::P4Tools::Z3Translator) | P4::P4Tools::Z3Translator | |
| preorder(const IR::Mod *op) override (defined in P4::P4Tools::Z3Translator) | P4::P4Tools::Z3Translator | |
| preorder(const IR::Add *op) override (defined in P4::P4Tools::Z3Translator) | P4::P4Tools::Z3Translator | |
| preorder(const IR::Sub *op) override (defined in P4::P4Tools::Z3Translator) | P4::P4Tools::Z3Translator | |
| preorder(const IR::Mul *op) override (defined in P4::P4Tools::Z3Translator) | P4::P4Tools::Z3Translator | |
| preorder(const IR::Div *op) override (defined in P4::P4Tools::Z3Translator) | P4::P4Tools::Z3Translator | |
| preorder(const IR::Shl *op) override (defined in P4::P4Tools::Z3Translator) | P4::P4Tools::Z3Translator | |
| preorder(const IR::Shr *op) override (defined in P4::P4Tools::Z3Translator) | P4::P4Tools::Z3Translator | |
| preorder(const IR::BAnd *op) override (defined in P4::P4Tools::Z3Translator) | P4::P4Tools::Z3Translator | |
| preorder(const IR::BOr *op) override (defined in P4::P4Tools::Z3Translator) | P4::P4Tools::Z3Translator | |
| preorder(const IR::BXor *op) override (defined in P4::P4Tools::Z3Translator) | P4::P4Tools::Z3Translator | |
| preorder(const IR::LAnd *op) override (defined in P4::P4Tools::Z3Translator) | P4::P4Tools::Z3Translator | |
| preorder(const IR::LOr *op) override (defined in P4::P4Tools::Z3Translator) | P4::P4Tools::Z3Translator | |
| preorder(const IR::Concat *op) override (defined in P4::P4Tools::Z3Translator) | P4::P4Tools::Z3Translator | |
| preorder(const IR::Mux *op) override | P4::P4Tools::Z3Translator | |
| preorder(const IR::Slice *op) override (defined in P4::P4Tools::Z3Translator) | P4::P4Tools::Z3Translator | |
| print_context() const (defined in P4::Visitor) | P4::Visitor | |
| revisit(const IR::Node *) (defined in P4::Inspector) | P4::Inspector | inlinevirtual |
| revisit_visited() (defined in P4::Inspector) | P4::Inspector | |
| setCalledBy(const Visitor *visitor) (defined in P4::Visitor) | P4::Visitor | inline |
| setName(const char *name) (defined in P4::Visitor) | P4::Visitor | inline |
| split_link (defined in P4::Visitor) | P4::Visitor | |
| split_link_mem (defined in P4::Visitor) | P4::Visitor | |
| translate(const IR::Expression *expression) | P4::P4Tools::Z3Translator | |
| visit(const IR::Node *&n, const char *name=0) (defined in P4::Visitor) | P4::Visitor | inline |
| visit(const IR::Node *const &n, const char *name=0) (defined in P4::Visitor) | P4::Visitor | inline |
| visit(const IR::Node *&n, const char *name, int cidx) (defined in P4::Visitor) | P4::Visitor | inline |
| visit(const IR::Node *const &n, const char *name, int cidx) (defined in P4::Visitor) | P4::Visitor | inline |
| visit(IR::Node *&, const char *=0, int=0) (defined in P4::Visitor) | P4::Visitor | inline |
| visit(IR::Node &n, const char *name=0) (defined in P4::Visitor) | P4::Visitor | inline |
| visit(const IR::Node &n, const char *name=0) (defined in P4::Visitor) | P4::Visitor | inline |
| visit(IR::Node &n, const char *name, int cidx) (defined in P4::Visitor) | P4::Visitor | inline |
| visit(const IR::Node &n, const char *name, int cidx) (defined in P4::Visitor) | P4::Visitor | inline |
| visit_children(const IR::Node *, std::function< void()> fn) (defined in P4::Visitor) | P4::Visitor | inlineprotected |
| visit_in_progress(const IR::Node *n) const (defined in P4::Inspector) | P4::Inspector | |
| visitAgain() const override (defined in P4::Inspector) | P4::Inspector | virtual |
| visitDagOnce (defined in P4::Visitor) | P4::Visitor | protected |
| visitOnce() const override (defined in P4::Inspector) | P4::Inspector | virtual |
| Visitor() (defined in P4::Visitor) | P4::Visitor | inline |
| warn(const int kind, const char *format, const T *node, Args &&...args) (defined in P4::Visitor) | P4::Visitor | inline |
| P4::Inspector::warn(const int kind, const char *format, const T &node, Args &&...args) | P4::Visitor | inline |
| warning_enabled(int warning_kind) const | P4::Visitor | inline |
| P4::Inspector::warning_enabled(const Visitor *visitor, int warning_kind) | P4::Visitor | static |
| Z3Translator(Z3Solver &solver) | P4::P4Tools::Z3Translator | explicit |
| ~Visitor()=default (defined in P4::Visitor) | P4::Visitor | virtual |
1.12.0