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.