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.