Constructor for user-written disjunctive cut callbacks.

This constructor can be called only to construct objects of derived user-written callback classes, but not to construct DisjunctiveCallback objects directly.