| 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 |
|||
|
|||
parent = NoneThe MultiTermNode containing the term that proves invalidity |
|||
term = NoneThe Node that proves invalidity |
|||
|
|||
|
Inherited from |
|||
|
|||
x.__init__(...) initializes x; see help(type(x)) for signature
|
| Home | Trees | Indices | Help |
|
|---|
| Generated by Epydoc 3.0.1 on Sun Oct 19 06:24:42 2014 | http://epydoc.sourceforge.net |