All Data Structures Namespaces Files Functions Variables Typedefs Enumerations Enumerator Macros Groups Pages
pub_implics.h File Reference Detailed Descriptionpublic methods for implications, variable bounds, and cliques Definition in file pub_implics.h. Go to the source code of this file.
Function Documentation
returns the position of the given variable/value pair in the clique; returns -1 if variable/value pair is not member of the clique
returns whether the given variable/value pair is member of the given clique
gets number of variables in the cliques
gets array of active problem variables in the cliques
gets array of values of active problem variables in the cliques, i.e. whether the variable is fixed to FALSE or to TRUE in the clique
gets unique identifier of the clique
returns whether the given clique is cleaned up
return whether the given clique is an equation
|