All Data Structures Namespaces Files Functions Variables Typedefs Enumerations Enumerator Macros Groups Pages
type_implics.h File Reference Detailed Descriptiontype definitions for implications, variable bounds, and cliques Definition in file type_implics.h. Go to the source code of this file.
Typedef Documentation
variable bounds of a variable x in the form x <= c*y or x >= c*y Definition at line 30 of file type_implics.h.
implications in the form x <= 0 or x >= 1 ==> y <= b or y >= b for x binary, NULL if x nonbinary Definition at line 31 of file type_implics.h.
single clique, stating that at most one of the binary variables can be fixed to the corresponding value Definition at line 32 of file type_implics.h.
collection of cliques Definition at line 34 of file type_implics.h.
list of cliques for a single variable Definition at line 35 of file type_implics.h. |