invariants.InvariantPart Class Reference

List of all members.

Public Member Functions
def	__eq__
def	__hash__
def	__init__
def	__ne__
def	__str__
def	arity
def	get_assignment
def	get_parameters
def	instantiate
def	matches
def	possible_mappings
def	possible_matches
Public Attributes
	omitted_pos
	order
	predicate

---

Detailed Description

Definition at line 107 of file invariants.py.

---

Constructor & Destructor Documentation

def invariants.InvariantPart.__init__	(		self,
			predicate,
			order,
			omitted_pos = -1
	)

Definition at line 108 of file invariants.py.

---

Member Function Documentation

def invariants.InvariantPart.__eq__	(		self,
			other
	)

Definition at line 113 of file invariants.py.

def invariants.InvariantPart.__hash__

(

self

)

Definition at line 120 of file invariants.py.

def invariants.InvariantPart.__ne__	(		self,
			other
	)

Definition at line 117 of file invariants.py.

def invariants.InvariantPart.__str__

(

self

)

Definition at line 123 of file invariants.py.

def invariants.InvariantPart.arity

(

self

)

Definition at line 130 of file invariants.py.

def invariants.InvariantPart.get_assignment	(		self,
			parameters,
			literal
	)

Definition at line 133 of file invariants.py.

def invariants.InvariantPart.get_parameters	(		self,
			literal
	)

Definition at line 138 of file invariants.py.

def invariants.InvariantPart.instantiate	(		self,
			parameters
	)

Definition at line 141 of file invariants.py.

def invariants.InvariantPart.matches	(		self,
			other,
			own_literal,
			other_literal
	)

Definition at line 181 of file invariants.py.

def invariants.InvariantPart.possible_mappings	(		self,
			own_literal,
			other_literal
	)

Definition at line 147 of file invariants.py.

def invariants.InvariantPart.possible_matches	(		self,
			own_literal,
			other_literal
	)

Definition at line 167 of file invariants.py.

---

Member Data Documentation

invariants.InvariantPart::omitted_pos

Definition at line 108 of file invariants.py.

invariants.InvariantPart::order

Definition at line 108 of file invariants.py.

invariants.InvariantPart::predicate

Definition at line 108 of file invariants.py.

---

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

• invariants.py