Package zeroinstall :: Package injector :: Module sat :: Class SATProblem

Class SATProblem

object --+
         |
        SATProblem

Instance Methods

__init__(self)
x.__init__(...) initializes x; see help(type(x)) for signature

source code

get_decision_level(self)

source code

add_variable(self, obj)

source code

enqueue(self, lit, reason)

source code

undo_one(self)

source code

cancel(self)

source code

cancel_until(self, level)

source code

propagate(self)

source code

impossible(self)

source code

get_varinfo_for_lit(self, lit)

source code

lit_value(self, lit)

source code

watch_lit(self, lit, cb)

source code

name_lits(self, lst)

source code

name_lit(self, lit)

source code

add_clause(self, lits)

source code

at_most_one(self, lits)

source code

analyse(self, cause)

source code

run_solver(self, decide)

source code

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

Properties
Inherited from `object`: `__class__`

Method Details

init(self)
(Constructor)

source code

x.__init__(...) initializes x; see help(type(x)) for signature

Overrides: object.__init__: (inherited documentation)

Class SATProblem

__init__(self) (Constructor)

init(self)
(Constructor)