Class | Satsolver::Ruleinfo |
In: |
satsolver.i
|
Parent: | Object |
Ruleinfos are useful to traceback a decision or a problem.
There is no constructor for Ruleinfo. Ruleinfos are created when iterating over problems