16 if(src.
type().
id() != ID_bool)
21 src.
id() == ID_and || src.
id() == ID_or || src.
id() == ID_not ||
22 src.
id() == ID_implies)
30 if(src.
id() == ID_address_of)
44 std::set<exprt> result;
66 return std::set<exprt>();
73 if(op.id() == src.
id())
82 if(src.
id() == ID_address_of)
87 if(src.
type().
id() == ID_bool)
93 else if(src.
id() == ID_not)
104 for(
const auto &op : src.
operands())
111 std::set<exprt> result;
133 return std::set<exprt>();
std::set< exprt > collect_decisions(const exprt &src)
void collect_conditions_rec(const exprt &src, std::set< exprt > &dest)
void collect_operands(const exprt &src, std::vector< exprt > &dest)
typet & type()
Return the type of the expression.
bool is_condition(const exprt &src)
const irep_idt & id() const
std::set< exprt > collect_conditions(const exprt &src)
instructionst::const_iterator const_targett
void collect_decisions_rec(const exprt &src, std::set< exprt > &dest)
Coverage Instrumentation Utilities.
bool is_constant() const
Return whether the expression is a constant.
Base class for all expressions.