#include <omega.h>
Data Fields | |
| int | num_vars |
| int | safe_vars |
| int | num_eqs |
| int | num_geqs |
| int | num_subs |
| int | hash_version |
| bool | variables_initialized |
| bool | variables_freed |
| int * | var |
| int * | forwarding_address |
| eqn | geqs |
| eqn | eqs |
| eqn | subs |
Field Documentation
| eqn omega_pb_d::eqs |
Equations in the system of constraints.
Referenced by chain_unprotect(), omega_add_zero_geq(), omega_constrain_variable_value(), omega_count_red_equations(), omega_delete_geq_extra(), omega_unprotect_1(), subscript_dependence_tester_1(), and verify_omega_pb().
| int* omega_pb_d::forwarding_address |
Referenced by omega_add_zero_eq(), and omega_add_zero_geq().
| eqn omega_pb_d::geqs |
Inequalities in the system of constraints.
Referenced by adding_equality_constraint(), bswap(), chain_unprotect(), coalesce(), normalize_omega_problem(), omega_add_zero_geq(), omega_count_red_equations(), omega_delete_geq_extra(), omega_eliminate_red(), omega_free_eliminations(), omega_solve_geq(), omega_solve_problem(), omega_unprotect_1(), parallel_splinter(), and subscript_dependence_tester_1().
| int omega_pb_d::hash_version |
| int omega_pb_d::num_eqs |
Number of elements in eqs[].
Referenced by chain_unprotect(), omega_count_red_equations(), omega_delete_geq_extra(), omega_problem_has_no_solution(), omega_unprotect_1(), and verify_omega_pb().
| int omega_pb_d::num_geqs |
Number of elements in geqs[].
Referenced by chain_unprotect(), omega_count_red_equations(), omega_delete_geq_extra(), omega_eliminate_red(), omega_solve_geq(), omega_unprotect_1(), and subscript_dependence_tester_1().
| int omega_pb_d::num_subs |
Number of elements in subs[].
Referenced by chain_unprotect(), omega_count_red_equations(), omega_delete_geq_extra(), omega_problem_has_red_equations(), omega_unprotect_1(), and subscript_dependence_tester_1().
| int omega_pb_d::num_vars |
The number of variables in the system of equations.
Referenced by normalize_omega_problem(), omega_add_zero_eq(), omega_simplify_problem(), and verify_omega_pb().
| int omega_pb_d::safe_vars |
Safe variables are not eliminated during the Fourier-Motzkin
simplification of the system. Safe variables are all those
variables that are placed at the beginning of the array of
variables: PB->var[1, ..., SAFE_VARS]. PB->var[0] is not used,
as PB->eqs[x]->coef[0] represents the constant of the equation.
Referenced by omega_simplify_problem().
| eqn omega_pb_d::subs |
A map of substituted variables.
Referenced by chain_unprotect(), omega_add_zero_geq(), omega_count_red_equations(), omega_delete_geq_extra(), omega_simplify_problem(), omega_unprotect_1(), and subscript_dependence_tester_1().
| int* omega_pb_d::var |
Index or name of variables. Negative integers are reserved for
wildcard variables. Maps the index of variables in the original
problem to the new index of the variable. The index for a
variable in the coef array of an equation can change as some
variables are eliminated.
Referenced by omega_add_zero_eq(), omega_add_zero_geq(), omega_delete_geq_extra(), omega_eqn_is_red(), omega_unprotect_1(), and verify_omega_pb().
| bool omega_pb_d::variables_freed |
| bool omega_pb_d::variables_initialized |
Referenced by omega_add_zero_eq(), and omega_count_red_equations().
The documentation for this struct was generated from the following file:
