Package lp.struct.util

This package contains classes that operate on the structural components of logic programs from the lp.struct package.

See:
Description

Class Summary

EvolpPrettyPrinter<W extends Writer>	Transforms a logic program (or its components} represented by objects implementing the LpStructureUnit interface into a human-readable (standard) textual representation.
EvolpPrettyPrinter.MutableInteger	A wrapper class for a mutable integer.
EvolpPrettyPrinterTest	Contains tests of the EvolpPrettyPrinter class.
LpBuffer	A convenience class that makes it possible to work with classes inheriting from a LpPrinter for writing into a string buffer instead of a writer.
LpEncoder<W extends Writer>	Transforms a logic program (or its components} represented by objects implementing the LpStructureUnit interface into an encoded textual form that only contains the characters [a-zA-Z_] and can be decoded back to the original components.
LpGroundDecider	Decides whether a LpStructureUnit is ground, i.e. if it "contains" a variable (represented by a LpVariable instance) or not.
LpGroundDeciderTest	Contains tests of the LpGroundDecider class.
LpHtmlPrinter<W extends Writer>	Transforms a logic program (or its components} represented by objects implementing the LpStructureUnit interface into an HTML representation.
LpPrettyPrinter<W extends Writer>	Transforms a logic program (or its components} represented by objects implementing the LpStructureUnit interface into a human-readable (standard) textual representation.
LpPrettyPrinterTest	Contains tests of the LpPrettyPrinter class.
LpPrinter<W extends Writer>	A base class for various printers of object representations of logic programs.
LpPrinterTest	Contains tests of the non-abstract methods in the LpPrinter class.

Package lp.struct.util Description

This package contains classes that operate on the structural components of logic programs from the lp.struct package. In particular, it contains various printers that can print a logic program based on its object representation.