Class that holds all global data used to stabilize a group of items. More...

#include <sortor.h>

Collaboration diagram for sort_glb:

Public Member Functions
void	sort_all_from (row< sortee * > &tees, sort_id_t curr_id, bool add_ccl_id, long ccl_id, bool sort_opps, tgt_ccl_t tgt, sort_glb dbg_srg=NULL_PT, sortee dbg_srt=NULL_PT)
	It calls sortee::sort_from operations for all sortee s in tees. More...

void	step_neus (sort_glb &mates_srg)
	It does sort_from operations on this sort_glb neuron sortee s.

void	step_opps (sort_glb &mates_srg)
	It does sort_from operations on this sort_glb opposite quanton sortee s.

void	step_quas (sort_glb &mates_srg)
	It does sort_from operations on this sort_glb quanton sortee s.

void	stab_mutual_core (sort_glb &mates_srg)
	It stabilizes neuron sortee s and quanton sortee s until no further refinement is possible. More...

void	stab_mutual (sort_glb &mates_srg, bool one_ccl_per_ss)
	It stabilizes two 'loaded' (initialized) sort_glb with a neuromap (no further refinement is possible). More...

void	stab_mutual_unique (sort_glb &mates_srg, neuromap *dbg_nmp=NULL_PT)
	It stabilizes two 'loaded' (initialized) sort_glb with a neuromap to a BCFF. More...

Detailed Description

Class that holds all global data used to stabilize a group of items.

Items are basically neuron s and quanton s representing a sub-formula of a CNF. This class does not handle neuron s and quanton s directly. Instead it handles their respective sortee s.

Member Function Documentation

void sort_glb::sort_all_from	(	row< sortee * > &	tees,
		sort_id_t	curr_id,
		bool	add_ccl_id,
		long	ccl_id,
		bool	sort_opps,
		tgt_ccl_t	tgt,
		sort_glb *	dbg_srg = `NULL_PT`,
		sortee *	dbg_srt = `NULL_PT`
	)

It calls sortee::sort_from operations for all sortee s in tees.

Parameters

tees	The sortee s to call sortee::sort_from:
curr_id	Current consecutive sorting id for this sort_glb.
add_ccl_id	If true it appends ccl_id to the so_ccl field (a canon_cnf) of each sortee in tees.
ccl_id	The literal to be added to the BCFF if add_ccl_id is true.
sort_opps	If true it uses de opposite of each sortee s in tees.
tgt	If (tgt != tc_none) sg_cnf_dims for this sort_glb is updated.
dbg_srg	Auxsiliary param for debugging pourposes.
dbg_srt	Auxsiliary param for debugging pourposes.

See also: macro_algorithm_ben_jose.cpp

Here is the call graph for this function:

Here is the caller graph for this function:

void sort_glb::stab_mutual_core ( sort_glb & srg2 )

It stabilizes neuron sortee s and quanton sortee s until no further refinement is possible.

See also: macro_algorithm_ben_jose.cpp

Here is the call graph for this function:

Here is the caller graph for this function:

void sort_glb::stab_mutual	(	sort_glb &	srg2,
		bool	one_ccl_per_ss
	)

It stabilizes two 'loaded' (initialized) sort_glb with a neuromap (no further refinement is possible).

See also: macro_algorithm_ben_jose.cpp

Here is the caller graph for this function:

void sort_glb::stab_mutual_unique	(	sort_glb &	srg2,
		neuromap *	dbg_nmp = `NULL_PT`
	)

It stabilizes two 'loaded' (initialized) sort_glb with a neuromap to a BCFF.

See also: macro_algorithm_ben_jose.cpp

Here is the caller graph for this function:

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

/home/jose/devel/ben-jose/src/library/brain/sortor.h
/home/jose/devel/ben-jose/src/library/api/macro_ben_jose.cpp
/home/jose/devel/ben-jose/src/library/brain/sortor.cpp
/home/jose/devel/ben-jose/src/programs/macro_ben_jose/macro_algorithm_ben_jose.cpp

Public Member Functions

Detailed Description

Member Function Documentation