difference_expression_generator Class Reference

Public Member Functions
	difference_expression_generator (const maxnat_t F)
difference_expression_t	operator() (maxnat_t f) const
bool	operator() (maxnat_t f, maxnat_t s) const
const maxnat_t	F () const
const maxnat_t	S () const

Detailed Description

Exemplars of this class allow to systematically generate all difference expressions for isolating independent features for given number F of independent features.

Constructor & Destructor Documentation

difference_expression_generator()

difference_expression_generator::difference_expression_generator ( const maxnat_t  F )

inlineexplicit

A difference expression exemplar must be initialized with the number of independent features.

Parameters

F	Number of independent features.

Member Function Documentation

F()

const maxnat_t difference_expression_generator::F ( ) const

inline

Returns number of independent features.

Returns

Number of independent features F.

Here is the caller graph for this function:

operator()() [1/2]

difference_expression_t difference_expression_generator::operator() ( maxnat_t  f ) const

inline

Calculates and returns difference expression for given feature.

Parameters

f	Feature-id (1..F)

Returns

Difference expression as value.

Here is the call graph for this function:

operator()() [2/2]

bool difference_expression_generator::operator() ( maxnat_t  f, maxnat_t  s  ) const

inline

Calculates and returns value for given feature and system. Important: The implementation calculates this value arithmetically. It does not create a difference expression. Therefore, it requires only minimal memory.

Parameters

f	Feature-id (1..F)
s	System-id (1..S)

Returns

True if s is to be intersected (I-part) and false if it is to be united (U-part) in corresponding difference expression.

Here is the call graph for this function:

S()

const maxnat_t difference_expression_generator::S ( ) const

inline

Returns number of systems.

Returns

Number ofsystems S.

Here is the caller graph for this function:

---

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

• src/fl/fl.cpp