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

A job is a single ‘work item’ of a request

Constructor

There is no constructor defined for Job. Jobs are created by accessing a Request

Methods

__ne__   cmd   name   relation   solvable  

Public Instance methods

:nodoc: Python treats ‘eq’ and ‘ne’ distinct.

cmd()
name()
relation()
solvable()

[Validate]