Overview | Package | Class | Tree | Deprecated | Index | Help
PREV NEXT | FRAMES NO FRAMES

# Implementation of transformational semantics for EVOLP

Packages
lp.parse | This package contains classes directly involved in tokenizing and parsing a textual input containing some kind of logic program.
lp.struct | This package contains classes that represent structural components of logic programs.
lp.struct.util | This package contains classes that operate on the structural components of logic programs from the `lp.struct` package.
lp.test.util |
lp.trans | Classes that perform transformations of logic programs.
lp.ui | This package contains a set of developer-friendly classes that can be used to parse and ground logic programs, dynamic logic programs and evolving logic programs and also compute their stable models.
lp.unit | Classes that represent logic programs and their models.
lp.util | Auxiliary classes.
lp.wrap | Contains the wrappers for lparse and smodels.

Overview | Package | Class | Tree | Deprecated | Index | Help
PREV NEXT | FRAMES NO FRAMES