/* * Iterate over each Covenant of the Solver. * * call-seq: * solver.each_covenant { |covenant| ... } * */ void each_covenant()