|
|
variables.h File ReferenceDefinition of the Tvariables type and the associated functions. More... #include "variable.h" #include "box.h" #include "boolean.h" #include <stdio.h> Go to the source code of this file.
Detailed DescriptionDefinition of the Tvariables type and the associated functions. We have four types of variables:
The position of a variable in the set is taken as its identifier and used to refer to this variable from many other structures (i.e., Tvariable_set).
Definition in file variables.h. Function Documentation
Defines an empty set of variables.
Definition at line 24 of file variables.c. References Tvariables::car, Tvariables::dum, INIT_NUM_VARIABLES, Tvariables::max_variables, Tvariables::n, NEW, Tvariables::sec, Tvariables::sys, and Tvariables::vs. Referenced by InitCuikSystem().
Here is the caller graph for this function:
Defines a set of variables from another set
Definition at line 40 of file variables.c. References Tvariables::car, CopyVariable(), Tvariables::dum, Tvariables::max_variables, Tvariables::n, NEW, Tvariables::sec, Tvariables::sys, and Tvariables::vs. Referenced by CopyCuikSystem(), CopyMapping(), CuikSystemMerge(), GetCSVariables(), InitMapping(), and SimplifyCuikSystem().
Here is the call graph for this function:
Here is the caller graph for this function:
Returns the number of variables in a variable set.
Definition at line 69 of file variables.c. References Tvariables::n. Referenced by BoxFromVariables(), CoordInequalitiesHold(), CSRemoveLCVars(), CSRemoveUnusedVars(), CSRemoveVarsWithCtRange(), CuikSystemMerge(), DeleteCuikSystemJacobian(), DummifyAndAddEquation(), ErrorInInequalities(), ErrorInSolution(), EvaluateEqMin(), GetCSNumNonDummyVariables(), GetCSNumVariables(), GetCSSystemVars(), GetCuikSystemJacobian(), InitMapping(), PointInSystemBox(), PrintCuikSystem(), PrintCuikSystemWithSimplification(), SampleCuikSystemInBox(), SimplifyCuikSystem(), and UpdateCuikSystem().
Here is the caller graph for this function:
Returns the number of system variables in a variable set.
Definition at line 90 of file variables.c. References Tvariables::sys.
Returns the number of secondary variables in a variable set.
Definition at line 98 of file variables.c. References Tvariables::sec.
Returns the number of dummy variables in a variable set.
Definition at line 82 of file variables.c. References Tvariables::dum. Referenced by GetCSNumNonDummyVariables().
Here is the caller graph for this function:
Returns the number of cartesian variables in a variable set.
Definition at line 77 of file variables.c. References Tvariables::car.
Identifies system variables in a set.
Definition at line 103 of file variables.c. References GetVariableType(), SYSTEM_VAR, and Tvariables::vs. Referenced by CSRemoveLCVars(), GetCSSystemVars(), and UpdateCuikSystem().
Here is the call graph for this function:
Here is the caller graph for this function:
Identifies secondary variables in a set.
Definition at line 108 of file variables.c. References GetVariableType(), SECONDARY_VAR, and Tvariables::vs. Referenced by GetCSSystemVars().
Here is the call graph for this function:
Here is the caller graph for this function:
Identifies dummy variables in a set.
Definition at line 113 of file variables.c. References DUMMY_VAR, GetVariableType(), and Tvariables::vs. Referenced by PointInSystemBox(), and UpdateCuikSystem().
Here is the call graph for this function:
Here is the caller graph for this function:
Identifies cartesian variables in a set.
Definition at line 118 of file variables.c. References CARTESIAN_VAR, GetVariableType(), and Tvariables::vs.
Here is the call graph for this function:
Returns the type of a given variable in the set. If the set has less than n variables, this function triggers an error.
Definition at line 123 of file variables.c. References Error(), GetVariableType(), Tvariables::n, and Tvariables::vs. Referenced by CSRemoveUnusedVars(), SampleCuikSystemInBox(), and UpdateCuikSystem().
Here is the call graph for this function:
Here is the caller graph for this function:
Adds a variable to the set.
Definition at line 138 of file variables.c. References Tvariables::car, CARTESIAN_VAR, CopyVariable(), Tvariables::dum, DUMMY_VAR, Error(), GetVariableName(), GetVariableType(), GetVariableWithName(), Tvariables::max_variables, MEM_DUP, Tvariables::n, NEW, Tvariables::sec, SECONDARY_VAR, Tvariables::sys, SYSTEM_VAR, and Tvariables::vs. Referenced by AddVariable2CS(), and DummifyAndAddEquation().
Here is the call graph for this function:
Here is the caller graph for this function:
Returns a pointer to the variable information given the name of the variable to query.
Definition at line 175 of file variables.c. References GetVariableID(), NO_UINT, and Tvariables::vs. Referenced by AddVariable().
Here is the call graph for this function:
Here is the caller graph for this function:
Returns a pointer to the variable information given its position in the set (i.e., its identifier). If the set has less than n variables, this function triggers an error.
Definition at line 189 of file variables.c. References Error(), Tvariables::n, and Tvariables::vs. Referenced by BoxFromVariables(), CSRemoveLCVars(), CSRemoveVarsWithCtRange(), CuikSystemMerge(), DummifyAndAddEquation(), GetCSVariable(), InitMapping(), PrintVariables(), SampleCuikSystemInBox(), SetCSVariableRange(), and SimplifyCuikSystem().
Here is the call graph for this function:
Here is the caller graph for this function:
Returns the variable identifier (i.e., its position in the set) given a variable name.
Definition at line 201 of file variables.c. References FALSE, GetVariableName(), NO_UINT, TRUE, and Tvariables::vs. Referenced by AddVariable2CS(), CSRemoveLCVars(), CSRemoveVarsWithCtRange(), DummifyAndAddEquation(), GetCSVariableID(), GetVariableWithName(), InitMapping(), and SimplifyCuikSystem().
Here is the call graph for this function:
Here is the caller graph for this function:
Gets a pointer to the name for all the variables in the set.
Definition at line 222 of file variables.c. References GetVariableName(), Tvariables::n, and Tvariables::vs. Referenced by CSRemoveLCVars(), CSRemoveVarsWithCtRange(), PrintCuikSystem(), PrintCuikSystemWithSimplification(), PrintMapping(), SimplifyCuikSystem(), and UpdateCuikSystem().
Here is the call graph for this function:
Here is the caller graph for this function:
Removes a variable from a set. After removing, the variable set is compacted, i.e., the gap of the remove variable is eliminated and this changes the variable indentifiers for the variables stored above the removed variable.
Definition at line 237 of file variables.c. References Tvariables::car, CARTESIAN_VAR, DeleteVariable(), Tvariables::dum, DUMMY_VAR, GetVariableType(), Tvariables::n, Tvariables::sec, SECONDARY_VAR, Tvariables::sys, SYSTEM_VAR, and Tvariables::vs. Referenced by CSRemoveLCVars(), CSRemoveUnusedVars(), and CSRemoveVarsWithCtRange().
Here is the call graph for this function:
Here is the caller graph for this function:
Creates a box from the ranges of a set of variables.
Definition at line 263 of file variables.c. References GetVariable(), GetVariableInterval(), InitBox(), NVariables(), and SetBoxInterval(). Referenced by GenerateInitialBox(), MPI_SolveCuikSystem(), PostProcessBox(), ReGenerateOriginalBox(), SimpleFromOriginal(), SimplifyCuikSystem(), and SolveCuikSystem().
Here is the call graph for this function:
Here is the caller graph for this function:
Prints a set of variables to an stream, that can be stdout. Variables are printed in a format that can be properly parsed by the .cuik file parser.
Definition at line 277 of file variables.c. References CARTESIAN_VAR, DUMMY_VAR, Error(), GetVariable(), GetVariableType(), Tvariables::n, PrintVariable(), SECONDARY_VAR, SYSTEM_VAR, and Tvariables::vs. Referenced by CSRemoveLCVars(), CSRemoveVarsWithCtRange(), PrintCuikSystem(), PrintCuikSystemWithSimplification(), and SimplifyCuikSystem().
Here is the call graph for this function:
Here is the caller graph for this function:
Deletes the Tvariables structure and frees the allocated memory.
Definition at line 313 of file variables.c. References DeleteVariable(), Tvariables::n, and Tvariables::vs. Referenced by DeleteCuikSystem(), DeleteMapping(), and UnUpdateCuikSystem().
Here is the call graph for this function:
Here is the caller graph for this function:
|