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

__str__   each_ruleinfo   each_solution   ruleinfos   solutions   solutions_count   solver  

Public Instance methods

__str__(p1)
problem.each_ruleinfo { |ruleinfo| ... }

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

problem.each_solution { |solution| ... }

An iterator providing possible Solutions to the Problem

ruleinfos()
solutions()
solutions_count()

Number of available solutions for problem

solver()

The solver this problem belongs to

[Validate]