cp.h
Go to the documentation of this file.
1 #ifndef CPH
2 #define CPH
3 
4 #include "cuiksystem.h"
5 #include "parameters.h"
6 #include "box.h"
7 #include "list.h"
8 
9 #include <string.h>
10 #include <stdlib.h>
11 
12 
24 #define BOUNDED_LAMBDAS 1
25 
36 #define RANDOM_PLANES 0
37 
57 typedef struct {
58  unsigned int level;
64 } Tcp;
65 
75 void NewCP(unsigned int l,Tbox *b,Tcp *cp);
76 
86 unsigned int GetCPlevel(Tcp *cp);
87 
96 
133 void DealWithCP(FILE *f_out,unsigned int n,Tparameters *p,TCuikSystem *cs,Tlist *cps,Tcp *cp);
134 
140 void DeleteCP(Tcp *cp);
141 
142 #endif
void DeleteCP(Tcp *cp)
Destructor.
Definition: cp.c:388
void DealWithCP(FILE *f_out, unsigned int n, Tparameters *p, TCuikSystem *cs, Tlist *cps, Tcp *cp)
Processes a critical point.
Definition: cp.c:309
unsigned int GetCPlevel(Tcp *cp)
Gets the creation level of a critical point.
Definition: cp.c:299
Definition of the Tbox type and the associated functions.
unsigned int level
Definition: cp.h:58
A generic list.
Definition: list.h:46
Definition of the Tlist type and the associated functions.
A table of parameters.
Definition of the TCuikSystem type and the associated functions.
Critical point structure.
Definition: cp.h:57
A box.
Definition: box.h:83
A cuiksystem, i.e., a set of variables and equations defining a position analysis problem...
Definition: cuiksystem.h:181
void NewCP(unsigned int l, Tbox *b, Tcp *cp)
Constructor.
Definition: cp.c:278
Tbox fixedRanges
Definition: cp.h:62
Definition of the Tparameters type and the associated functions.
Tbox * GetCPFixedRanges(Tcp *cp)
Gets the collection of fixed ranges for a critical point.
Definition: cp.c:304