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

Ruleinfos are useful to traceback a decision or a problem.

Constructor

There is no constructor for Ruleinfo. Ruleinfos are created when iterating over problems

Methods

command   command_s   relation   source   target  

Public Instance methods

command()
command_s()
relation()
source()
target()

[Validate]