translate.constraints.ConstraintSystem Class Reference

Inheritance diagram for translate.constraints.ConstraintSystem:

Collaboration diagram for translate.constraints.ConstraintSystem:

Public Member Functions
def	__init__ (self)
def	__str__ (self)
def	add_assignment (self, assignment)
def	add_assignment_disjunction (self, assignments)
def	add_negative_clause (self, negative_clause)
def	combine (self, other)
def	copy (self)
def	dump (self)
def	is_solvable (self)

Public Attributes
	combinatorial_assignments
	neg_clauses

Private Member Functions
def	_all_clauses_satisfiable (self, assignment)
def	_combine_assignments (self, assignments)

Member Function Documentation

def translate.constraints.ConstraintSystem.combine	(		self,
			other
	)

Combines two constraint systems to a new system

def translate.constraints.ConstraintSystem.is_solvable

(

self

)

Check whether the combinatorial assignments include at least
   one consistent assignment under which the negative clauses
   are satisfiable

---

The documentation for this class was generated from the following file:

• translate/constraints.py