Loading...

Searching...

No Matches

generalization.cpp File Reference

Generalization. More...

#include "generalization.h"
#include <util/console.h>
#include <util/format_expr.h>
#include "solver.h"
#include <algorithm>
#include <iostream>
#include <map>

+ Include dependency graph for generalization.cpp:

[フレーム]

Go to the source code of this file.

Classes

class frequency_mapt

Functions

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

Detailed Description

Generalization.

Definition in file generalization.cpp.

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.