nondet_bool.h File Reference

Nondeterministic boolean helper. More...

#include "std_expr.h"

Include dependency graph for nondet_bool.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Functions
exprt	get_nondet_bool (const typet &type, const source_locationt &source_location)

Detailed Description

Nondeterministic boolean helper.

Definition in file nondet_bool.h.

Function Documentation

get_nondet_bool()

exprt get_nondet_bool ( const typet &  type, const source_locationt &  source_location  )

inline

Parameters

type	desired type (C_bool or plain bool)
source_location	source location

Returns

nondet expr of that type

Definition at line 21 of file nondet_bool.h.