Tmapping Struct Reference

Detailed Description

We define the relation between the variables of a original cuiksystem and the variables of a simplified version of this cuiksystem. The simplification can be either a sub-system (variables in the simplified set are a sub-set of the variables in the original system) or the result of linear simplifications, i.e., simplifications that replace a variable by a linear combination of other variables (including the trivial assigment to a constant).

Variables in the simple system are always included in the original system but the reverse is not true.

See Also
csmapping.h csmapping.c

Definition at line 53 of file csmapping.h.

Data Fields

Tvariablesoriginal
 
Tvariablessimple
 
unsigned int sizeO
 
unsigned int sizeS
 
unsigned int * orig
 
booleanrelated
 
TLinearConstraintlc
 

Field Documentation

Tvariables* Tmapping::original

Variables in the original cuiksystem.

Definition at line 54 of file csmapping.h.

Referenced by CopyMapping(), DeleteMapping(), InitMapping(), IsInSimple(), LoadMapping(), and PrintMapping().

Tvariables* Tmapping::simple

Variables in the simplified cuiksystem.

Definition at line 55 of file csmapping.h.

Referenced by CopyMapping(), DeleteMapping(), InitMapping(), IsInSimple(), LoadMapping(), PrintMapping(), SimpleFromOriginal(), and SimplePointFromOriginal().

unsigned int Tmapping::sizeO

Number of variables in the original cuiksystem.

Definition at line 57 of file csmapping.h.

Referenced by CopyMapping(), DeleteMapping(), GetSizeOriginal(), InitMapping(), LoadMapping(), PrintMapping(), SaveMapping(), UpdateOriginalFromSimple(), and UpdateOriginalPointFromSimple().

unsigned int Tmapping::sizeS

Number of variables in the simplified cuiksystem.

Definition at line 58 of file csmapping.h.

Referenced by CopyMapping(), GetSizeSimple(), InitMapping(), LoadMapping(), PrintMapping(), SaveMapping(), SimpleFromOriginal(), and SimplePointFromOriginal().

unsigned int* Tmapping::orig

Variable in the original system equivalent to the a particular variable in the simple system.

Definition at line 60 of file csmapping.h.

Referenced by CopyMapping(), DeleteMapping(), GetVarIDInOriginal(), InitMapping(), LoadMapping(), SaveMapping(), SimpleFromOriginal(), and SimplePointFromOriginal().

boolean* Tmapping::related

TRUE if the variable in the original system is related to a variable/constant in the simplified system.

Definition at line 63 of file csmapping.h.

Referenced by CopyMapping(), DeleteMapping(), GetOriginalVarRelation(), InitMapping(), LoadMapping(), PrintMapping(), SaveMapping(), SetOriginalVarRelation(), UpdateOriginalFromSimple(), and UpdateOriginalPointFromSimple().

TLinearConstraint* Tmapping::lc

Linear combination that define the value of a related variable in the original system in function of the variables in the simple system.

Definition at line 65 of file csmapping.h.

Referenced by CopyMapping(), DeleteMapping(), GetOriginalVarRelation(), InitMapping(), LoadMapping(), PrintMapping(), SaveMapping(), SetOriginalVarRelation(), UpdateOriginalFromSimple(), and UpdateOriginalPointFromSimple().