TCuikSystem Struct Reference
A cuiksystem, i.e., a set of variables and equations defining a position analysis problem.
More...
#include <cuiksystem.h>
Detailed Description
This structure includes all the information defining a position analysis problem, that is, a set of varaibles and a set of equations using these variables.
We store the variables/equations as defined by the user, a simplified version where some variables/equations are removed (because they are constant or they can be defined in function of other variables), and a simplified+dummified version where equations that can not be directly handled by linear relaxations are re-wrote into simpler equations.
Note that the two simplified cuiksystems are for internal use and its existence is transparent: all function calls refer to the original variables and equations.
Finally, this structure also includes information about variables and equations that is cached to speed up the process. Everytime there is a change in the system this information must be recomputed.
- See also:
- cuiksystem.h cuiksystem.c Tmapping
Definition at line 98 of file cuiksystem.h.
Field Documentation
TRUE if the cached information is up to date.
Definition at line 99 of file cuiksystem.h.
Referenced by AddEquation2CS(), AddVariable2CS(), CopyCuikSystem(), CuikSystemMerge(), DeleteSimpCuikSystemJacobian(), InitCuikSystem(), ReduceBox(), SampleCuikSystemInBox(), SetCSVariableRange(), UnUpdateCuikSystem(), and UpdateCuikSystem().
Mappings to relate the original and the simplified variables.
Definition at line 104 of file cuiksystem.h.
Criterion to be used when sorting the boxes pending to be processed.
Definition at line 107 of file cuiksystem.h.
Referenced by AddTerm2SearchCriterion(), CopyCuikSystem(), CuikSystemMerge(), InitCuikSystem(), MPI_SolveCuikSystem(), PostProcessBox(), PrintCuikSystem(), PrintCuikSystemWithSimplification(), SetCSSearchMode(), SolveCuikSystem(), UnUpdateCuikSystem(), and UpdateCuikSystem().
Mappings to relate the original and the simplified+dummified variables.
Definition at line 115 of file cuiksystem.h.
Referenced by ComputeSplitDim(), CopyCuikSystem(), CuikSystemMerge(), InitCuikSystem(), MaxReduction(), PostProcessBox(), PrintCuikSystemWithSimplification(), ReGenerateOriginalBox(), SaveCuikSystemSimplification(), SimplifyCuikSystem(), UnUpdateCuikSystem(), and UpdateCuikSystem().
Simplified+dummified set of equations
Definition at line 117 of file cuiksystem.h.
Referenced by ComputeSplitDimInt(), CopyCuikSystem(), CSRemoveLCVars(), CSRemoveUnusedVars(), CSRemoveVarsWithCtRange(), DummifyAndAddEquation(), DummifyCuikSystem(), PrintCuikSystemWithSimplification(), ReduceBox(), ReduceBoxEquationWise(), SimplifyCuikSystem(), UnUpdateCuikSystem(), and UpdateCuikSystem().
Simplified+dummified set of variables
Definition at line 118 of file cuiksystem.h.
Referenced by CopyCuikSystem(), CSRemoveLCVars(), CSRemoveUnusedVars(), CSRemoveVarsWithCtRange(), DummifyAndAddEquation(), MPI_SolveCuikSystem(), PrintCuikSystemWithSimplification(), ReduceBox(), SimplifyCuikSystem(), SolveCuikSystem(), UnUpdateCuikSystem(), and UpdateCuikSystem().
Total num. of variables in the simplified+dummified system.
Definition at line 121 of file cuiksystem.h.
Referenced by ComputeSplitDimInt(), CopyCuikSystem(), CuikSystemMerge(), InitCuikSystem(), LoadCSState(), MPI_SolveCuikSystem(), MPI_TreatBox(), ReduceBox(), ReduceBoxEquationWise(), UnUpdateCuikSystem(), and UpdateCuikSystem().
TRUE if the 'i'-th variable in the simplified+dummified system is a system var.
Definition at line 122 of file cuiksystem.h.
Referenced by ComputeSplitDimInt(), CopyCuikSystem(), CuikSystemMerge(), InitCuikSystem(), MPI_SolveCuikSystem(), PostProcessBox(), ReduceBox(), ReduceBoxEquationWise(), SolveCuikSystem(), UnUpdateCuikSystem(), and UpdateCuikSystem().
Equations as given by the user
Definition at line 141 of file cuiksystem.h.
Referenced by AddEquation2CS(), CoordInequalitiesHold(), CopyCuikSystem(), CuikSystemMerge(), DeleteCuikSystem(), DeleteCuikSystemJacobian(), ErrorInInequalities(), ErrorInSolution(), GetCSEquation(), GetCSEquations(), GetCSNumEquations(), GetCuikSystemJacobian(), InitCuikSystem(), PrintCuikSystem(), PrintCuikSystemWithSimplification(), SampleCuikSystemInBox(), SimplifyCuikSystem(), and UpdateCuikSystem().
Variables as given by the user
Definition at line 142 of file cuiksystem.h.
Referenced by AddVariable2CS(), CoordInequalitiesHold(), CopyCuikSystem(), CSRemoveLCVars(), CSRemoveVarsWithCtRange(), CuikSystemMerge(), DeleteCuikSystem(), DeleteCuikSystemJacobian(), ErrorInInequalities(), ErrorInSolution(), GenerateInitialBox(), GetCSNumNonDummyVariables(), GetCSNumVariables(), GetCSSystemVars(), GetCSVariable(), GetCSVariableID(), GetCSVariables(), GetCuikSystemJacobian(), InitCuikSystem(), PointInSystemBox(), PostProcessBox(), PrintCuikSystem(), PrintCuikSystemWithSimplification(), ReGenerateOriginalBox(), SampleCuikSystemInBox(), SetCSVariableRange(), SimplifyCuikSystem(), and UpdateCuikSystem().
The documentation for this struct was generated from the following file:
|