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

A step is a single ‘work item’ of a Transaction

Constructor

There is no constructor defined for Step. Steps are created by accessing a Transaction

Methods

__ne__   solvable   type   type_s  

Public Instance methods

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

Solvable affected by the Step

Type of Step

mode: Bitmask of TRANSACTION_MODE_*

      Defaults to TRANSACTION_MODE_RPM_ONLY

Returns one of STEP_*

String representation of type

[Validate]