| Interface | Description |
|---|---|
| ILogger | |
| IProof | |
| IResult |
| Class | Description |
|---|---|
| Outputter |
This class manages the output from the euler component.
|
| StdOutputter |
This class redirects all output from euler to standard output
|
Copyright (c) 2004. All Rights Reserved.