| org.kahina.core |
Provides the essential core classes for the Kahina architecture.
|
| org.kahina.core.behavior |
Provides classes for specifying the modification logic of complex data structures in a modular way.
|
| org.kahina.core.bridge |
Provides functionality for handling the interaction of a program with a Kahina-based debugger.
|
| org.kahina.core.control |
Contains the basic Kahina event system.
|
| org.kahina.core.data |
The central package for Kahina's data model, subpackages provide support for many data types.
|
| org.kahina.core.data.agent |
Contains the data model of the Kahina breakpoint system.
|
| org.kahina.core.data.agent.patterns |
Contains classes that implement patterns on step information for the breakpoint system.
|
| org.kahina.core.data.chart |
Provides a datatype for charts (collections of labeled edges ranging over predefined segments).
|
| org.kahina.core.data.dag |
Provides a datatype for DAGs (directed acyclic graphs).
|
| org.kahina.core.data.graph |
Provides a datatype for general graphs (directed and undirected).
|
| org.kahina.core.data.project |
Provides support for projects (collections of configuration an input data)
which are helpful in customizing Kahina applications to avoid repetitive tasks..
|
| org.kahina.core.data.source |
Provides data types for representing source code files and locations.
|
| org.kahina.core.data.text |
|
| org.kahina.core.data.tree |
|
| org.kahina.core.edit.breakpoint |
|
| org.kahina.core.edit.source |
|
| org.kahina.core.gui |
|
| org.kahina.core.gui.breakpoint |
|
| org.kahina.core.gui.event |
|
| org.kahina.core.gui.menus |
|
| org.kahina.core.gui.profiler |
|
| org.kahina.core.gui.windows |
|
| org.kahina.core.io.color |
|
| org.kahina.core.io.magazine |
|
| org.kahina.core.io.tree |
|
| org.kahina.core.io.util |
|
| org.kahina.core.profiler |
|
| org.kahina.core.task |
|
| org.kahina.core.test |
|
| org.kahina.core.util |
|
| org.kahina.core.visual |
|
| org.kahina.core.visual.agent |
|
| org.kahina.core.visual.chart |
|
| org.kahina.core.visual.dag |
|
| org.kahina.core.visual.graph |
|
| org.kahina.core.visual.project |
|
| org.kahina.core.visual.source |
|
| org.kahina.core.visual.text |
|
| org.kahina.core.visual.tree |
|
| org.kahina.logic.sat.data |
|
| org.kahina.logic.sat.data.cnf |
|
| org.kahina.logic.sat.data.free |
|
| org.kahina.logic.sat.data.model |
|
| org.kahina.logic.sat.data.proof |
|
| org.kahina.logic.sat.freemuc |
|
| org.kahina.logic.sat.freemuc.control |
|
| org.kahina.logic.sat.freemuc.gui |
|
| org.kahina.logic.sat.freemuc.visual |
|
| org.kahina.logic.sat.insertionmus |
|
| org.kahina.logic.sat.insertionmus.algorithms |
|
| org.kahina.logic.sat.insertionmus.algorithms.Heuristics |
|
| org.kahina.logic.sat.insertionmus.algorithms.MaarenWieringa |
|
| org.kahina.logic.sat.insertionmus.gui |
|
| org.kahina.logic.sat.insertionmus.io |
|
| org.kahina.logic.sat.insertionmus.iterativ.simpleSAT |
|
| org.kahina.logic.sat.insertionmus.iterativ.simpleSAT.activityHeuristics |
|
| org.kahina.logic.sat.insertionmus.iterativ.simpleSAT.analyseConflict |
|
| org.kahina.logic.sat.insertionmus.iterativ.simpleSAT.factorys |
|
| org.kahina.logic.sat.insertionmus.iterativ.simpleSAT.main |
|
| org.kahina.logic.sat.insertionmus.iterativ.simpleSAT.optimization |
|
| org.kahina.logic.sat.insertionmus.iterativ.simpleSAT.test |
|
| org.kahina.logic.sat.insertionmus.iterativ.simpleSAT.unitPropagation |
|
| org.kahina.logic.sat.insertionmus.visual |
|
| org.kahina.logic.sat.io.cnf |
|
| org.kahina.logic.sat.io.free |
|
| org.kahina.logic.sat.io.minisat |
|
| org.kahina.logic.sat.io.proof |
|
| org.kahina.logic.sat.muc |
|
| org.kahina.logic.sat.muc.bridge |
|
| org.kahina.logic.sat.muc.control |
|
| org.kahina.logic.sat.muc.data |
|
| org.kahina.logic.sat.muc.gui |
|
| org.kahina.logic.sat.muc.heuristics |
|
| org.kahina.logic.sat.muc.io |
|
| org.kahina.logic.sat.muc.task |
|
| org.kahina.logic.sat.muc.test |
|
| org.kahina.logic.sat.muc.visual |
|
| org.kahina.logic.sat.test |
|
| org.kahina.logic.sat.visual.cnf.graph |
|
| org.kahina.logic.sat.visual.cnf.list |
|
| org.kahina.logic.sat.visual.free |
|
| org.kahina.lp |
|
| org.kahina.lp.behavior |
|
| org.kahina.lp.bridge |
|
| org.kahina.lp.control |
|
| org.kahina.lp.data.agent |
|
| org.kahina.lp.data.breakpoint |
|
| org.kahina.lp.data.project |
|
| org.kahina.lp.data.text |
|
| org.kahina.lp.gui |
|
| org.kahina.lp.gui.profiler |
|
| org.kahina.lp.profiler |
|
| org.kahina.lp.visual.source |
|
| org.kahina.parse.data.cfg |
|
| org.kahina.parse.data.chart |
|
| org.kahina.parse.data.project |
|
| org.kahina.parse.io.cfg |
|
| org.kahina.parse.test |
|
| org.kahina.parse.visual.chart |
|
| org.kahina.parse.visual.project |
|
| org.kahina.prolog.bridge |
|
| org.kahina.prolog.editor |
|
| org.kahina.prolog.profiler |
|
| org.kahina.prolog.util |
|
| org.kahina.qtype |
|
| org.kahina.qtype.bridge |
|
| org.kahina.qtype.control |
|
| org.kahina.qtype.data.bindings |
|
| org.kahina.qtype.data.project |
|
| org.kahina.qtype.data.tree |
|
| org.kahina.qtype.gui |
|
| org.kahina.qtype.visual.bindings |
|
| org.kahina.qtype.visual.fs |
|
| org.kahina.sicstus |
|
| org.kahina.sicstus.bridge |
|
| org.kahina.sicstus.data.bindings |
|
| org.kahina.sicstus.gui |
|
| org.kahina.sicstus.visual.bindings |
|
| org.kahina.swi |
|
| org.kahina.swi.bridge |
|
| org.kahina.swi.data.bindings |
|
| org.kahina.swi.data.tree |
|
| org.kahina.swi.gui |
|
| org.kahina.swi.visual.bindings |
|
| org.kahina.tralesld |
|
| org.kahina.tralesld.behavior |
|
| org.kahina.tralesld.bridge |
|
| org.kahina.tralesld.control |
|
| org.kahina.tralesld.data.chart |
|
| org.kahina.tralesld.data.fs |
|
| org.kahina.tralesld.data.project |
|
| org.kahina.tralesld.data.signature |
|
| org.kahina.tralesld.data.tree |
|
| org.kahina.tralesld.data.workbench |
|
| org.kahina.tralesld.gui |
|
| org.kahina.tralesld.profiler |
|
| org.kahina.tralesld.visual.chart |
|
| org.kahina.tralesld.visual.fs |
|
| org.kahina.tralesld.visual.signature |
|
| org.kahina.tralesld.visual.workbench |
|
| org.kahina.tulipa |
|
| org.kahina.tulipa.behavior |
|
| org.kahina.tulipa.bridge |
|
| org.kahina.tulipa.data.grammar |
|
| org.kahina.tulipa.gui |
|
| org.kahina.tulipa.visual.grammar |
|