Package zeroinstall :: Package injector :: Module sat :: Class AtMostOneClause

Class AtMostOneClause

object --+
         |
        AtMostOneClause

Instance Methods

__init__(self, solver, lits)
Preferred literals come first.

source code

propagate(self, lit)

source code

undo(self, lit)

source code

calc_reason(self, lit)

source code

best_undecided(self)

source code

__repr__(self)
repr(x)

source code

Inherited from object: __delattr__, __format__, __getattribute__, __hash__, __new__, __reduce__, __reduce_ex__, __setattr__, __sizeof__, __str__, __subclasshook__

Properties
Inherited from `object`: `__class__`

Method Details

init(self, solver, lits)
(Constructor)

source code

Preferred literals come first.

Parameters:

solver (SATProblem)

Overrides: object.__init__

repr(self)
(Representation operator)

source code

repr(x)

Overrides: object.__repr__: (inherited documentation)

Class AtMostOneClause

__init__(self, solver, lits) (Constructor)

__repr__(self) (Representation operator)

init(self, solver, lits)
(Constructor)

repr(self)
(Representation operator)