Packages 
Package Description
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