Home
last modified time | relevance | path

Searched refs:visit_simplerule (Results 1 – 21 of 21) sorted by relevance

/dports/math/rumur/rumur-2021.09.29/librumur/include/rumur/
H A Dtraverse.h79 virtual void visit_simplerule(SimpleRule &n) = 0;
165 void visit_simplerule(SimpleRule &n) override;
243 virtual void visit_simplerule(const SimpleRule &n) = 0;
321 void visit_simplerule(const SimpleRule &n) override;
374 void visit_simplerule(const SimpleRule &n) final;
437 void visit_simplerule(const SimpleRule &n) final;
506 void visit_simplerule(const SimpleRule &n) final;
H A Dindexer.h79 void visit_simplerule(SimpleRule &n) final;
/dports/math/rumur/rumur-2021.09.29/librumur/src/
H A DRule.cc94 visitor.visit_simplerule(*this); in visit()
98 visitor.visit_simplerule(*this); in visit()
H A Dsanitise_rule_names.cc64 void visit_simplerule(SimpleRule &n) final { name(n, "rule"); } in visit_simplerule() function in __anon44cfa3af0111::RuleNamer
H A Dtraverse.cc221 void Traversal::visit_simplerule(SimpleRule &n) { in visit_simplerule() function in rumur::Traversal
494 void ConstTraversal::visit_simplerule(const SimpleRule &n) { in visit_simplerule() function in rumur::ConstTraversal
690 void ConstExprTraversal::visit_simplerule(const SimpleRule &n) { in visit_simplerule() function in rumur::ConstExprTraversal
906 void ConstStmtTraversal::visit_simplerule(const SimpleRule &n) { in visit_simplerule() function in rumur::ConstStmtTraversal
1144 void ConstTypeTraversal::visit_simplerule(const SimpleRule &n) { in visit_simplerule() function in rumur::ConstTypeTraversal
H A Dindexer.cc266 void Indexer::visit_simplerule(SimpleRule &n) { in visit_simplerule() function in rumur::Indexer
H A Dvalidate.cc352 void visit_simplerule(const SimpleRule &n) final { in visit_simplerule() function in __anonbbcfa44f0111::Validator
H A Dresolve-symbols.cc389 void visit_simplerule(SimpleRule &n) final { in visit_simplerule() function in __anon76ca219b0111::Resolver
/dports/math/rumur/rumur-2021.09.29/murphi2murphi/src/
H A DExplicitSemicolons.h32 void visit_simplerule(const rumur::SimpleRule &n) final;
H A DStage.cc165 void IntermediateStage::visit_simplerule(const SimpleRule &n) { in visit_simplerule() function in IntermediateStage
166 next.visit_simplerule(n); in visit_simplerule()
H A DExplicitSemicolons.cc82 void ExplicitSemicolons::visit_simplerule(const SimpleRule &n) { in visit_simplerule() function in ExplicitSemicolons
H A DPrinter.h74 void visit_simplerule(const rumur::SimpleRule &n) final;
H A DStage.h118 void visit_simplerule(const rumur::SimpleRule &n) override;
H A DPrinter.cc395 void Printer::visit_simplerule(const SimpleRule &n) { in visit_simplerule() function in Printer
/dports/math/rumur/rumur-2021.09.29/murphi2c/src/
H A Dgenerate_h.cc98 void visit_simplerule(const SimpleRule &n) final { in visit_simplerule() function in __anon24cdbbaf0111::HGenerator
H A Dgenerate_c.cc125 void visit_simplerule(const SimpleRule &n) final { in visit_simplerule() function in __anon24cafdca0111::CGenerator
/dports/math/rumur/rumur-2021.09.29/murphi2xml/src/
H A DXMLPrinter.h73 void visit_simplerule(const rumur::SimpleRule &n) final;
H A DXMLPrinter.cc664 void XMLPrinter::visit_simplerule(const SimpleRule &n) { in visit_simplerule() function in XMLPrinter
/dports/math/rumur/rumur-2021.09.29/murphi2uclid/src/
H A Dcheck.cc206 void visit_simplerule(const SimpleRule &n) final { in visit_simplerule() function in __anon2d80e9890111::Checker
H A Dcodegen.cc759 void visit_simplerule(const SimpleRule &n) final { in visit_simplerule() function in __anon690f00800111::Printer
/dports/math/rumur/rumur-2021.09.29/rumur/src/smt/
H A Dsimplify.cc320 void visit_simplerule(SimpleRule &n) final { in visit_simplerule() function in smt::__anone70c9cbe0111::Simplifier