cprover
expr_initializer.h File Reference

Expression Initialization. More...

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

Go to the source code of this file.

Functions

exprt zero_initializer (const typet &, const source_locationt &, const namespacet &, message_handlert &)
 
exprt nondet_initializer (const typet &, const source_locationt &, const namespacet &, message_handlert &)
 
exprt zero_initializer (const typet &, const source_locationt &, const namespacet &)
 
exprt nondet_initializer (const typet &type, const source_locationt &source_location, const namespacet &ns)
 

Detailed Description

Expression Initialization.

Definition in file expr_initializer.h.

Function Documentation

◆ nondet_initializer() [1/2]

exprt nondet_initializer ( const typet ,
const source_locationt ,
const namespacet ,
message_handlert  
)

Definition at line 342 of file expr_initializer.cpp.

References message_handler.

◆ nondet_initializer() [2/2]

exprt nondet_initializer ( const typet type,
const source_locationt source_location,
const namespacet ns 
)

Definition at line 371 of file expr_initializer.cpp.

◆ zero_initializer() [1/2]

◆ zero_initializer() [2/2]

exprt zero_initializer ( const typet ,
const source_locationt ,
const namespacet  
)

Definition at line 352 of file expr_initializer.cpp.