constraints.ConstraintSystem Class Reference

List of all members.

Public Member Functions
def	__init__
def	__str__
def	add_assignment
def	add_assignment_disjunction
def	add_negative_clause
def	combine
def	copy
def	dump
def	is_solvable
Public Attributes
	combinatorial_assignments
	neg_clauses
Private Member Functions
def	_all_clauses_satisfiable
def	_combine_assignments

---

Detailed Description

Definition at line 94 of file constraints.py.

---

Constructor & Destructor Documentation

def constraints.ConstraintSystem.__init__

(

self

)

Definition at line 95 of file constraints.py.

---

Member Function Documentation

def constraints.ConstraintSystem.__str__

(

self

)

Definition at line 99 of file constraints.py.

def constraints.ConstraintSystem._all_clauses_satisfiable	(		self,
			assignment
	)		[private]

Definition at line 111 of file constraints.py.

def constraints.ConstraintSystem._combine_assignments	(		self,
			assignments
	)		[private]

Definition at line 119 of file constraints.py.

def constraints.ConstraintSystem.add_assignment	(		self,
			assignment
	)

Definition at line 125 of file constraints.py.

def constraints.ConstraintSystem.add_assignment_disjunction	(		self,
			assignments
	)

Definition at line 128 of file constraints.py.

def constraints.ConstraintSystem.add_negative_clause	(		self,
			negative_clause
	)

Definition at line 131 of file constraints.py.

def constraints.ConstraintSystem.combine	(		self,
			other
	)

Combines two constraint systems to a new system

Definition at line 134 of file constraints.py.

def constraints.ConstraintSystem.copy

(

self

)

Definition at line 142 of file constraints.py.

def constraints.ConstraintSystem.dump

(

self

)

Definition at line 148 of file constraints.py.

def constraints.ConstraintSystem.is_solvable

(

self

)

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

Definition at line 156 of file constraints.py.

---

Member Data Documentation

constraints.ConstraintSystem::combinatorial_assignments

Definition at line 95 of file constraints.py.

constraints.ConstraintSystem::neg_clauses

Definition at line 95 of file constraints.py.

---

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

• constraints.py