| Class | Description |
|---|---|
| AlgebraIO |
Reader and writers.
|
| AlgebraReader |
XML reading.
|
| AlgebraWriter |
XML writing.
|
| ExtFileFilter |
Filter files by extension.
|
| JSONChannel |
Communication with outside programs like Sage.
|
| Mace4Reader |
Reading Mace4 model files into algebras (only the operations are loaded,
relations are ignored).
|
| Exception | Description |
|---|---|
| BadAlgebraFileException |
Copyright 2003 Ralph Freese. All Rights Reserved.