translate.invariants.Invariant Class Reference

Inheritance diagram for translate.invariants.Invariant:

Collaboration diagram for translate.invariants.Invariant:

Public Member Functions
def	__init__ (self, parts)
def	__eq__ (self, other)
def	__ne__ (self, other)
def	__hash__ (self)
def	__str__ (self)
def	arity (self)
def	get_parameters (self, atom)
def	instantiate (self, parameters)

Public Attributes
	parts
	predicates
	predicate_to_part

Private Attributes
	__class__

---

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

• translate/invariants.py