pub_history.h File Reference Detailed Descriptionpublic methods for branching and inference history structure Definition in file pub_history.h. Go to the source code of this file.
Function Documentation
gets the conflict score of the history entry
get number of cutoffs counter
return the number of (domain) values for which a history exists
return the array containing the histories for the individual (domain) values
return the array containing the (domain) values for which a history exists
|