Tcp Struct Reference

Detailed Description

Critical point structure. This is used to start recursions and queries.

See Also
cp.h, cp.c.

Definition at line 57 of file cp.h.

Data Fields

unsigned int level
 
Tbox fixedRanges
 

Field Documentation

unsigned int Tcp::level

Recursion level at which this critical point is generated. Variables are fixed in the order in which the appear in the system of equations. A critical point at level l, has l variables already fixed.

Definition at line 58 of file cp.h.

Referenced by DealWithCP(), GetCPlevel(), GetSCpSystem(), and NewCP().

Tbox Tcp::fixedRanges

Box with the already fixed variables (intervals in the box up t i<level are fixed)

Definition at line 62 of file cp.h.

Referenced by DeleteCP(), GetCPFixedRanges(), GetSCpSystem(), and NewCP().