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

Generalization. More...

#include "solver_types.h"
+ Include dependency graph for generalization.h:
+ This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Functions

void  generalization (std::vector< framet > &frames, const workt &dropped, const propertyt &, const solver_optionst &)
 

Detailed Description

Generalization.

Definition in file generalization.h.

Function Documentation

◆  generalization()

void generalization ( std::vector< framet > &  frames,
const workt &  dropped,
const propertyt &  property,
const solver_optionst &  solver_options 
)

Definition at line 83 of file generalization.cpp.

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