Class Satsolver::Problem
In: satsolver.i
Parent: Object

If solving a Request is unsucccessful (Solver.solve returning false), the Solver provides information on possible reason and how to fix them.

The Problem class represents such a reason and provides solutions.

Constructor

There is no constructor defined for Problem. Problems are created by accessing the Solver result. See ‘Solver.each_problem’.

Methods

Public Instance methods

An iterator providing information on the rules leading to the problem.

An iterator providing possible Solutions to the Problem

Number of available solutions for problem

The solver this problem belongs to

[Validate]