| AbstractAltAutomatonCodec |
An AbstractAltAutomatonCodec can encode an automaton with alternation
in GOAL file format (GFF) and decode a GFF file back to an alternating
automaton.
|
| AbstractImageCodec |
This is an abstract codec for saving automata as images.
|
| ACTLCodec |
An ACTLCodec is a codec that can encode/decode ACTL holders.
|
| AltAutomatonCodec |
An AltAutomatonCodec can encode an alternating automaton in GOAL file
format (GFF) and decode a GFF file back to an alternating automaton.
|
| AntichainCodec |
This class provides methods for (1) decoding a file in the format used by the
antichain algorithm as an NBW and (2) encoding an NBW with alphabet size 2 to
a file in such format (http://mtc.epfl.ch/~doyen/antichains/antichains.html).
|
| AutomatonCodec |
An AutomatonCodec provides methods for encoding an automaton in GOAL
file format (GFF) and decoding a GFF file back to an automaton.
|
| BACodec |
This is a codec for the BA format in
http://www.iis.sinica.edu.tw/FMLAB/CAV2010.
|
| CodecComparator |
This class provides a comparator that compares codecs based on their
descriptions.
|
| CodecRepository |
A CodecRepository holds all registered codecs, encoders, and
decoders.
|
| FileHandler |
The FileHandler provides methods for opening files and saving objects
as files.
|
| FSACodec |
An FSACodec can encode a finite state automaton in GOAL file format
(GFF) and decode a GFF file back to a finite state automaton.
|
| GameCodec |
An GameCodec can encode a game in GOAL file format (GFF) and decode a
GFF file back to a game.
|
| GASCodec |
A GASCodec is a GASCodec that only saves automaton
structures. |
| GasTeXCodec |
This codec provides functions to encode an automaton to GasTeX.
|
| GFFCodec |
A GFFCodec is an XML codec with the ability to encode/decode automata
and logic formulae.
|
| GFFCollectionCodec |
|
| HOAFCodec |
|
| HOAFConverter |
|
| JFFCodec |
A JFFCodec is an XML codec with the ability to encode/decode objects
to/from JFLAP file format (JFF).
|
| JFFNFWCodec |
An JFFNFWCodec provides methods for encoding a classic finite state
automaton with a classical alphabet in JFLAP file format (JFF) and decoding a
JFF file back to a classic finite state automaton automaton with a classical
alphabet.
|
| JPEGCodec |
This is a codec that can encode an automaton as a JPEG image.
|
| LBTTCodec |
This is a codec for the LBTT format in
http://www.tcs.hut.fi/Software/lbtt/doc/html/Format-for-automata.html.
|
| LogicCodec<L extends Logic,H extends FormulaHolder<L>> |
A LogicCodec provides methods for encoding a formula as an XML file
in GOAL file format (GFF) and decoding the XML file back to the formula.
|
| LTL2BuchiCodec |
This is a codec for decoding files output by the tool LTL2Buchi.
|
| MoDeLLaCodec |
A MoDeLLaCodec can parse a MoDeLLa XML file to an ω-automaton.
|
| MXCodec |
This codec provides encoding of an automaton to the JGraph XML format.
|
| OldAltAutomatonCodec |
An OldAltAutomatonCodec can encode an alternating automaton in old
GOAL file format (GFF) and decode an old GFF file back to an alternating
automaton.
|
| OldAutomatonCodec |
An OldAutomatonCodec provides methods for encoding an automaton in
old GOAL file format (GFF) and decoding an old GFF file back to an automaton.
|
| OldFSACodec |
An FSACodec can encode a finite state automaton in old GOAL file
format (GFF) and decode an old GFF file back to a finite state automaton.
|
| OldGameCodec |
An OldGameCodec can encode a game in old GOAL file format (GFF) and
decode an old GFF file back to a game.
|
| OldGFFCodec |
A OldGFFCodec is an XML codec with the ability to encode/decode
automata and logic formulae as/from files in old GOAL file format (GFF).
|
| ORECodec |
This class provides a codec for ω-regular expressions.
|
| PGSolverCodec |
This is a codec for the PGSolver format in
http://www.iis.sinica.edu.tw/FMLAB/CAV2010.
|
| PNGCodec |
This class can encode an automaton as a PNG image.
|
| QPTLCodec |
A QPTLCodec is a codec that can encode/decode QPTL holders.
|
| RECodec |
This class provides a codec for regular expressions.
|
| SVGCodec |
This codec provides functions to encode an automaton to SVG.
|
| TikzCodec |
This codec provides functions to encode an automaton to TikZ.
|
| TwoWayAltAutomatonCodec |
A TwoWayAltAutomatonCodec can encode a two-way alternating automaton
in GOAL file format (GFF) and decode a GFF file back to a two-way alternating
automaton.
|
| VaucansonCodec |
This codec provides functions to encode an automaton to VauCanSon-G.
|
| XMLCodec |
An XMLCodec is a codec that can encode an editable object as an XML
file and decode the XML file back to the editable object.
|