CBMC: /home/runner/work/cbmc/cbmc/src/cprover/generalization.h Source File

CBMC
Loading...
Searching...
No Matches
generalization.h
Go to the documentation of this file.
1/*******************************************************************\
2
3Module: Generalization
4
5Author: Daniel Kroening, dkr@amazon.com
6
7\*******************************************************************/
8
11
12#ifndef CPROVER_CPROVER_GENERALIZATION_H
13#define CPROVER_CPROVER_GENERALIZATION_H
14
15#include "solver_types.h" // IWYU pragma: keep
16
17class solver_optionst;
18
19void generalization(
20 std::vector<framet> &frames,
21 const workt &dropped,
22 const propertyt &,
23 const solver_optionst &);
24
25#endif // CPROVER_CPROVER_GENERALIZATION_H
ait supplies three of the four components needed: an abstract interpreter (in this case handling func...
Definition ai.h:566
Definition solver.h:28
void generalization(std::vector< framet > &frames, const workt &dropped, const propertyt &, const solver_optionst &)
Solver.

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