invariants.Invariant Class Reference

Inheritance diagram for invariants.Invariant:

List of all members.

Public Member Functions
def	__eq__
def	__hash__
def	__init__
def	__ne__
def	__str__
def	arity
def	get_parameters
def	instantiate
Public Attributes
	parts
	predicate_to_part
	predicates
Private Attributes
	__class__

---

Detailed Description

Definition at line 185 of file invariants.py.

---

Constructor & Destructor Documentation

def invariants.Invariant.__init__	(		self,
			parts
	)

Definition at line 192 of file invariants.py.

---

Member Function Documentation

def invariants.Invariant.__eq__	(		self,
			other
	)

Definition at line 198 of file invariants.py.

def invariants.Invariant.__hash__

(

self

)

Definition at line 204 of file invariants.py.

def invariants.Invariant.__ne__	(		self,
			other
	)

Definition at line 201 of file invariants.py.

def invariants.Invariant.__str__

(

self

)

Definition at line 207 of file invariants.py.

def invariants.Invariant.arity

(

self

)

Definition at line 210 of file invariants.py.

def invariants.Invariant.get_parameters	(		self,
			atom
	)

Definition at line 213 of file invariants.py.

def invariants.Invariant.instantiate	(		self,
			parameters
	)

Definition at line 216 of file invariants.py.

---

Member Data Documentation

invariants.Invariant::__class__ [private]

Definition at line 198 of file invariants.py.

invariants.Invariant::parts

Definition at line 192 of file invariants.py.

invariants.Invariant::predicate_to_part

Definition at line 192 of file invariants.py.

invariants.Invariant::predicates

Definition at line 192 of file invariants.py.

---

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

• invariants.py