Home | Trees | Indices | Help |
|
---|
|
object --+ | exceptions.BaseException --+ | exceptions.Exception --+ | FACError --+ | InvalidTermTreeError
Exception raised when a FAC term tree is not a tree.
For example, a Symbol node appears multiple times, or a cycle is detected.
|
|||
|
|||
Inherited from Inherited from Inherited from |
|
|||
parent = None The MultiTermNode containing the term that proves invalidity |
|||
term = None The Node that proves invalidity |
|
|||
Inherited from Inherited from |
|
x.__init__(...) initializes x; see help(type(x)) for signature
|
Home | Trees | Indices | Help |
|
---|
Generated by Epydoc 3.0.1 on Wed Apr 17 03:13:55 2013 | http://epydoc.sourceforge.net |