CBMC
Loading...
Searching...
No Matches
Functions
simplify_expr.h File Reference

Go to the source code of this file.

Functions

bool  simplify (exprt &expr, const namespacet &ns)
 
exprt  simplify_expr (exprt src, const namespacet &ns)
 

Function Documentation

◆  simplify()

bool simplify ( exprt &  expr,
const namespacet &  ns 
)
Returns
returns true if expression unchanged; returns false if changed

Definition at line 3407 of file simplify_expr.cpp.

◆  simplify_expr()

exprt simplify_expr ( exprt  src,
const namespacet &  ns 
)

Definition at line 3412 of file simplify_expr.cpp.

AltStyle によって変換されたページ (->オリジナル) /