sortee Class Reference

Class that is an item to be stabilized. More...

#include <sortor.h>

Inherits binder.

Collaboration diagram for sortee:

Public Member Functions
void	sort_from (sort_glb &srg, sort_id_t curr_nid, void *id_src=NULL_PT)
	The basic stabilization step finds the next sorset and puts this sortee in it. More...

Detailed Description

Class that is an item to be stabilized.

Each neuron contains one sortee and each quanton contains one sortee. Each sortee 'knows' (void pointer) which neuron or quanton contains it. It is a one-to-one relation that is used to stabilize CNF sub-formulas. During stabilization, the sort_glb handles the sortee s not the neuron s and quanton s. containing them.

Member Function Documentation

void sortee::sort_from	(	sort_glb &	srg,
		sort_id_t	curr_id,
		void *	id_src = NULL_PT
	)

The basic stabilization step finds the next sorset and puts this sortee in it.

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/brain/sortor.cpp