cprover
show_properties.cpp File Reference

Show Claims. More...

#include "show_properties.h"
#include <iostream>
#include <util/xml.h>
#include <util/xml_expr.h>
#include <util/json.h>
#include <util/json_expr.h>
#include <langapi/language_util.h>
#include "goto_functions.h"
#include "goto_model.h"
Include dependency graph for show_properties.cpp:

Go to the source code of this file.

Functions

void show_properties (const namespacet &ns, const irep_idt &identifier, ui_message_handlert::uit ui, const goto_programt &goto_program)
 
void show_properties_json (json_arrayt &json_properties, const namespacet &ns, const irep_idt &identifier, const goto_programt &goto_program)
 
void show_properties_json (const namespacet &ns, const goto_functionst &goto_functions)
 
void show_properties (const namespacet &ns, ui_message_handlert::uit ui, const goto_functionst &goto_functions)
 
void show_properties (const goto_modelt &goto_model, ui_message_handlert::uit ui)
 

Detailed Description

Show Claims.

Definition in file show_properties.cpp.

Function Documentation

◆ show_properties() [1/3]

◆ show_properties() [2/3]

void show_properties ( const namespacet ns,
ui_message_handlert::uit  ui,
const goto_functionst goto_functions 
)

◆ show_properties() [3/3]

◆ show_properties_json() [1/2]

◆ show_properties_json() [2/2]

void show_properties_json ( const namespacet ns,
const goto_functionst goto_functions 
)