Uses of Class
de.saar.chorus.domgraph.codec.OutputCodec
Packages that use OutputCodec
Package
Description
Provides basic classes for implementing codecs.
Provides codecs for dealing with dominance constraints and
dominance graphs.
Provides codecs for representing labelled dominance graphs in various
graph representation languages.
Provides two codecs for printing pluggings.
Provides two codecs for printing simple solved forms as terms.
Provides the main programme for Utool.
-
Uses of OutputCodec in de.saar.chorus.domgraph.codec
Subclasses of OutputCodec in de.saar.chorus.domgraph.codecMethods in de.saar.chorus.domgraph.codec that return OutputCodecModifier and TypeMethodDescriptionCodecManager.getOutputCodecForFilename(String filename, String options) Constructs an output codec object for the output codec associated with the given filename (extension).CodecManager.getOutputCodecForFilename(String filename, Map<String, String> options) Constructs an output codec object for the output codec associated with the given filename (extension).CodecManager.getOutputCodecForName(String codecname, String options) Constructs an output codec object for the output codec with the given name.CodecManager.getOutputCodecForName(String codecname, Map<String, String> options) Constructs an output codec object for the output codec with the given name.Methods in de.saar.chorus.domgraph.codec with parameters of type OutputCodec -
Uses of OutputCodec in de.saar.chorus.domgraph.codec.codegen
Subclasses of OutputCodec in de.saar.chorus.domgraph.codec.codegen -
Uses of OutputCodec in de.saar.chorus.domgraph.codec.domcon
Subclasses of OutputCodec in de.saar.chorus.domgraph.codec.domconModifier and TypeClassDescriptionclassAn output codec for weakly normal dominance constraints in Oz syntax. -
Uses of OutputCodec in de.saar.chorus.domgraph.codec.domgraph
Subclasses of OutputCodec in de.saar.chorus.domgraph.codec.domgraphModifier and TypeClassDescriptionclassAn output codec for arbitrary dominance graphs in GXL syntax.classAn output codec that represents a dominance graph in the uDraw(Graph) format.classAn output codec that represents a dominance graph using the Dot graph description language. -
Uses of OutputCodec in de.saar.chorus.domgraph.codec.plugging
Subclasses of OutputCodec in de.saar.chorus.domgraph.codec.pluggingModifier and TypeClassDescriptionclassAn output codec for pluggings in Oz syntax.classclassAn output codec for pluggings in Lisp syntax. -
Uses of OutputCodec in de.saar.chorus.domgraph.codec.term
Subclasses of OutputCodec in de.saar.chorus.domgraph.codec.termModifier and TypeClassDescriptionclassAn output codec for terms in Oz syntax.classAn output codec for terms in Prolog syntax.classA generic output codec for terms. -
Uses of OutputCodec in de.saar.chorus.domgraph.utool
Methods in de.saar.chorus.domgraph.utool that return OutputCodecMethods in de.saar.chorus.domgraph.utool with parameters of type OutputCodec -
Uses of OutputCodec in de.saar.chorus.newubench
Methods in de.saar.chorus.newubench with parameters of type OutputCodec