constraints.NegativeClause Class Reference

List of all members.

Public Member Functions
def	__init__
def	__str__
def	apply_mapping
def	is_satisfiable
Public Attributes
	parts

---

Detailed Description

Definition at line 7 of file constraints.py.

---

Constructor & Destructor Documentation

def constraints.NegativeClause.__init__	(		self,
			parts
	)

Definition at line 9 of file constraints.py.

---

Member Function Documentation

def constraints.NegativeClause.__str__

(

self

)

Definition at line 13 of file constraints.py.

def constraints.NegativeClause.apply_mapping	(		self,
			m
	)

Definition at line 24 of file constraints.py.

def constraints.NegativeClause.is_satisfiable

(

self

)

Definition at line 18 of file constraints.py.

---

Member Data Documentation

constraints.NegativeClause::parts

Definition at line 9 of file constraints.py.

---

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

• constraints.py