Uses of Class
de.saar.chorus.domgraph.codec.term.TermOutputCodec
Packages that use TermOutputCodec
Package
Description
Provides two codecs for printing simple solved forms as terms.
-
Uses of TermOutputCodec in de.saar.chorus.domgraph.codec.term
Subclasses of TermOutputCodec in de.saar.chorus.domgraph.codec.termModifier and TypeClassDescriptionclassAn output codec for terms in Oz syntax.classAn output codec for terms in Prolog syntax.