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

Methods

cause   job  

Public Instance methods

cause()
job()

[Validate]