cprover
json_expr.cpp File Reference

Expressions in JSON. More...

#include "json_expr.h"
#include "namespace.h"
#include "expr.h"
#include "json.h"
#include "arith_tools.h"
#include "ieee_float.h"
#include "fixedbv.h"
#include "std_expr.h"
#include "config.h"
Include dependency graph for json_expr.cpp:

Go to the source code of this file.

Functions

json_objectt json (const source_locationt &location)
 
json_objectt json (const typet &type, const namespacet &ns)
 
json_objectt json (const exprt &expr, const namespacet &ns)
 

Detailed Description

Expressions in JSON.

Definition in file json_expr.cpp.

Function Documentation

◆ json() [1/3]

◆ json() [2/3]

◆ json() [3/3]