cprover
|
Property Decider for Goto-Symex. More...
#include <util/ui_message.h>
#include <goto-symex/symex_target_equation.h>
#include "properties.h"
#include "solver_factory.h"
Go to the source code of this file.
Classes | |
class | goto_symex_property_decidert |
Provides management of goal variables that encode properties. More... | |
struct | goto_symex_property_decidert::goalt |
Property Decider for Goto-Symex.
Definition in file goto_symex_property_decider.h.