|
|||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | ||||||||
| Interface Summary | |
|---|---|
| ContradictionHandler |
Created: Mon Jun 24 10:50:25 2002 Copyright: Copyright (C) 2002 by MIT. |
| TMSGrappaClickListener | Interface that allows us to get notifications when a node is clicked on. |
| Class Summary | |
|---|---|
| DefaultContradictionHandler |
Created: Mon Jun 24 10:53:01 2002 Copyright: Copyright (C) 2002 by MIT. |
| Demo | Stress test the TMS periodically putting a graphical output of the tms into a tabbed pane. |
| TMSGraphGenerator |
Created: Thu May 30 02:04:47 2002 Copyright: Copyright (C) 2002 by MIT. |
| TMSGraphPanel |
Created: Wed May 29 23:12:36 2002 Copyright: Copyright (C) 2002 by MIT. |
| TMSNode |
Created: Thu May 30 02:34:11 2002 Copyright: Copyright (C) 2002 by MIT. |
| TruthMaintenanceSystem | (The following comments are still true, but they have been expanded below.) -cja 3-13-03 |
| Exception Summary | |
|---|---|
| TMSContradiction | This indicates that the TMS has encountered a contradictory set of beliefs. |
|
|||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | ||||||||