cprover
json_expr.h File Reference

Expressions in JSON. More...

#include "json.h"
Include dependency graph for json_expr.h:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Functions

json_objectt json (const exprt &, const namespacet &)
 
json_objectt json (const typet &, const namespacet &)
 
json_objectt json (const source_locationt &)
 

Detailed Description

Expressions in JSON.

Definition in file json_expr.h.

Function Documentation

§ json() [1/3]

§ json() [2/3]

§ json() [3/3]