weighted_reordering Struct Reference

Cubes reordering strategy as proposed in [FTR07]. More...

Public Member Functions
	weighted_reordering ()
	Standard constructor. More...
	weighted_reordering (float alpha, float beta)
	Constructor for adjusting the parameters. More...
void	operator() (std::vector< std::pair< binary_truth_table::cube_type, binary_truth_table::cube_type > > &cubes) const
	Functor operator implementation. More...

Public Attributes
float	alpha
	Control variable for the weight of the variable frequency term. More...
float	beta
	Control variable for the weight of the balanced variable term. More...

Detailed Description

Cubes reordering strategy as proposed in [FTR07].

This functor implements the reordering strategy as proposed in [FTR07]. In that strategy two variables alpha and beta are used to control the weight of variables by their appearance and their polarity, respectively.

Author

RevKit

Since

1.0

Constructor & Destructor Documentation

weighted_reordering

(

)

Standard constructor.

Initializes default values

Author

RevKit

Since

1.0

weighted_reordering	(	float	alpha,
		float	beta
	)

Constructor for adjusting the parameters.

In this parameters the values for alpha and beta can be set directly.

Parameters

alpha	Control variable for the weight of the variable frequency term
beta	Control variable for the weight of the balanced variable term

Author

RevKit

Since

1.0

Member Function Documentation

void operator()

(

std::vector< std::pair< binary_truth_table::cube_type, binary_truth_table::cube_type > > &

cubes

)

const

Functor operator implementation.

Parameters

cubes

Cubes to be reordered

Author

RevKit

Since

1.0

Member Data Documentation

float alpha

Control variable for the weight of the variable frequency term.

Default value is 0.5

Author

RevKit

Since

1.0

float beta

Control variable for the weight of the balanced variable term.

Default value is 0.5

Author

RevKit

Since

1.0

---

The documentation for this struct was generated from the following file:

• esop_synthesis.hpp