Home
last modified time | relevance | path

Searched refs:named_cmd (Results 1 – 4 of 4) sorted by relevance

/dports/math/z3/z3-z3-4.8.13/src/cmd_context/
H A Dbasic_cmds.cpp67 typedef std::pair<symbol, cmd*> named_cmd; typedef in help_cmd
69 …bool operator()(named_cmd const & c1, named_cmd const & c2) const { return c1.first.str() < c2.fir… in operator ()()
75 vector<named_cmd> cmds; in execute()
79 cmds.push_back(named_cmd((*it).m_key, (*it).m_value)); in execute()
83 for (named_cmd const& nc : cmds) { in execute()
/dports/math/py-z3-solver/z3-z3-4.8.10/src/cmd_context/
H A Dbasic_cmds.cpp67 typedef std::pair<symbol, cmd*> named_cmd; typedef in help_cmd
69 …bool operator()(named_cmd const & c1, named_cmd const & c2) const { return c1.first.str() < c2.fir… in operator ()()
75 vector<named_cmd> cmds; in execute()
79 cmds.push_back(named_cmd((*it).m_key, (*it).m_value)); in execute()
83 for (named_cmd const& nc : cmds) { in execute()
/dports/dns/dnsviz/dnsviz-0.9.2/dnsviz/commands/
H A Dprobe.py445 for named_cmd in (named_cmd_with_log, named_cmd_without_log):
447 … p = subprocess.Popen(named_cmd, stdout=subprocess.PIPE, stderr=subprocess.STDOUT, env=env)
/dports/devel/radare2/radare2-5.1.1/libr/core/
H A Dcmd.c66 #define DEFINE_CMD_DESCRIPTOR_SPECIAL(core, cmd_, named_cmd) \ argument
71 d->help_msg = help_msg_##named_cmd; \