Added missing documentation of $.solveTimeIsDNF and $.solveTimeIsDNS.