cprover
|
Symbolic Execution. More...
Go to the source code of this file.
Functions | |
guardt & | operator-= (guardt &g1, const guardt &g2) |
guardt & | operator|= (guardt &g1, const guardt &g2) |
Symbolic Execution.
Definition in file guard.cpp.
Definition at line 93 of file guard.cpp.
References conjunction(), irept::id(), exprt::operands(), and sort_and_join().
Definition at line 122 of file guard.cpp.
References guardt::add(), conjunction(), irept::id(), exprt::is_false(), exprt::is_true(), exprt::make_not(), exprt::make_true(), exprt::operands(), and sort_and_join().