Doxygen Generated Documentation of Ben-Jose Trainable SAT Solver Library
List of all members
sortrel Class Reference

A sortrel is a relation between two sortee s. More...

#include <sortor.h>

+ Collaboration diagram for sortrel:

Detailed Description

A sortrel is a relation between two sortee s.

It represents a relation between two sortee s. In our case every sortee representing a neuron holds one sortrel per fiber (literal), and each sortee representing a quanton holds one sortrel per neuron in wick the quanton is found. They must be properly initiated before each stabilization. They define the stabilizing sub-formula's relations between it's neuron s and quanton s by relating their respective sortee s. They represent relations between a particular sub group (sub-formula) of neuron 's sortee s and quanton 's sortee s.


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