A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

A

ABOUT - Static variable in class org.kahina.core.gui.KahinaDialogEvent

absolutePathName - Variable in class org.kahina.core.data.source.KahinaSourceFileModel

AbstractActivity - Class in org.kahina.logic.sat.insertionmus.iterativ.simpleSAT.activityHeuristics

AbstractActivity() - Constructor for class org.kahina.logic.sat.insertionmus.iterativ.simpleSAT.activityHeuristics.AbstractActivity

AbstractAlgorithm - Class in org.kahina.logic.sat.insertionmus.algorithms

AbstractAlgorithm() - Constructor for class org.kahina.logic.sat.insertionmus.algorithms.AbstractAlgorithm

accept(BooleanFormulaVisitor<A>) - Method in class org.kahina.logic.sat.data.free.BooleanConstant

accept(BooleanFormulaVisitor<A>) - Method in class org.kahina.logic.sat.data.free.BooleanFormula

accept(BooleanFormulaVisitor<A>) - Method in class org.kahina.logic.sat.data.free.BooleanVariable

accept(BooleanFormulaVisitor<A>) - Method in class org.kahina.logic.sat.data.free.Conjunction

accept(BooleanFormulaVisitor<A>) - Method in class org.kahina.logic.sat.data.free.Disjunction

accept(BooleanFormulaVisitor<A>) - Method in class org.kahina.logic.sat.data.free.Negation

acceptsClause(int) - Method in class org.kahina.logic.sat.data.cnf.ClauseFilter

acceptsClause(int) - Method in class org.kahina.logic.sat.muc.test.AspCcgDontCareFilter

acceptsClause(int) - Method in class org.kahina.logic.sat.muc.test.CfgDontCareFilter

act(KahinaControlAgent) - Method in class org.kahina.core.control.KahinaControlActuator

Causes this actuator to execute its action (usually sending out a control event).

act(KahinaControlAgent) - Method in class org.kahina.lp.control.LogicProgrammingBreakActuator

act(KahinaControlAgent) - Method in class org.kahina.lp.control.LogicProgrammingCompleteActuator

act(KahinaControlAgent) - Method in class org.kahina.lp.control.LogicProgrammingCreepActuator

act(KahinaControlAgent) - Method in class org.kahina.lp.control.LogicProgrammingFailActuator

act(KahinaControlAgent) - Method in class org.kahina.lp.control.LogicProgrammingSkipActuator

actionPerformed(ActionEvent) - Method in class org.kahina.core.edit.breakpoint.KahinaBreakpointEditorPanel

actionPerformed(ActionEvent) - Method in class org.kahina.core.edit.breakpoint.NodeConstraintPanel

actionPerformed(ActionEvent) - Method in class org.kahina.core.edit.breakpoint.SingleNodeConstraintPanel

actionPerformed(ActionEvent) - Method in class org.kahina.core.edit.breakpoint.TreeFragmentPanel

actionPerformed(ActionEvent) - Method in class org.kahina.core.edit.source.KahinaJEditActionListener

actionPerformed(ActionEvent) - Method in class org.kahina.core.gui.breakpoint.BreakpointEditorFileMenu

actionPerformed(ActionEvent) - Method in class org.kahina.core.gui.breakpoint.BreakpointEditorWindow

actionPerformed(ActionEvent) - Method in class org.kahina.core.gui.breakpoint.BreakpointTestWindow

actionPerformed(ActionEvent) - Method in class org.kahina.core.gui.KahinaControlButtonWindow

actionPerformed(ActionEvent) - Method in class org.kahina.core.gui.KahinaProgressBar

actionPerformed(ActionEvent) - Method in class org.kahina.core.gui.menus.KahinaControlPointMenu

actionPerformed(ActionEvent) - Method in class org.kahina.core.gui.menus.KahinaHelpMenu

actionPerformed(ActionEvent) - Method in class org.kahina.core.gui.menus.KahinaProjectMenuListener

actionPerformed(ActionEvent) - Method in class org.kahina.core.gui.menus.KahinaSessionMenu

actionPerformed(ActionEvent) - Method in class org.kahina.core.gui.menus.KahinaViewMenu

actionPerformed(ActionEvent) - Method in class org.kahina.core.gui.menus.KahinaWindowContextMenu

actionPerformed(ActionEvent) - Method in class org.kahina.core.gui.profiler.KahinaProfilerMenu

actionPerformed(ActionEvent) - Method in class org.kahina.core.visual.agent.KahinaControlAgentListener

actionPerformed(ActionEvent) - Method in class org.kahina.core.visual.agent.KahinaControlAgentProfileListener

actionPerformed(ActionEvent) - Method in class org.kahina.core.visual.agent.StepPatternEditorPanel

actionPerformed(ActionEvent) - Method in class org.kahina.core.visual.chart.KahinaChartViewListener

actionPerformed(ActionEvent) - Method in class org.kahina.core.visual.dag.KahinaDAGViewListener

actionPerformed(ActionEvent) - Method in class org.kahina.core.visual.graph.KahinaGraphViewListener

actionPerformed(ActionEvent) - Method in class org.kahina.core.visual.tree.KahinaTreeViewListener

actionPerformed(ActionEvent) - Method in class org.kahina.logic.sat.insertionmus.gui.MusticcaInstanceMenuListener

actionPerformed(ActionEvent) - Method in class org.kahina.logic.sat.insertionmus.visual.MUCStepViewListener

actionPerformed(ActionEvent) - Method in class org.kahina.logic.sat.muc.gui.MusticcaInstanceMenuListener

actionPerformed(ActionEvent) - Method in class org.kahina.logic.sat.muc.visual.MetaInstanceViewListener

actionPerformed(ActionEvent) - Method in class org.kahina.logic.sat.muc.visual.MUCStepControllerPanel

actionPerformed(ActionEvent) - Method in class org.kahina.logic.sat.muc.visual.MUCStepViewListener

actionPerformed(ActionEvent) - Method in class org.kahina.logic.sat.muc.visual.PartitionBlockViewListener

actionPerformed(ActionEvent) - Method in class org.kahina.logic.sat.muc.visual.UCReducerListViewPanel

actionPerformed(ActionEvent) - Method in class org.kahina.logic.sat.muc.visual.UCReducerPanel

actionPerformed(ActionEvent) - Method in class org.kahina.qtype.gui.QTypeParseExampleAction

actionPerformed(ActionEvent) - Method in class org.kahina.tralesld.visual.fs.TraleSLDFeatureStructureEditor

actionPerformed(ActionEvent) - Method in class org.kahina.tralesld.visual.workbench.FeatureWorkbenchViewPanel

activate() - Method in class org.kahina.core.data.agent.KahinaBreakpoint

Activates this breakpoint, causing the messaging system to announce its matches.

activate() - Method in class org.kahina.core.data.agent.KahinaControlAgent

Activates this control point, causing the messaging system to announce its matches.

ACTIVATE_BREAKPOINT - Static variable in class org.kahina.core.edit.breakpoint.BreakpointEditorEvent

activateAllBoolOps() - Method in class org.kahina.core.visual.agent.StepPatternEditorPanel

activateAllComponents() - Method in class org.kahina.core.edit.breakpoint.BooleanOperationsPanel

activateAllComponents() - Method in class org.kahina.core.edit.breakpoint.KahinaBreakpointEditorPanel

activateAllComponents() - Method in class org.kahina.core.edit.breakpoint.NodeConstraintPanel

activateAllComponents() - Method in class org.kahina.core.edit.breakpoint.NodeOperationsPanel

activateAllComponents() - Method in class org.kahina.core.edit.breakpoint.TreeFragmentPanel

activateAllComponents() - Method in class org.kahina.core.gui.breakpoint.ThresholdedBreakpointEditPanel

activateAllComponents() - Method in class org.kahina.core.gui.breakpoint.TreeGenerationPanel

ACTIVATION - Static variable in interface org.kahina.core.control.KahinaEventTypes

active - Variable in class org.kahina.core.data.agent.KahinaControlAgent

activity - Variable in class org.kahina.logic.sat.insertionmus.iterativ.simpleSAT.main.CDCL

activity - Variable in class org.kahina.logic.sat.insertionmus.iterativ.simpleSAT.main.Variable

ACTIVITYCONFVAR - Static variable in class org.kahina.logic.sat.insertionmus.iterativ.simpleSAT.analyseConflict.LearnMoreAnalyseConflict

ACTIVITYGAIN - Static variable in class org.kahina.logic.sat.insertionmus.iterativ.simpleSAT.analyseConflict.LearnMoreAnalyseConflict

activityReduction - Variable in class org.kahina.logic.sat.insertionmus.iterativ.simpleSAT.activityHeuristics.AbstractActivity

actuator - Variable in class org.kahina.core.data.agent.KahinaControlAgent

adaptActivationButtonLabel() - Method in class org.kahina.core.visual.agent.KahinaControlAgentViewPanel

adaptNodeSizeAndPosition(JPanel) - Method in class org.kahina.core.edit.breakpoint.TreeEditorPanel

adaptSize() - Method in class org.kahina.core.edit.breakpoint.BooleanConnectorPanel

add(WidthVector) - Method in class org.kahina.core.visual.tree.WidthVector

add(ReductionAgent) - Method in class org.kahina.logic.sat.muc.data.UCReducerList

add(TraleSLDVariableBinding) - Method in class org.kahina.tralesld.data.fs.TraleSLDVariableBindingSet

addAcceptingState(int) - Method in class org.kahina.core.data.agent.patterns.TreeAutomaton

addAdditionalMenus(ActionListener) - Method in class org.kahina.core.visual.graph.KahinaGraphViewContextMenu

addAdditionalMenus(ActionListener) - Method in class org.kahina.logic.sat.visual.cnf.graph.KahinaSatInstanceGraphViewContextMenu

addAllComponents() - Method in class org.kahina.core.edit.breakpoint.KahinaBreakpointEditorPanel

addAllComponents() - Method in class org.kahina.core.gui.breakpoint.ThresholdedBreakpointEditPanel

addAndDistributeIrreducibilityInfo(int, int) - Method in class org.kahina.logic.sat.muc.MUCState

addAndDistributeReducibilityInfo(int, int, int) - Method in class org.kahina.logic.sat.muc.MUCState

addAppropriateFeature(String, String, String) - Method in class org.kahina.tralesld.data.signature.TraleSLDSignature

addBinding(String, String, String) - Method in class org.kahina.sicstus.data.bindings.SICStusPrologVariableBindingSet

addBreakPoint(KahinaControlAgent) - Method in class org.kahina.lp.data.project.LogicProgrammingProject

addChild(TreePatternNode) - Method in class org.kahina.core.data.agent.patterns.TreePatternNode

addChild(int, int) - Method in class org.kahina.core.data.tree.KahinaTree

addChild(int, int) - Method in class org.kahina.core.data.tree.KahinaUnlayeredMemTree

addChildAddListener(KahinaTreeChildAddListener) - Method in class org.kahina.core.data.tree.KahinaTree

addChildAddListener(KahinaTreeChildAddListener) - Method in class org.kahina.core.data.tree.KahinaUnlayeredMemTree

addClause(List<Integer>) - Method in class org.kahina.logic.sat.data.cnf.CnfSatInstance

addClause(int, String) - Method in class org.kahina.tulipa.data.grammar.TulipaGrammar

addColorPath(ColoredPath) - Method in class org.kahina.core.data.dag.ColoredPathDAG

addCompletePoint(KahinaControlAgent) - Method in class org.kahina.lp.data.project.LogicProgrammingProject

addConsoleLineRefForStep(int, KahinaLineReference) - Method in class org.kahina.lp.LogicProgrammingState

addControlAgent(KahinaControlAgent) - Method in class org.kahina.core.data.agent.KahinaControlAgentProfile

addControlButton(KahinaControlButton) - Method in class org.kahina.core.gui.KahinaControlButtonWindow

addControlButton(String, String, String, String, int) - Method in class org.kahina.core.gui.KahinaGUI

addCreepPoint(KahinaControlAgent) - Method in class org.kahina.lp.data.project.LogicProgrammingProject

addDirectedEdge(int, int) - Method in class org.kahina.core.data.graph.AdjacListsGraph

addDirectedEdge(int, int, int) - Method in class org.kahina.core.data.graph.AdjacListsGraph

addDirectedEdge(int, int, String) - Method in class org.kahina.core.data.graph.AdjacListsGraph

addDirectedEdge(int, int, String, int) - Method in class org.kahina.core.data.graph.AdjacListsGraph

addDirectedEdge(int, int) - Method in class org.kahina.core.data.graph.KahinaGraph

addDirectedEdge(int, int, int) - Method in class org.kahina.core.data.graph.KahinaGraph

addDirectedEdge(int, int, String) - Method in class org.kahina.core.data.graph.KahinaGraph

addDirectedEdge(int, int, String, int) - Method in class org.kahina.core.data.graph.KahinaGraph

addEdge(int, int, String, int) - Method in class org.kahina.core.data.chart.KahinaChart

addEdge(int, int, int, String, int) - Method in class org.kahina.core.data.chart.KahinaChart

addEdge(int, int, String, int) - Method in class org.kahina.core.data.chart.KahinaMemChart

addEdge(int, int, int, String, int) - Method in class org.kahina.core.data.chart.KahinaMemChart

addEdge(int, int, int, String) - Method in class org.kahina.core.data.dag.KahinaDAG

addEdge(int, int, String) - Method in class org.kahina.core.data.dag.KahinaDAG

addEdge(int, int, int, String) - Method in class org.kahina.core.data.dag.KahinaMemDAG

addEdge(int, int, String) - Method in class org.kahina.core.data.dag.KahinaMemDAG

addEdgeDependency(int, int) - Method in class org.kahina.core.data.chart.KahinaChart

addEdgeDependency(int, int) - Method in class org.kahina.core.data.chart.KahinaMemChart

addEdgeNoDuplicates(int, int, int, String) - Method in class org.kahina.core.data.dag.KahinaDAG

addEdgeNoDuplicates(int, int, String) - Method in class org.kahina.core.data.dag.KahinaDAG

addElementaryConstraint(int) - Method in class org.kahina.core.edit.breakpoint.SingleNodeConstraintPanel

addFailPoint(KahinaControlAgent) - Method in class org.kahina.lp.data.project.LogicProgrammingProject

addFirstUC() - Method in class org.kahina.logic.sat.muc.MUCInstance

addHeuristic(Class<? extends ReductionHeuristic>) - Method in class org.kahina.logic.sat.muc.visual.UCReducerListView

addLater - Variable in class org.kahina.logic.sat.insertionmus.iterativ.simpleSAT.main.CDCL

addLaterUnitClause - Variable in class org.kahina.logic.sat.insertionmus.iterativ.simpleSAT.main.CDCL

addLexEntry(String, String) - Method in class org.kahina.parse.data.cfg.ContextFreeGrammar

addLexEntry(String) - Method in class org.kahina.tralesld.visual.workbench.FeatureWorkbenchViewPanel

addLine(String) - Method in class org.kahina.core.data.text.KahinaText

appends a new line to the end of this text

addListElement(IEntity, List<String>, int, TraleSLDSignature) - Static method in class org.kahina.tralesld.visual.fs.GraleJUtility

addMenusBeforeHelpMenu() - Method in class org.kahina.core.gui.windows.KahinaMainWindow

addMenusBeforeHelpMenu() - Method in class org.kahina.lp.gui.LogicProgrammingMainWindow

addMenusInFront() - Method in class org.kahina.core.gui.windows.KahinaMainWindow

addMenusInFront() - Method in class org.kahina.logic.sat.freemuc.gui.FreeMUCMainWindow

addMenusInFront() - Method in class org.kahina.logic.sat.insertionmus.gui.MUCMainWindow

addMenusInFront() - Method in class org.kahina.logic.sat.muc.gui.MUCMainWindow

addMenusInFront() - Method in class org.kahina.qtype.gui.QTypeMainWindow

addMenusInFront() - Method in class org.kahina.tralesld.gui.TraleSLDMainWindow

addNextAndContinue(long, Clause) - Method in class org.kahina.logic.sat.insertionmus.iterativ.simpleSAT.main.CDCL

addNode(int, String, int) - Method in class org.kahina.core.data.dag.KahinaDAG

addNode(String, int) - Method in class org.kahina.core.data.dag.KahinaDAG

addNode(int, String, int) - Method in class org.kahina.core.data.dag.KahinaMemDAG

addNode(String, int) - Method in class org.kahina.core.data.dag.KahinaMemDAG

addNode(int, String, String, int) - Method in class org.kahina.core.data.tree.KahinaTree

addNode(String, String, int) - Method in class org.kahina.core.data.tree.KahinaTree

addNode(String, String, int) - Method in class org.kahina.core.data.tree.KahinaUnlayeredMemTree

addNode(int, String, String, int) - Method in class org.kahina.core.data.tree.KahinaUnlayeredMemTree

addOpenedFile(File) - Method in class org.kahina.core.data.project.KahinaProject

addPropertyChangeListener(PropertyChangeListener) - Method in class org.kahina.qtype.gui.QTypeParseExampleAction

addRelationToType(String, String) - Method in class org.kahina.core.edit.breakpoint.NodeConstraintOptions

addRule(TreeAutomatonRule) - Method in class org.kahina.core.data.agent.patterns.TreeAutomaton

addRule(String, List<String>) - Method in class org.kahina.parse.data.cfg.ContextFreeGrammar

addSentence(String) - Method in class org.kahina.parse.data.project.TestSet

addSkipPoint(KahinaControlAgent) - Method in class org.kahina.lp.data.project.LogicProgrammingProject

addState(int) - Method in class org.kahina.core.data.agent.patterns.TreeAutomaton

addSubtypeRelation(String, String) - Method in class org.kahina.tralesld.data.signature.TraleSLDSignature

addSubwindow(KahinaWindow) - Method in class org.kahina.core.gui.windows.KahinaHorizontallySplitWindow

addSubwindow(KahinaWindow) - Method in class org.kahina.core.gui.windows.KahinaListWindow

addSubwindow(KahinaWindow) - Method in class org.kahina.core.gui.windows.KahinaMainWindow

addSubwindow(KahinaWindow) - Method in class org.kahina.core.gui.windows.KahinaTabbedWindow

addSubwindow(KahinaWindow) - Method in class org.kahina.core.gui.windows.KahinaVerticallySplitWindow

addSubwindow(KahinaWindow) - Method in class org.kahina.core.gui.windows.KahinaWindow

Adds a subwindow if there is space for it; generic handle for configuring windows.

addTask(KahinaTask) - Method in class org.kahina.core.task.KahinaTaskManager

Adds a new task to the task queue, starting it immediately if no other task was queued.

addToPanel(JPanel) - Static method in class org.kahina.core.gui.KahinaProgressBar

addType(String) - Method in class org.kahina.core.edit.breakpoint.NodeConstraintOptions

addTypeMGS(String) - Method in class org.kahina.tralesld.visual.workbench.FeatureWorkbenchViewPanel

addUndirectedEdge(int, int) - Method in class org.kahina.core.data.graph.AdjacListsGraph

addUndirectedEdge(int, int, int) - Method in class org.kahina.core.data.graph.AdjacListsGraph

addUndirectedEdge(int, int, String) - Method in class org.kahina.core.data.graph.AdjacListsGraph

addUndirectedEdge(int, int, String, int) - Method in class org.kahina.core.data.graph.AdjacListsGraph

addUndirectedEdge(int, int) - Method in class org.kahina.core.data.graph.KahinaGraph

addUndirectedEdge(int, int, int) - Method in class org.kahina.core.data.graph.KahinaGraph

addUndirectedEdge(int, int, String) - Method in class org.kahina.core.data.graph.KahinaGraph

addUndirectedEdge(int, int, String, int) - Method in class org.kahina.core.data.graph.KahinaGraph

addUnit - Variable in class org.kahina.logic.sat.insertionmus.iterativ.simpleSAT.main.CDCL

addVertex(int) - Method in class org.kahina.core.data.graph.AdjacListsGraph

addVertex(int, int) - Method in class org.kahina.core.data.graph.AdjacListsGraph

addVertex(int, String) - Method in class org.kahina.core.data.graph.AdjacListsGraph

addVertex(int, String, int) - Method in class org.kahina.core.data.graph.AdjacListsGraph

addVertex(int) - Method in class org.kahina.core.data.graph.KahinaGraph

addVertex(int, int) - Method in class org.kahina.core.data.graph.KahinaGraph

addVertex(int, String) - Method in class org.kahina.core.data.graph.KahinaGraph

addVertex(int, String, int) - Method in class org.kahina.core.data.graph.KahinaGraph

addWarnPoint(KahinaControlAgent) - Method in class org.kahina.lp.data.project.LogicProgrammingProject

addWindow(int) - Method in class org.kahina.core.gui.KahinaArrangement

addWindow(int, KahinaWindow) - Method in class org.kahina.core.gui.windows.KahinaListWindow

addWindow(int, KahinaWindow) - Method in class org.kahina.core.gui.windows.KahinaTabbedWindow

adjacents - Variable in class org.kahina.core.data.graph.AdjacListsGraph

AdjacListsGraph - Class in org.kahina.core.data.graph

AdjacListsGraph() - Constructor for class org.kahina.core.data.graph.AdjacListsGraph

adjoin(WidthVector, WidthVector, int) - Static method in class org.kahina.core.visual.tree.WidthVector

AdvancedAlgorithm - Class in org.kahina.logic.sat.insertionmus.algorithms.MaarenWieringa

Implementation of H.van Maaren and S.

AdvancedAlgorithm() - Constructor for class org.kahina.logic.sat.insertionmus.algorithms.MaarenWieringa.AdvancedAlgorithm

aIntersectB - Variable in class org.kahina.logic.sat.muc.data.Overlap

AlgorithmData - Class in org.kahina.logic.sat.insertionmus.algorithms

AlgorithmData() - Constructor for class org.kahina.logic.sat.insertionmus.algorithms.AlgorithmData

AlgorithmData(CnfSatInstance) - Constructor for class org.kahina.logic.sat.insertionmus.algorithms.AlgorithmData

AlgorithmTypes - Enum in org.kahina.logic.sat.insertionmus.algorithms

allocations - Variable in class org.kahina.logic.sat.insertionmus.algorithms.AlgorithmData

ALWAYS - Static variable in class org.kahina.core.visual.tree.KahinaTreeViewOptions

aMinusB - Variable in class org.kahina.logic.sat.muc.data.Overlap

analyseConflict(Clause) - Method in class org.kahina.logic.sat.insertionmus.iterativ.simpleSAT.analyseConflict.DefaultAnalyseConflict

analyseConflict(Clause) - Method in class org.kahina.logic.sat.insertionmus.iterativ.simpleSAT.analyseConflict.DisabledLearnMoreAnalyseConflict

analyseConflict(Clause) - Method in interface org.kahina.logic.sat.insertionmus.iterativ.simpleSAT.analyseConflict.IAnalyseConflict

resolviert eine Konfliktklausel nach dem 1UIP prinzip.

analyseConflict(Clause) - Method in class org.kahina.logic.sat.insertionmus.iterativ.simpleSAT.analyseConflict.LearnMoreAnalyseConflict

analyseConflict - Variable in class org.kahina.logic.sat.insertionmus.iterativ.simpleSAT.main.CDCL

ANCESTORS_ONLY - Static variable in class org.kahina.core.visual.chart.KahinaChartViewOptions

annotate(int, int) - Method in class org.kahina.core.data.agent.patterns.TreeAutomaton

Annotates a single node in the tree with some state ID and checks whether this resulted in a change.

announceAddedClauses() - Method in class org.kahina.logic.sat.data.cnf.CnfSatInstance

announceChange() - Method in class org.kahina.core.data.tree.KahinaTree

announceChange() - Method in class org.kahina.logic.sat.muc.data.RecursiveBlockHandler

announceChangedClauses() - Method in class org.kahina.logic.sat.data.cnf.CnfSatInstance

announceItemProcessing(int) - Method in class org.kahina.tulipa.bridge.TulipaBridge

ANTIALIASING - Static variable in class org.kahina.core.visual.chart.KahinaChartViewOptions

ANTIALIASING - Static variable in class org.kahina.core.visual.dag.KahinaDAGView

ANTIALIASING - Static variable in class org.kahina.core.visual.dag.KahinaDAGViewOptions

ANTIALIASING - Static variable in class org.kahina.core.visual.graph.KahinaGraphViewOptions

ANTIALIASING - Static variable in class org.kahina.core.visual.tree.KahinaTreeViewOptions

anzClauses - Variable in class org.kahina.logic.sat.insertionmus.iterativ.simpleSAT.main.Parser

anzVariables - Variable in class org.kahina.logic.sat.insertionmus.iterativ.simpleSAT.main.Parser

append(int) - Method in class org.kahina.core.data.dag.ColoredPath

Extends the path by a numeric step ID.

appID - Variable in class org.kahina.core.data.project.KahinaProject

APPLY_BREAKPOINTS - Static variable in class org.kahina.core.control.KahinaSystemEvent

APPLY_QUIT - Static variable in class org.kahina.core.edit.breakpoint.BreakpointEditorEvent

applyAdditionalConfigSettings(Config) - Method in class org.kahina.qtype.visual.fs.QTypeFSVisualizationUtility

applyAdditionalConfigSettings(Config) - Method in class org.kahina.tralesld.visual.fs.FSVisualizationUtility

Override to customize.

applyAssignmentDestructively(PartialAssignment) - Method in class org.kahina.logic.sat.data.cnf.CnfSatInstance

applyDontCareFilter(ClauseFilter) - Method in class org.kahina.logic.sat.data.cnf.CnfSatInstance

AscendingIndexHeuristic - Class in org.kahina.logic.sat.insertionmus.algorithms.Heuristics

AscendingIndexHeuristic() - Constructor for class org.kahina.logic.sat.insertionmus.algorithms.Heuristics.AscendingIndexHeuristic

AscendingIndexHeuristic - Class in org.kahina.logic.sat.muc.heuristics

AscendingIndexHeuristic() - Constructor for class org.kahina.logic.sat.muc.heuristics.AscendingIndexHeuristic

AscendingRelevanceHeuristic - Class in org.kahina.logic.sat.muc.heuristics

AscendingRelevanceHeuristic() - Constructor for class org.kahina.logic.sat.muc.heuristics.AscendingRelevanceHeuristic

AspCcgDontCareFilter - Class in org.kahina.logic.sat.muc.test

AspCcgDontCareFilter(CnfSatInstance) - Constructor for class org.kahina.logic.sat.muc.test.AspCcgDontCareFilter

assign(int, boolean) - Method in class org.kahina.logic.sat.data.model.PartialAssignment

assign(boolean, Variable[], ArrayList<Clause>, Stack<Variable>, int) - Method in class org.kahina.logic.sat.insertionmus.iterativ.simpleSAT.main.Variable

Belegt eine Variable

assignedVars() - Method in class org.kahina.logic.sat.data.model.PartialAssignment

atomLiteralToString(String) - Static method in class org.kahina.prolog.util.PrologUtil

attrBoolVal(Element, String) - Static method in class org.kahina.core.io.util.XMLUtil

attrBoolValWithDefault(Element, String, boolean) - Static method in class org.kahina.core.io.util.XMLUtil

attrColorVal(Element, String) - Static method in class org.kahina.core.io.util.XMLUtil

Constructs a color from an attribute value in an XML document.

attrIntVal(Element, String) - Static method in class org.kahina.core.io.util.XMLUtil

attrStrVal(Element, String) - Static method in class org.kahina.core.io.util.XMLUtil

autarkyReduction(int) - Method in class org.kahina.logic.sat.muc.MUCState

AUTOSCROLL_TO_MARKED_NODE - Static variable in class org.kahina.core.visual.tree.KahinaTreeViewOptions

autospineLeft() - Method in class org.kahina.core.visual.tree.KahinaListTreeView

autospineRight() - Method in class org.kahina.core.visual.tree.KahinaListTreeView

AuxiliaryTraleInstance - Class in org.kahina.tralesld.bridge

This class uses the Jasper interface to run and maintain a second instance of TRALE.

AuxiliaryTraleInstance(boolean) - Constructor for class org.kahina.tralesld.bridge.AuxiliaryTraleInstance

Crudely gains access to some SICStus instance (caller or new) and stores it for operations.

AverageVariableOccourrenceHeuristic - Class in org.kahina.logic.sat.insertionmus.algorithms.Heuristics

AverageVariableOccourrenceHeuristic(ISortingHeuristic) - Constructor for class org.kahina.logic.sat.insertionmus.algorithms.Heuristics.AverageVariableOccourrenceHeuristic

avoidClashesByAdaptingHorizontalDistance() - Method in class org.kahina.core.visual.tree.KahinaTreeView

tell the GUI to adapt horizontal distance in order to avoid clashes will be overridden by manual distance adaptation

B

BarycenterCrossingReduction - Class in org.kahina.core.visual.dag

BarycenterCrossingReduction() - Constructor for class org.kahina.core.visual.dag.BarycenterCrossingReduction

BasicAlgorithm - Class in org.kahina.logic.sat.insertionmus.algorithms

Implementation of the insertion algorithm of J.K.

BasicAlgorithm() - Constructor for class org.kahina.logic.sat.insertionmus.algorithms.BasicAlgorithm

batchMode - Variable in class org.kahina.logic.sat.muc.bridge.MUCBridge

beginIndex - Variable in class org.kahina.core.data.text.KahinaTextWithMarking

benchmarkAll - Class in org.kahina.logic.sat.insertionmus.iterativ.simpleSAT

benchmarkAll() - Constructor for class org.kahina.logic.sat.insertionmus.iterativ.simpleSAT.benchmarkAll

benchmarkLearnMoreVsDefault - Class in org.kahina.logic.sat.insertionmus.iterativ.simpleSAT

benchmarkLearnMoreVsDefault() - Constructor for class org.kahina.logic.sat.insertionmus.iterativ.simpleSAT.benchmarkLearnMoreVsDefault

BinaryAlgorithm - Class in org.kahina.logic.sat.insertionmus.algorithms

BinaryAlgorithm() - Constructor for class org.kahina.logic.sat.insertionmus.algorithms.BinaryAlgorithm

bindings - Variable in class org.kahina.sicstus.SICStusPrologStep

bindings - Variable in class org.kahina.tralesld.data.fs.TraleSLDVariableBindingSet

bindWindow(int, String) - Method in class org.kahina.core.gui.KahinaArrangement

BlockContentSummarizer - Class in org.kahina.logic.sat.muc.visual

BlockContentSummarizer(CnfSatInstance) - Constructor for class org.kahina.logic.sat.muc.visual.BlockContentSummarizer

BlocklessBlockHandler - Class in org.kahina.logic.sat.muc.data

BlocklessBlockHandler(CnfSatInstance) - Constructor for class org.kahina.logic.sat.muc.data.BlocklessBlockHandler

blockListView - Variable in class org.kahina.logic.sat.muc.gui.MUCGUI

blockTreeView - Variable in class org.kahina.logic.sat.muc.gui.MUCGUI

bMinusA - Variable in class org.kahina.logic.sat.muc.data.Overlap

BooleanConnectorPanel - Class in org.kahina.core.edit.breakpoint

BooleanConnectorPanel(SingleNodeConstraintPanel, KahinaInstance<?, ?, ?, ?>) - Constructor for class org.kahina.core.edit.breakpoint.BooleanConnectorPanel

BooleanConstant - Class in org.kahina.logic.sat.data.free

BooleanConstant(boolean) - Constructor for class org.kahina.logic.sat.data.free.BooleanConstant

BooleanFormula - Class in org.kahina.logic.sat.data.free

BooleanFormula() - Constructor for class org.kahina.logic.sat.data.free.BooleanFormula

BooleanFormulaOutput - Class in org.kahina.logic.sat.io.free

BooleanFormulaOutput() - Constructor for class org.kahina.logic.sat.io.free.BooleanFormulaOutput

BooleanFormulaParser - Class in org.kahina.logic.sat.io.free

BooleanFormulaParser() - Constructor for class org.kahina.logic.sat.io.free.BooleanFormulaParser

BooleanFormulaTest - Class in org.kahina.logic.sat.test

BooleanFormulaTest() - Constructor for class org.kahina.logic.sat.test.BooleanFormulaTest

BooleanFormulaVisitor<T> - Interface in org.kahina.logic.sat.io.free

BooleanOperationsPanel - Class in org.kahina.core.edit.breakpoint

BooleanOperationsPanel(ActionListener) - Constructor for class org.kahina.core.edit.breakpoint.BooleanOperationsPanel

BooleanVariable - Class in org.kahina.logic.sat.data.free

BooleanVariable(VarName) - Constructor for class org.kahina.logic.sat.data.free.BooleanVariable

BOTH_ANCESTORS_AND_DESCENDANTS - Static variable in class org.kahina.core.visual.chart.KahinaChartViewOptions

BOTTOM_UP_DISPLAY - Static variable in class org.kahina.core.visual.chart.KahinaChartViewOptions

BOTTOM_UP_DISPLAY - Static variable in class org.kahina.core.visual.tree.KahinaTreeViewOptions

BOX_VERTICES - Static variable in class org.kahina.core.visual.dag.KahinaDAGViewOptions

BOX_VERTICES - Static variable in class org.kahina.core.visual.graph.KahinaGraphViewOptions

BOXED_EDGE_LABELS - Static variable in class org.kahina.core.visual.dag.KahinaDAGViewOptions

BOXED_EDGE_LABELS - Static variable in class org.kahina.core.visual.graph.KahinaGraphViewOptions

BOXED_EDGE_TAGS - Static variable in class org.kahina.core.visual.tree.KahinaTreeViewOptions

breakpoint - Variable in class org.kahina.core.edit.breakpoint.KahinaBreakpointEditorPanel

BREAKPOINT_NAME_UPDATE - Static variable in class org.kahina.core.edit.breakpoint.BreakpointEditorEvent

breakpointConsoleMessage(int, String) - Method in class org.kahina.lp.LogicProgrammingState

BreakpointEditorEvent - Class in org.kahina.core.edit.breakpoint

BreakpointEditorEvent(int) - Constructor for class org.kahina.core.edit.breakpoint.BreakpointEditorEvent

BreakpointEditorEvent(int, File) - Constructor for class org.kahina.core.edit.breakpoint.BreakpointEditorEvent

BreakpointEditorEvent(int, SingleNodeConstraintPanel) - Constructor for class org.kahina.core.edit.breakpoint.BreakpointEditorEvent

BreakpointEditorEvent(int, int) - Constructor for class org.kahina.core.edit.breakpoint.BreakpointEditorEvent

BreakpointEditorFileMenu - Class in org.kahina.core.gui.breakpoint

BreakpointEditorFileMenu(KahinaInstance<?, ?, ?, ?>) - Constructor for class org.kahina.core.gui.breakpoint.BreakpointEditorFileMenu

BreakpointEditorHintPanel - Class in org.kahina.core.edit.breakpoint

BreakpointEditorHintPanel() - Constructor for class org.kahina.core.edit.breakpoint.BreakpointEditorHintPanel

BreakpointEditorTest - Class in org.kahina.core.test

BreakpointEditorTest() - Constructor for class org.kahina.core.test.BreakpointEditorTest

BreakpointEditorWindow - Class in org.kahina.core.gui.breakpoint

BreakpointEditorWindow(KahinaInstance<?, ?, ?, ?>, int) - Constructor for class org.kahina.core.gui.breakpoint.BreakpointEditorWindow

breakPoints - Variable in class org.kahina.lp.data.project.LogicProgrammingProject

BreakpointTestWindow - Class in org.kahina.core.gui.breakpoint

BreakpointTestWindow(List<TreeAutomaton>, KahinaInstance<?, ?, ?, ?>) - Constructor for class org.kahina.core.gui.breakpoint.BreakpointTestWindow

breakPointView - Variable in class org.kahina.lp.gui.LogicProgrammingGUI

bridge - Variable in class org.kahina.core.KahinaInstance

bridgeState - Variable in class org.kahina.tulipa.bridge.TulipaBridge

btStartListener - Variable in class org.kahina.logic.sat.insertionmus.visual.UCReducerListViewPanel

build() - Method in class org.kahina.core.gui.KahinaControlButtonWindow

buildBlockSummary(Set<Integer>) - Method in class org.kahina.logic.sat.muc.visual.BlockContentSummarizer

buildBlockSummary(Set<Integer>) - Method in class org.kahina.logic.sat.muc.visual.CfgBlockContentSummarizer

buildEditor(IDataPackage) - Static method in class org.kahina.tralesld.visual.fs.FSVisualizationUtility

buildRepresentation(TreeSet<Integer>) - Method in class org.kahina.logic.sat.muc.data.BlocklessBlockHandler

buildRepresentation(TreeSet<Integer>) - Method in class org.kahina.logic.sat.muc.data.LiteralBlockHandler

buildRepresentation(TreeSet<Integer>) - Method in class org.kahina.logic.sat.muc.data.PartitionBlockHandler

buildRepresentation(TreeSet<Integer>) - Method in class org.kahina.logic.sat.muc.data.RecursiveBlockHandler

buildRightPanel() - Method in class org.kahina.core.gui.breakpoint.BreakpointEditorWindow

buildRightPanel() - Method in class org.kahina.core.gui.breakpoint.ThresholdedBreakpointEditorWindow

C

calculateCoordinates() - Method in class org.kahina.core.visual.tree.KahinaTreeView

call(int) - Method in class org.kahina.lp.bridge.LogicProgrammingBridge

Called, typically following a call to #step(int, String, Stirng, String) very soon, to indicate that the call port of the procedure box with the given ID has been reached.

CALL - Static variable in class org.kahina.lp.LogicProgrammingStepType

call(ProfileEntry) - Method in class org.kahina.lp.profiler.LogicProgrammingProfile

call(int) - Method in class org.kahina.lp.profiler.LogicProgrammingProfiler

call(int) - Method in class org.kahina.qtype.bridge.QTypeBridge

CALL_SUBTREE_PROFILE - Static variable in class org.kahina.core.gui.KahinaDialogEvent

cancelButtonClicked() - Method in class org.kahina.core.gui.KahinaProgressBar

cancelTasks() - Method in class org.kahina.core.task.KahinaTaskManager

cancelTasks() - Method in class org.kahina.core.visual.graph.KahinaGraphViewTaskManager

cancelTasks() - Method in class org.kahina.logic.sat.muc.task.ReductionAgent

candidates - Variable in class org.kahina.logic.sat.muc.task.ReductionTask

canMoveToNext() - Method in class org.kahina.core.gui.KahinaSelectionHistory

canMoveToPrevious() - Method in class org.kahina.core.gui.KahinaSelectionHistory

canSkipOrAutocomplete() - Method in class org.kahina.lp.bridge.LogicProgrammingBridge

CAPTION - Static variable in class org.kahina.core.control.KahinaSimpleProperty

caretIndex - Variable in class org.kahina.core.data.text.KahinaTextWithMarking

castToStringList(Object) - Static method in class org.kahina.core.util.ListUtil

cbAlgorithmListener - Variable in class org.kahina.logic.sat.insertionmus.visual.UCReducerListViewPanel

cbHeuristicListener - Variable in class org.kahina.logic.sat.insertionmus.visual.UCReducerListViewPanel

CDCL - Class in org.kahina.logic.sat.insertionmus.iterativ.simpleSAT.main

CDCL(ClauseSet) - Constructor for class org.kahina.logic.sat.insertionmus.iterativ.simpleSAT.main.CDCL

CDCL(ClauseSet, AbstractActivity, IUnitPropagation, IAnalyseConflict) - Constructor for class org.kahina.logic.sat.insertionmus.iterativ.simpleSAT.main.CDCL

CDCLFitnessFunction - Class in org.kahina.logic.sat.insertionmus.iterativ.simpleSAT.optimization

CDCLFitnessFunction() - Constructor for class org.kahina.logic.sat.insertionmus.iterativ.simpleSAT.optimization.CDCLFitnessFunction

CDCLFitnessFunctionMultiThreaded - Class in org.kahina.logic.sat.insertionmus.iterativ.simpleSAT.optimization

CDCLFitnessFunctionMultiThreaded() - Constructor for class org.kahina.logic.sat.insertionmus.iterativ.simpleSAT.optimization.CDCLFitnessFunctionMultiThreaded

CDCLOptimisationMultiThreaded - Class in org.kahina.logic.sat.insertionmus.iterativ.simpleSAT.optimization

CDCLOptimisationMultiThreaded() - Constructor for class org.kahina.logic.sat.insertionmus.iterativ.simpleSAT.optimization.CDCLOptimisationMultiThreaded

CDCLOptimisationSingleThreaded - Class in org.kahina.logic.sat.insertionmus.iterativ.simpleSAT.optimization

CDCLOptimisationSingleThreaded() - Constructor for class org.kahina.logic.sat.insertionmus.iterativ.simpleSAT.optimization.CDCLOptimisationSingleThreaded

CDCLTest - Class in org.kahina.logic.sat.insertionmus.iterativ.simpleSAT.test

CDCLTest() - Constructor for class org.kahina.logic.sat.insertionmus.iterativ.simpleSAT.test.CDCLTest

CENTERED_NODES - Static variable in class org.kahina.core.visual.tree.KahinaTreeViewOptions

CenteredIndexHeuristic - Class in org.kahina.logic.sat.muc.heuristics

CenteredIndexHeuristic() - Constructor for class org.kahina.logic.sat.muc.heuristics.CenteredIndexHeuristic

CenteredRelevanceHeuristic - Class in org.kahina.logic.sat.muc.heuristics

CenteredRelevanceHeuristic() - Constructor for class org.kahina.logic.sat.muc.heuristics.CenteredRelevanceHeuristic

CFG_FILTER - Static variable in class org.kahina.logic.sat.insertionmus.MUCInstance

CFG_FILTER - Static variable in class org.kahina.logic.sat.muc.MUCInstance

CfgBlockContentSummarizer - Class in org.kahina.logic.sat.muc.visual

CfgBlockContentSummarizer(CnfSatInstance) - Constructor for class org.kahina.logic.sat.muc.visual.CfgBlockContentSummarizer

CfgDontCareFilter - Class in org.kahina.logic.sat.muc.test

CfgDontCareFilter(CnfSatInstance) - Constructor for class org.kahina.logic.sat.muc.test.CfgDontCareFilter

CfgInstanceGenerator - Class in org.kahina.logic.sat.io.cnf

CfgInstanceGenerator() - Constructor for class org.kahina.logic.sat.io.cnf.CfgInstanceGenerator

CfgParseViaSat - Class in org.kahina.logic.sat.muc.test

CfgParseViaSat() - Constructor for class org.kahina.logic.sat.muc.test.CfgParseViaSat

CfgToSatConverter - Class in org.kahina.logic.sat.io.cnf

CfgToSatConverter() - Constructor for class org.kahina.logic.sat.io.cnf.CfgToSatConverter

CHANGE_NODE_SELECTION_MODE - Static variable in class org.kahina.core.edit.breakpoint.BreakpointEditorEvent

changeAtom(IEntity, List<String>, String, TraleSLDSignature) - Static method in class org.kahina.tralesld.visual.fs.GraleJUtility

CHECK_SAT - Static variable in class org.kahina.logic.sat.freemuc.control.FreeMUCControlEventCommands

checkRepresentability(TreeSet<Integer>) - Method in class org.kahina.logic.sat.muc.data.PartitionBlockHandler

childAdded(int) - Method in interface org.kahina.core.data.tree.KahinaTreeChildAddListener

childAdded(int) - Method in class org.kahina.core.visual.tree.KahinaListTreeView

children - Variable in class org.kahina.core.data.tree.KahinaUnlayeredMemTree

children - Variable in class org.kahina.tralesld.data.fs.TraleSLDPackedFSNonTerminal

ChooseInstance - Class in org.kahina.logic.sat.insertionmus.iterativ.simpleSAT.optimization

chooseInstances(String, int) - Method in class org.kahina.logic.sat.insertionmus.iterativ.simpleSAT.optimization.ChooseInstance

chooseInstances(String, int) - Method in class org.kahina.logic.sat.insertionmus.iterativ.simpleSAT.optimization.ChooseRandomInstance

chooseInstances(String, int) - Method in interface org.kahina.logic.sat.insertionmus.iterativ.simpleSAT.optimization.IChooseInstance

ChooseRandomInstance - Class in org.kahina.logic.sat.insertionmus.iterativ.simpleSAT.optimization

ChooseRandomInstance() - Constructor for class org.kahina.logic.sat.insertionmus.iterativ.simpleSAT.optimization.ChooseRandomInstance

CircularLayouter - Class in org.kahina.core.visual.graph

CircularLayouter() - Constructor for class org.kahina.core.visual.graph.CircularLayouter

Clause - Class in org.kahina.logic.sat.insertionmus.iterativ.simpleSAT.main

Clause(ArrayList<Integer>, Variable[]) - Constructor for class org.kahina.logic.sat.insertionmus.iterativ.simpleSAT.main.Clause

Clause(List<Integer>) - Constructor for class org.kahina.logic.sat.insertionmus.iterativ.simpleSAT.main.Clause

Clause.ClauseState - Enum in org.kahina.logic.sat.insertionmus.iterativ.simpleSAT.main

clauseActivityGain - Variable in class org.kahina.logic.sat.insertionmus.iterativ.simpleSAT.activityHeuristics.AbstractActivity

ClauseBlockPartitioner - Class in org.kahina.logic.sat.muc.test

ClauseBlockPartitioner() - Constructor for class org.kahina.logic.sat.muc.test.ClauseBlockPartitioner

ClauseFilter - Class in org.kahina.logic.sat.data.cnf

ClauseFilter(CnfSatInstance) - Constructor for class org.kahina.logic.sat.data.cnf.ClauseFilter

clauseIDs - Variable in class org.kahina.logic.sat.data.cnf.CnfSatInstance

ClauseSelectionEvent - Class in org.kahina.logic.sat.insertionmus.gui

ClauseSelectionEvent(int) - Constructor for class org.kahina.logic.sat.insertionmus.gui.ClauseSelectionEvent

ClauseSelectionEvent - Class in org.kahina.logic.sat.muc.gui

ClauseSelectionEvent(List<Integer>) - Constructor for class org.kahina.logic.sat.muc.gui.ClauseSelectionEvent

ClauseSet - Class in org.kahina.logic.sat.insertionmus.iterativ.simpleSAT.main

ClauseSet() - Constructor for class org.kahina.logic.sat.insertionmus.iterativ.simpleSAT.main.ClauseSet

ClauseSet(int) - Constructor for class org.kahina.logic.sat.insertionmus.iterativ.simpleSAT.main.ClauseSet

clauseStore - Variable in class org.kahina.logic.sat.data.cnf.CnfSatInstance

clear() - Method in class org.kahina.core.data.tree.KahinaTree

Clears the tree model.

clear() - Method in class org.kahina.core.data.tree.KahinaUnlayeredMemTree

clear() - Method in class org.kahina.core.edit.breakpoint.NodeConstraintPanel

clear() - Method in class org.kahina.core.edit.breakpoint.TreeFragmentPanel

clearCanvas(Graphics) - Method in class org.kahina.core.visual.chart.KahinaChartViewPanel

clearCanvas(Graphics) - Method in class org.kahina.core.visual.dag.KahinaDAGViewPanel

clearCanvas(Graphics) - Method in class org.kahina.core.visual.graph.KahinaGraphViewPanel

clearCanvas(Graphics) - Method in class org.kahina.core.visual.tree.KahinaTreeViewPanel

clearComponents() - Method in class org.kahina.core.edit.breakpoint.KahinaBreakpointEditorPanel

clearList(IEntity, List<String>, TraleSLDSignature) - Static method in class org.kahina.tralesld.visual.fs.GraleJUtility

clone() - Method in class org.kahina.logic.sat.insertionmus.algorithms.AlgorithmData

cloned - Variable in class org.kahina.core.gui.windows.KahinaWindow

close() - Method in class org.kahina.core.io.magazine.ObjectMagazine

close() - Method in class org.kahina.core.util.ProgressMonitorWrapper

CnfSatInstance - Class in org.kahina.logic.sat.data.cnf

CnfSatInstance() - Constructor for class org.kahina.logic.sat.data.cnf.CnfSatInstance

CnfSatInstanceListViewer - Class in org.kahina.logic.sat.test

CnfSatInstanceListViewer() - Constructor for class org.kahina.logic.sat.test.CnfSatInstanceListViewer

codeLocation - Variable in class org.kahina.lp.LogicProgrammingStep

collapse(int) - Method in class org.kahina.core.data.dag.KahinaDAG

collapse(int) - Method in class org.kahina.core.data.dag.KahinaMemDAG

collapse(int) - Method in class org.kahina.core.data.tree.KahinaTree

collapse(int) - Method in class org.kahina.core.data.tree.KahinaUnlayeredMemTree

COLLAPSE_PRIMARY - Static variable in class org.kahina.core.visual.tree.KahinaTreeViewOptions

COLLAPSE_SECONDARY - Static variable in class org.kahina.core.visual.tree.KahinaTreeViewOptions

collapsed - Variable in class org.kahina.core.data.dag.KahinaMemDAG

collapsed - Variable in class org.kahina.core.data.tree.KahinaUnlayeredMemTree

collectLeaves(int, List<Integer>) - Method in class org.kahina.core.data.tree.KahinaTree

collectLeaves(int, List<Integer>) - Method in class org.kahina.core.data.tree.KahinaUnlayeredMemTree

ColoredPath - Class in org.kahina.core.data.dag

ColoredPath(Color) - Constructor for class org.kahina.core.data.dag.ColoredPath

Creates an empty path of the specified color.

ColoredPath(List<Integer>, Color) - Constructor for class org.kahina.core.data.dag.ColoredPath

Creates a specified path of the specified color.

ColoredPathDAG - Class in org.kahina.core.data.dag

ColoredPathDAG() - Constructor for class org.kahina.core.data.dag.ColoredPathDAG

ColoredPathDAGView - Class in org.kahina.core.visual.dag

ColoredPathDAGView(KahinaInstance<?, ?, ?, ?>, KahinaDAGLayouter) - Constructor for class org.kahina.core.visual.dag.ColoredPathDAGView

ColoredPathDAGViewPanel - Class in org.kahina.core.visual.dag

ColoredPathDAGViewPanel(KahinaInstance<?, ?, ?, ?>) - Constructor for class org.kahina.core.visual.dag.ColoredPathDAGViewPanel

ColorUtil - Class in org.kahina.core.io.color

ColorUtil() - Constructor for class org.kahina.core.io.color.ColorUtil

CombinedAlgorithm - Class in org.kahina.logic.sat.insertionmus.algorithms

CombinedAlgorithm() - Constructor for class org.kahina.logic.sat.insertionmus.algorithms.CombinedAlgorithm

compareTo(NodeAvPosPair) - Method in class org.kahina.core.visual.dag.NodeAvPosPair

compile() - Method in class org.kahina.core.data.agent.KahinaBreakpoint

Compiles this breakpoint into a tree automaton which is then returned.

COMPILE - Static variable in class org.kahina.core.gui.KahinaDialogEvent

COMPILE - Static variable in interface org.kahina.qtype.control.QTypeControlEventCommands

compile(String) - Method in class org.kahina.qtype.QTypeCommander

COMPILE - Static variable in interface org.kahina.tralesld.control.TraleSLDControlEventCommands

compile(String) - Method in class org.kahina.tralesld.TraleSLDInstance

COMPILE_ACTION - Variable in class org.kahina.qtype.QTypeCommander

COMPILE_ACTION - Variable in class org.kahina.tralesld.TraleSLDInstance

compileCurrentlyOpenedBreakpoint() - Method in class org.kahina.core.gui.breakpoint.BreakpointEditorWindow

compileCurrentlyOpenedBreakpoint() - Method in class org.kahina.core.gui.breakpoint.ThresholdedBreakpointEditorWindow

compileGrammar(String) - Method in class org.kahina.tralesld.bridge.AuxiliaryTraleInstance

Lets the instance compile a grammar in the current working directory.

compileTheory(String) - Method in class org.kahina.tralesld.visual.workbench.FeatureWorkbenchViewPanel

COMPLETE - Static variable in class org.kahina.logic.sat.muc.MUCStepType

COMPLETE_LINES - Static variable in class org.kahina.core.visual.tree.KahinaTreeViewOptions

CompleteAssignment - Class in org.kahina.logic.sat.data.model

CompleteAssignment() - Constructor for class org.kahina.logic.sat.data.model.CompleteAssignment

completePoints - Variable in class org.kahina.lp.data.project.LogicProgrammingProject

completePointView - Variable in class org.kahina.lp.gui.LogicProgrammingGUI

componentHidden(ComponentEvent) - Method in class org.kahina.core.gui.windows.KahinaWindow

componentMoved(ComponentEvent) - Method in class org.kahina.core.gui.windows.KahinaWindow

componentResized(ComponentEvent) - Method in class org.kahina.core.gui.windows.KahinaWindow

componentShown(ComponentEvent) - Method in class org.kahina.core.gui.windows.KahinaWindow

computeBacktrackLevel(Clause) - Method in class org.kahina.logic.sat.insertionmus.iterativ.simpleSAT.main.CDCL

Zweithoechste lvl der variablen in newClause

computeGrisuMGS(String) - Method in class org.kahina.tralesld.data.signature.TraleSLDSignature

Compute the most general satisfier of a type as a GRISU string.

computeGroupOccurrenceMap() - Method in class org.kahina.logic.sat.data.cnf.GroupCnfSatInstance

computeInitialLayout() - Method in class org.kahina.core.visual.graph.CircularLayouter

computeInitialLayout() - Method in class org.kahina.core.visual.graph.GridLayouter

computeInitialLayout() - Method in class org.kahina.core.visual.graph.KahinaGraphLayouter

computeInitialLayout() - Method in class org.kahina.core.visual.graph.SpringLayouter

computeLayout() - Method in class org.kahina.core.visual.dag.KahinaDAGLayouter

computeLayout() - Method in class org.kahina.core.visual.dag.LayeredLayouter

computeMUC(String, String, boolean, long) - Static method in class org.kahina.logic.sat.muc.test.MinUnsatCore

computeNecessaryDistance(WidthVector, WidthVector) - Static method in class org.kahina.core.visual.tree.WidthVector

computeOccurrenceMap() - Method in class org.kahina.logic.sat.data.cnf.CnfSatInstance

computeRandomMUCs(int, String, String, boolean, long) - Static method in class org.kahina.logic.sat.muc.test.MinUnsatCore

computeSegmentOffsets() - Method in class org.kahina.core.visual.chart.KahinaChartView

CONDITIONALLY - Static variable in class org.kahina.core.visual.tree.KahinaTreeViewOptions

config - Variable in class org.kahina.core.visual.dag.KahinaDAGView

config - Variable in class org.kahina.core.visual.graph.KahinaGraphView

config - Variable in class org.kahina.core.visual.KahinaView

config - Variable in class org.kahina.core.visual.tree.KahinaTreeView

configureBuffer(JEditBuffer) - Method in class org.kahina.core.edit.source.KahinaJEditPanel

Override this method to configure the buffer, e.g.

configureBuffer(JEditBuffer) - Method in class org.kahina.prolog.editor.PrologJEditPanel

CONJUNCTION - Static variable in class org.kahina.core.control.KahinaSimpleProperty

Conjunction - Class in org.kahina.logic.sat.data.free

Conjunction(List<BooleanFormula>) - Constructor for class org.kahina.logic.sat.data.free.Conjunction

consoleLines - Variable in class org.kahina.core.KahinaState

consoleMessage(int, String) - Method in class org.kahina.core.KahinaState

consoleMessage(int, int, int, String) - Method in class org.kahina.lp.LogicProgrammingState

consoleMessage(LogicProgrammingLineReference) - Method in class org.kahina.lp.LogicProgrammingState

consoleMessages - Variable in class org.kahina.core.KahinaState

containingBlock(int, int) - Method in class org.kahina.tralesld.visual.fs.GraleJEditorBlockPanel

CONTAINS - Static variable in class org.kahina.core.control.KahinaSimpleProperty

ContextFreeGrammar - Class in org.kahina.parse.data.cfg

ContextFreeGrammar() - Constructor for class org.kahina.parse.data.cfg.ContextFreeGrammar

ContextFreeGrammarParser - Class in org.kahina.parse.io.cfg

ContextFreeGrammarParser() - Constructor for class org.kahina.parse.io.cfg.ContextFreeGrammarParser

ContextFreeGrammarTest - Class in org.kahina.parse.test

ContextFreeGrammarTest() - Constructor for class org.kahina.parse.test.ContextFreeGrammarTest

continueTasks() - Method in class org.kahina.logic.sat.muc.task.ReductionAgent

CONTROL - Static variable in interface org.kahina.core.control.KahinaEventTypes

CONTROL_WINDOW - Static variable in class org.kahina.core.gui.windows.KahinaWindowType

ControlAgentType - Enum in org.kahina.lp.control

controlWindows - Variable in class org.kahina.core.gui.KahinaGUI

convertItemID(int) - Method in class org.kahina.tulipa.bridge.TulipaBridge

convert external item IDs to internal IDs corresponding to dag nodes uses entries in itemIDConv table, extending it together with the dag if no entry was found

convertStepID(int) - Method in class org.kahina.lp.bridge.LogicProgrammingBridge

convert external step IDs to internal IDs corresponding to tree nodes uses entries in stepIDConv table, extending it together with the tree if no entry was found

copy() - Method in class org.kahina.core.control.KahinaCodeLineProperty

copy(KahinaControlAgent) - Method in class org.kahina.core.control.KahinaCodeLinePropertySensor

copy() - Method in class org.kahina.core.control.KahinaSimpleProperty

copy(KahinaControlAgent) - Method in class org.kahina.core.control.KahinaSimplePropertySensor

copy() - Method in class org.kahina.core.control.KahinaStepProperty

copy(KahinaControlAgent) - Method in class org.kahina.core.control.KahinaStepPropertySensor

copy() - Method in class org.kahina.core.data.agent.KahinaControlAgent

copy() - Method in class org.kahina.core.data.agent.KahinaControlAgentProfile

copy() - Method in class org.kahina.core.data.project.KahinaProject

copy() - Method in class org.kahina.core.data.source.KahinaSourceCodeLocation

copy() - Method in class org.kahina.core.gui.KahinaArrangement

copy() - Method in class org.kahina.core.gui.KahinaPerspective

copy(File, File) - Static method in class org.kahina.core.io.util.FileUtil

copy() - Method in class org.kahina.core.visual.tree.WidthVector

copy() - Method in class org.kahina.logic.sat.data.cnf.CnfSatInstance

copy() - Method in class org.kahina.lp.data.project.LogicProgrammingProject

copy() - Method in class org.kahina.lp.LogicProgrammingStep

copy() - Method in class org.kahina.parse.data.project.TestSet

copy() - Method in class org.kahina.qtype.data.project.QTypeProject

copy() - Method in class org.kahina.qtype.QTypeStep

copy() - Method in class org.kahina.sicstus.SICStusPrologStep

copy() - Method in class org.kahina.swi.SWIPrologStep

copy() - Method in class org.kahina.tralesld.data.fs.TraleSLDVariableBindingSet

copy() - Method in class org.kahina.tralesld.data.project.TraleProject

copy() - Method in class org.kahina.tralesld.TraleSLDStep

copy(IEntity) - Static method in class org.kahina.tralesld.visual.fs.GraleJUtility

COPY_FS - Static variable in class org.kahina.tralesld.visual.fs.TraleSLDFeatureEditEvent

copyDataInto(KahinaCodeLinePropertySensor) - Method in class org.kahina.core.control.KahinaCodeLinePropertySensor

copyDataInto(KahinaSimplePropertySensor) - Method in class org.kahina.core.control.KahinaSimplePropertySensor

copyDataInto(KahinaStepPropertySensor) - Method in class org.kahina.core.control.KahinaStepPropertySensor

copyDataInto(KahinaProject) - Method in class org.kahina.core.data.project.KahinaProject

copyDataInto(LogicProgrammingProject) - Method in class org.kahina.lp.data.project.LogicProgrammingProject

copyDataInto(TraleProject) - Method in class org.kahina.tralesld.data.project.TraleProject

copyWithoutTmpFiles() - Method in class org.kahina.logic.sat.io.minisat.MiniSATFiles

count - Variable in class org.kahina.logic.sat.insertionmus.iterativ.simpleSAT.activityHeuristics.AbstractActivity

countTillActivityReduction - Variable in class org.kahina.logic.sat.insertionmus.iterativ.simpleSAT.activityHeuristics.AbstractActivity

create() - Method in class org.kahina.core.gui.KahinaControlButton

create() - Static method in class org.kahina.core.io.magazine.ObjectMagazine

createAppropriateContextMenu() - Method in class org.kahina.tralesld.visual.fs.TraleSLDFeatureStructureEditor

createAtomContextMenu() - Method in class org.kahina.tralesld.visual.fs.TraleSLDFeatureStructureEditor

createBridge() - Method in class org.kahina.core.KahinaDefaultInstance

createBridge() - Method in class org.kahina.core.KahinaInstance

createBridge() - Method in class org.kahina.logic.sat.freemuc.FreeMUCInstance

createBridge() - Method in class org.kahina.logic.sat.insertionmus.MUCInstance

createBridge() - Method in class org.kahina.logic.sat.muc.MUCInstance

createBridge() - Method in class org.kahina.qtype.QTypeDebuggerInstance

createBridge() - Method in class org.kahina.sicstus.SICStusPrologDebuggerInstance

createBridge() - Method in class org.kahina.swi.SWIPrologDebuggerInstance

createBridge() - Method in class org.kahina.tralesld.TraleSLDInstance

createBridge() - Method in class org.kahina.tulipa.TulipaInstance

createDynamicClone() - Method in class org.kahina.core.gui.windows.KahinaDefaultWindow

createDynamicClone() - Method in class org.kahina.core.gui.windows.KahinaHorizontallySplitWindow

createDynamicClone() - Method in class org.kahina.core.gui.windows.KahinaVerticallySplitWindow

createDynamicClone() - Method in class org.kahina.core.gui.windows.KahinaWindow

Creates an exact copy of this window, with identical update behavior.

createEditPanel(LogicProgrammingInstance<?, ?, ?, ?>) - Method in class org.kahina.core.visual.source.KahinaJEditSourceCodeViewPanel

createEditPanel(LogicProgrammingInstance<?, ?, ?, ?>) - Method in class org.kahina.lp.visual.source.PrologJEditSourceCodeViewPanel

createEmptyGraph() - Static method in class org.kahina.core.data.graph.KahinaGraph

Creates an empty graph, an AdjacListsGraph by default.

createExtendedFile(String) - Method in class org.kahina.logic.sat.io.minisat.MiniSATFiles

createFeatureContextMenu() - Method in class org.kahina.tralesld.visual.fs.TraleSLDFeatureStructureEditor

createFreezeFile(int[], File, int, List<Integer>) - Static method in class org.kahina.logic.sat.io.minisat.FreezeFile

Creates a FreezeFile that also sets all variables in 'unitClauses' to their inverted values

createFreezeFile(int[], File, int) - Static method in class org.kahina.logic.sat.io.minisat.FreezeFile

createFreezeFile(int[], File, int) - Static method in class org.kahina.logic.sat.io.minisat.MiniSAT

createFSFrame(String, String) - Method in class org.kahina.tralesld.visual.fs.FSVisualizationUtility

createGUI() - Method in class org.kahina.core.KahinaDefaultInstance

createGUI() - Method in class org.kahina.core.KahinaInstance

createGUI() - Method in class org.kahina.logic.sat.freemuc.FreeMUCInstance

createGUI() - Method in class org.kahina.logic.sat.insertionmus.MUCInstance

createGUI() - Method in class org.kahina.logic.sat.muc.MUCInstance

createGUI() - Method in class org.kahina.qtype.QTypeDebuggerInstance

createGUI() - Method in class org.kahina.sicstus.SICStusPrologDebuggerInstance

createGUI() - Method in class org.kahina.swi.SWIPrologDebuggerInstance

createGUI() - Method in class org.kahina.tralesld.TraleSLDInstance

createGUI() - Method in class org.kahina.tulipa.TulipaInstance

createListContextMenu() - Method in class org.kahina.tralesld.visual.fs.TraleSLDFeatureStructureEditor

createMainWindow(KahinaWindowManager) - Method in class org.kahina.core.gui.KahinaWindowManager

createMainWindow(KahinaWindowManager, int) - Method in class org.kahina.core.gui.KahinaWindowManager

createMainWindow(KahinaWindowManager, MUCInstance) - Method in class org.kahina.logic.sat.freemuc.gui.FreeMUCWindowManager

createMainWindow(KahinaWindowManager, int) - Method in class org.kahina.logic.sat.freemuc.gui.FreeMUCWindowManager

createMainWindow(MUCWindowManager, MUCInstance) - Method in class org.kahina.logic.sat.insertionmus.gui.MUCWindowManager

createMainWindow(KahinaWindowManager, int) - Method in class org.kahina.logic.sat.insertionmus.gui.MUCWindowManager

createMainWindow(MUCWindowManager, MUCInstance) - Method in class org.kahina.logic.sat.muc.gui.MUCWindowManager

createMainWindow(KahinaWindowManager, int) - Method in class org.kahina.logic.sat.muc.gui.MUCWindowManager

createMainWindow(KahinaWindowManager) - Method in class org.kahina.qtype.gui.QTypeWindowManager

createMainWindow(KahinaWindowManager, int) - Method in class org.kahina.qtype.gui.QTypeWindowManager

createMainWindow(KahinaWindowManager) - Method in class org.kahina.sicstus.gui.SICStusPrologWindowManager

createMainWindow(KahinaWindowManager, int) - Method in class org.kahina.sicstus.gui.SICStusPrologWindowManager

createMainWindow(KahinaWindowManager, KahinaInstance<?, ?, ?, ?>) - Method in class org.kahina.tralesld.gui.TraleSLDWindowManager

createMainWindow(KahinaWindowManager, int) - Method in class org.kahina.tralesld.gui.TraleSLDWindowManager

createMatchingLabelBreakpoint(String, String, int) - Static method in class org.kahina.core.data.agent.KahinaBreakpointFactory

Creates a breakpoint for nodes whose labels match a given regular expression.

createMenuItem(String, String, ActionListener) - Static method in class org.kahina.core.util.SwingUtil

createNewProject() - Method in class org.kahina.core.KahinaDefaultInstance

createNewProject() - Method in class org.kahina.core.KahinaInstance

createNewProject() - Method in class org.kahina.logic.sat.freemuc.FreeMUCInstance

createNewProject() - Method in class org.kahina.logic.sat.insertionmus.MUCInstance

createNewProject() - Method in class org.kahina.logic.sat.muc.MUCInstance

createNewProject() - Method in class org.kahina.qtype.QTypeDebuggerInstance

createNewProject() - Method in class org.kahina.sicstus.SICStusPrologDebuggerInstance

createNewProject() - Method in class org.kahina.swi.SWIPrologDebuggerInstance

createNewProject() - Method in class org.kahina.tralesld.TraleSLDInstance

createNewProject() - Method in class org.kahina.tulipa.TulipaInstance

createPanel(File) - Method in class org.kahina.core.edit.source.KahinaMultifileJEditPanel

createPanel() - Method in class org.kahina.core.visual.source.KahinaJEditSourceCodeView

createPanel() - Method in class org.kahina.lp.visual.source.PrologJEditSourceCodeView

createPanel(File) - Method in class org.kahina.prolog.editor.PrologMultifileJEditPanel

createPopupMenu(MouseEvent) - Method in class org.kahina.core.edit.source.KahinaJEditTextArea

createProgressMonitorWrapper(String, String, int, int) - Method in class org.kahina.core.gui.KahinaGUI

createResolutionProofDAG(String, CnfSatInstance) - Static method in class org.kahina.logic.sat.io.proof.ResolutionProofParser

createResolutionProofTree(String, CnfSatInstance) - Static method in class org.kahina.logic.sat.io.proof.ResolutionProofParser

createSnapshotClone() - Method in class org.kahina.core.gui.windows.KahinaDefaultWindow

createSnapshotClone() - Method in class org.kahina.core.gui.windows.KahinaHorizontallySplitWindow

createSnapshotClone() - Method in class org.kahina.core.gui.windows.KahinaVerticallySplitWindow

createSnapshotClone() - Method in class org.kahina.core.gui.windows.KahinaWindow

Creates an exact copy of this window, but with immutable content.

createState() - Method in class org.kahina.core.KahinaDefaultInstance

createState() - Method in class org.kahina.core.KahinaInstance

createState() - Method in class org.kahina.logic.sat.freemuc.FreeMUCInstance

createState() - Method in class org.kahina.logic.sat.insertionmus.MUCInstance

createState() - Method in class org.kahina.logic.sat.muc.MUCInstance

createState() - Method in class org.kahina.qtype.QTypeDebuggerInstance

createState() - Method in class org.kahina.sicstus.SICStusPrologDebuggerInstance

createState() - Method in class org.kahina.swi.SWIPrologDebuggerInstance

createState() - Method in class org.kahina.tralesld.TraleSLDInstance

createState() - Method in class org.kahina.tulipa.TulipaInstance

createTagContextMenu() - Method in class org.kahina.tralesld.visual.fs.TraleSLDFeatureStructureEditor

createTargetFile(String) - Method in class org.kahina.logic.sat.io.minisat.MiniSATFiles

createTempFiles(String) - Method in class org.kahina.logic.sat.io.minisat.MiniSATFiles

createTemporaryDirectory() - Static method in class org.kahina.core.io.util.FileUtil

createTransferable(JComponent) - Method in class org.kahina.core.gui.KahinaWindowTransferHandler

createTreeBehavior() - Method in class org.kahina.core.KahinaDefaultInstance

createTreeBehavior() - Method in class org.kahina.core.KahinaInstance

createTreeBehavior() - Method in class org.kahina.logic.sat.freemuc.FreeMUCInstance

createTreeBehavior() - Method in class org.kahina.logic.sat.insertionmus.MUCInstance

createTreeBehavior() - Method in class org.kahina.logic.sat.muc.MUCInstance

createTreeBehavior() - Method in class org.kahina.lp.LogicProgrammingInstance

createTreeBehavior() - Method in class org.kahina.qtype.QTypeDebuggerInstance

createTreeBehavior() - Method in class org.kahina.tralesld.TraleSLDInstance

createTreeBehavior() - Method in class org.kahina.tulipa.TulipaInstance

createTypeContextMenu() - Method in class org.kahina.tralesld.visual.fs.TraleSLDFeatureStructureEditor

createWindowManager() - Method in class org.kahina.core.gui.KahinaGUI

createWindowManager() - Method in class org.kahina.logic.sat.freemuc.gui.FreeMUCGUI

createWindowManager() - Method in class org.kahina.logic.sat.insertionmus.gui.MUCGUI

createWindowManager() - Method in class org.kahina.logic.sat.muc.gui.MUCGUI

createWindowManager() - Method in class org.kahina.qtype.gui.QTypeGUI

createWindowManager() - Method in class org.kahina.sicstus.gui.SICStusPrologGUI

createWindowManager() - Method in class org.kahina.tralesld.gui.TraleSLDGUI

createWindows() - Method in class org.kahina.core.gui.KahinaWindowManager

Builds the windows according to the perspective.

CREEP - Static variable in class org.kahina.tulipa.bridge.TulipaBridgeCommand

CREEP_POINT - Static variable in class org.kahina.core.data.agent.KahinaBreakpointType

CREEP_POINTS - Static variable in class org.kahina.core.gui.KahinaDialogEvent

creepPoints - Variable in class org.kahina.lp.data.project.LogicProgrammingProject

creepPointView - Variable in class org.kahina.lp.gui.LogicProgrammingGUI

CrossingReduction - Class in org.kahina.core.visual.dag

CrossingReduction() - Constructor for class org.kahina.core.visual.dag.CrossingReduction

currentID - Variable in class org.kahina.lp.bridge.LogicProgrammingBridge

currentID - Variable in class org.kahina.tulipa.bridge.TulipaBridge

currentPruningSatisfiable() - Method in class org.kahina.logic.sat.freemuc.FreeMUCInstance

currentTask - Variable in class org.kahina.core.task.KahinaTaskManager

cycleDecollapsePrune(int) - Method in class org.kahina.logic.sat.visual.free.FormulaTreeView

D

DAGtoTreeConversion - Class in org.kahina.core.data.dag

DAGtoTreeConversion() - Constructor for class org.kahina.core.data.dag.DAGtoTreeConversion

DaimlerToDimacsCNF - Class in org.kahina.logic.sat.io.free

DaimlerToDimacsCNF() - Constructor for class org.kahina.logic.sat.io.free.DaimlerToDimacsCNF

dataFlavor - Static variable in class org.kahina.core.gui.KahinaWindowTransferHandler

DBL_CLICK_INTERVAL - Static variable in class org.kahina.logic.sat.insertionmus.visual.MUCStepViewListener

DBL_CLICK_INTERVAL - Static variable in class org.kahina.logic.sat.muc.visual.MetaInstanceViewListener

DBL_CLICK_INTERVAL - Static variable in class org.kahina.logic.sat.muc.visual.MUCStepControllerPanel

DBL_CLICK_INTERVAL - Static variable in class org.kahina.logic.sat.muc.visual.MUCStepViewListener

DBL_CLICK_INTERVAL - Static variable in class org.kahina.logic.sat.muc.visual.PartitionBlockViewListener

DBL_CLICK_INTERVAL - Static variable in class org.kahina.logic.sat.muc.visual.RecursiveBlockViewListener

deactivate() - Method in class org.kahina.core.data.agent.KahinaBreakpoint

Deactivates this breakpoint, preventing the messaging system from announcing its matches.

deactivate() - Method in class org.kahina.core.data.agent.KahinaControlAgent

Deactivates this control point, preventing the messaging system from announcing its matches.

DEACTIVATE_BREAKPOINT - Static variable in class org.kahina.core.edit.breakpoint.BreakpointEditorEvent

deactivateAllBoolOps() - Method in class org.kahina.core.visual.agent.StepPatternEditorPanel

deactivateAllComponents() - Method in class org.kahina.core.edit.breakpoint.BooleanOperationsPanel

deactivateAllComponents() - Method in class org.kahina.core.edit.breakpoint.KahinaBreakpointEditorPanel

deactivateAllComponents() - Method in class org.kahina.core.edit.breakpoint.NodeConstraintPanel

deactivateAllComponents() - Method in class org.kahina.core.edit.breakpoint.NodeOperationsPanel

deactivateAllComponents() - Method in class org.kahina.core.edit.breakpoint.TreeFragmentPanel

deactivateAllComponents() - Method in class org.kahina.core.gui.breakpoint.ThresholdedBreakpointEditPanel

deactivateAllComponents() - Method in class org.kahina.core.gui.breakpoint.TreeGenerationPanel

decideEdgeDisplay(int) - Method in class org.kahina.core.visual.chart.DisplayAllChartEdgesDecider

decideEdgeDisplay(int) - Method in class org.kahina.core.visual.chart.KahinaChartEdgeDisplayDecider

decideEdgeDisplay(int) - Method in class org.kahina.core.visual.chart.KahinaChartViewConfiguration

decideOnLayer(int, KahinaTree) - Method in class org.kahina.core.data.tree.DefaultLayerDecider

decideOnLayer(int, KahinaTree) - Method in class org.kahina.core.data.tree.LayerDecider

decideOnLayer(int, KahinaTree) - Method in class org.kahina.core.data.tree.TreeLayerDecider

decideOnLayer(int, KahinaTree) - Method in class org.kahina.core.test.TestLayerDecider

decideOnLayer(int, KahinaTree) - Method in class org.kahina.qtype.data.tree.QTypeLayerDecider

decideOnLayer(int, KahinaTree) - Method in class org.kahina.swi.data.tree.SWIPrologLayerDecider

decideOnLayer(int, KahinaTree) - Method in class org.kahina.tralesld.data.tree.TraleSLDLayerDecider

decider - Variable in class org.kahina.core.data.tree.KahinaTree

decisionGraphView - Variable in class org.kahina.logic.sat.freemuc.gui.FreeMUCGUI

decisionGraphView - Variable in class org.kahina.logic.sat.insertionmus.gui.MUCGUI

decisionGraphView - Variable in class org.kahina.logic.sat.muc.gui.MUCGUI

decodeHTML(String) - Static method in class org.kahina.core.io.color.ColorUtil

decollapse(int) - Method in class org.kahina.core.data.dag.KahinaDAG

decollapse(int) - Method in class org.kahina.core.data.dag.KahinaMemDAG

decollapse(int) - Method in class org.kahina.core.data.tree.KahinaTree

decollapse(int) - Method in class org.kahina.core.data.tree.KahinaUnlayeredMemTree

decollapseAll() - Method in class org.kahina.core.data.dag.KahinaDAG

decollapseAll() - Method in class org.kahina.core.data.dag.KahinaMemDAG

decollapseAll() - Method in class org.kahina.core.data.tree.KahinaTree

decollapseAll() - Method in class org.kahina.core.data.tree.KahinaUnlayeredMemTree

decreaseHorizontalDistance() - Method in class org.kahina.core.visual.dag.KahinaDAGViewConfiguration

decreaseHorizontalDistance() - Method in class org.kahina.core.visual.tree.KahinaTreeViewConfiguration

decreaseNodeSize() - Method in class org.kahina.core.visual.dag.KahinaDAGViewConfiguration

decreaseNodeSize() - Method in class org.kahina.core.visual.graph.KahinaGraphViewConfiguration

decreaseVerticalDistance() - Method in class org.kahina.core.visual.dag.KahinaDAGViewConfiguration

decreaseVerticalDistance() - Method in class org.kahina.core.visual.tree.KahinaTreeViewConfiguration

DEFAULT_WINDOW - Static variable in class org.kahina.core.gui.windows.KahinaWindowType

DefaultAnalyseConflict - Class in org.kahina.logic.sat.insertionmus.iterativ.simpleSAT.analyseConflict

DefaultAnalyseConflict() - Constructor for class org.kahina.logic.sat.insertionmus.iterativ.simpleSAT.analyseConflict.DefaultAnalyseConflict

DefaultFactory - Class in org.kahina.logic.sat.insertionmus.iterativ.simpleSAT.factorys

DefaultFactory() - Constructor for class org.kahina.logic.sat.insertionmus.iterativ.simpleSAT.factorys.DefaultFactory

DefaultLayerDecider - Class in org.kahina.core.data.tree

DefaultLayerDecider() - Constructor for class org.kahina.core.data.tree.DefaultLayerDecider

defaultPerspectives - Variable in class org.kahina.core.KahinaInstance

DefaultProfileEntryMapper - Class in org.kahina.core.profiler

DefaultProfileEntryMapper() - Constructor for class org.kahina.core.profiler.DefaultProfileEntryMapper

defaultProjects - Variable in class org.kahina.core.KahinaInstance

DefaultVSCustom - Class in org.kahina.logic.sat.insertionmus.iterativ.simpleSAT.optimization

DefaultVSCustom() - Constructor for class org.kahina.logic.sat.insertionmus.iterativ.simpleSAT.optimization.DefaultVSCustom

defineNewBlock(TreeSet<Integer>) - Method in class org.kahina.logic.sat.muc.data.PartitionBlockHandler

defineNewBlock(TreeSet<Integer>) - Method in class org.kahina.logic.sat.muc.data.RecursiveBlockHandler

delBoolHeur(Variable[]) - Method in class org.kahina.logic.sat.insertionmus.iterativ.simpleSAT.main.Clause

deleteRecursively(File) - Static method in class org.kahina.core.io.util.FileUtil

deleteTempFiles() - Method in class org.kahina.logic.sat.io.minisat.MiniSATFiles

deleteVariablesDestructively(Set<Integer>) - Method in class org.kahina.logic.sat.data.cnf.CnfSatInstance

deliverCriticalClauses(Set<Integer>) - Method in class org.kahina.logic.sat.muc.heuristics.AscendingIndexHeuristic

deliverCriticalClauses(Set<Integer>) - Method in class org.kahina.logic.sat.muc.heuristics.AscendingRelevanceHeuristic

deliverCriticalClauses(Set<Integer>) - Method in class org.kahina.logic.sat.muc.heuristics.CenteredIndexHeuristic

deliverCriticalClauses(Set<Integer>) - Method in class org.kahina.logic.sat.muc.heuristics.CenteredRelevanceHeuristic

deliverCriticalClauses(Set<Integer>) - Method in class org.kahina.logic.sat.muc.heuristics.DescendingIndexHeuristic

deliverCriticalClauses(Set<Integer>) - Method in class org.kahina.logic.sat.muc.heuristics.DescendingRelevanceHeuristic

deliverCriticalClauses(Set<Integer>) - Method in class org.kahina.logic.sat.muc.heuristics.ReductionHeuristic

Does nothing by default

deliverProof(ResolutionProofTree) - Method in class org.kahina.logic.sat.muc.heuristics.AscendingRelevanceHeuristic

deliverProof(ResolutionProofTree) - Method in class org.kahina.logic.sat.muc.heuristics.CenteredRelevanceHeuristic

deliverProof(ResolutionProofTree) - Method in class org.kahina.logic.sat.muc.heuristics.DescendingRelevanceHeuristic

deliverProof(ResolutionProofTree) - Method in class org.kahina.logic.sat.muc.heuristics.ReductionHeuristic

Is called by the reduction agent to hand on proof trees to the heuristic for complex calculations, if usesProofs() is defined to return true.

delta(IEntity, List<String>) - Static method in class org.kahina.tralesld.visual.fs.GraleJUtility

Retrieves the substructure of an IEntity at a given a path.

deregister() - Method in class org.kahina.core.bridge.KahinaBridge

deregister() - Method in class org.kahina.core.data.agent.KahinaControlAgent

deregister() - Method in class org.kahina.core.data.project.KahinaProject

Tells the project to deregister itself with its listeners.

deregister() - Method in class org.kahina.core.gui.KahinaControlButtonWindow

deregister() - Method in class org.kahina.core.gui.menus.KahinaViewMenu

deregister() - Method in class org.kahina.core.gui.windows.KahinaMainWindow

deregister() - Method in class org.kahina.core.gui.windows.KahinaWindow

deregister() - Method in class org.kahina.lp.bridge.LogicProgrammingBridge

deregister() - Method in class org.kahina.lp.data.project.LogicProgrammingProject

deregisterAll() - Method in class org.kahina.core.data.agent.KahinaControlAgentProfile

deregisterInstanceListener(String, KahinaListener) - Method in class org.kahina.core.KahinaInstance

deregisterSessionListener(String, KahinaListener) - Method in class org.kahina.core.KahinaInstance

deriveUnitsByPropagation(List<Integer>) - Method in class org.kahina.logic.sat.data.cnf.CnfSatInstance

DESCENDANTS_ONLY - Static variable in class org.kahina.core.visual.chart.KahinaChartViewOptions

DescendingIndexHeuristic - Class in org.kahina.logic.sat.muc.heuristics

DescendingIndexHeuristic() - Constructor for class org.kahina.logic.sat.muc.heuristics.DescendingIndexHeuristic

DescendingRelevanceHeuristic - Class in org.kahina.logic.sat.muc.heuristics

DescendingRelevanceHeuristic() - Constructor for class org.kahina.logic.sat.muc.heuristics.DescendingRelevanceHeuristic

descToMgsGrisu(String) - Method in class org.kahina.tralesld.bridge.AuxiliaryTraleInstance

DET_EXIT - Static variable in class org.kahina.lp.LogicProgrammingStepType

detectPattern(int) - Method in class org.kahina.core.control.KahinaCodeLinePropertySensor

detectPattern(int) - Method in class org.kahina.core.control.KahinaSimplePropertySensor

detectPattern(int) - Method in class org.kahina.core.control.KahinaStepPropertySensor

Returns true iff a step has the property detected by this sensor.

DIALOG - Static variable in interface org.kahina.core.control.KahinaEventTypes

DimacsCnfOutput - Class in org.kahina.logic.sat.io.cnf

DimacsCnfOutput() - Constructor for class org.kahina.logic.sat.io.cnf.DimacsCnfOutput

DimacsCnfParser - Class in org.kahina.logic.sat.io.cnf

DimacsCnfParser() - Constructor for class org.kahina.logic.sat.io.cnf.DimacsCnfParser

DimacsSymbolConverter - Class in org.kahina.logic.sat.io.cnf

DimacsSymbolConverter() - Constructor for class org.kahina.logic.sat.io.cnf.DimacsSymbolConverter

DisabledLearnMoreAnalyseConflict - Class in org.kahina.logic.sat.insertionmus.iterativ.simpleSAT.analyseConflict

DisabledLearnMoreAnalyseConflict() - Constructor for class org.kahina.logic.sat.insertionmus.iterativ.simpleSAT.analyseConflict.DisabledLearnMoreAnalyseConflict

disableLogging() - Method in class org.kahina.core.profiler.KahinaLogger

discardCurrentState() - Method in class org.kahina.logic.sat.freemuc.FreeMUCInstance

discardCurrentState() - Method in class org.kahina.logic.sat.muc.MUCInstance

discardGrammar() - Method in class org.kahina.tralesld.bridge.AuxiliaryTraleInstance

Lets the instance discard the currently compiled grammar.

discardGroupOccurrenceMap() - Method in class org.kahina.logic.sat.data.cnf.GroupCnfSatInstance

discardOccurrenceMap() - Method in class org.kahina.logic.sat.data.cnf.CnfSatInstance

discardTheory() - Method in class org.kahina.tralesld.visual.workbench.FeatureWorkbenchViewPanel

DISJUNCTION - Static variable in class org.kahina.core.control.KahinaSimpleProperty

Disjunction - Class in org.kahina.logic.sat.data.free

Disjunction(List<BooleanFormula>) - Constructor for class org.kahina.logic.sat.data.free.Disjunction

dispatchEvent(KahinaEvent) - Method in class org.kahina.core.KahinaInstance

dispatchInstanceEvent(KahinaEvent) - Method in class org.kahina.core.KahinaInstance

dispatchSessionEvent(KahinaEvent) - Method in class org.kahina.core.KahinaInstance

display(KahinaChart) - Method in class org.kahina.core.visual.chart.KahinaChartView

display(KahinaChart) - Method in class org.kahina.core.visual.chart.KahinaRecursiveChartView

display(ColoredPathDAG) - Method in class org.kahina.core.visual.dag.ColoredPathDAGView

display(KahinaDAG) - Method in class org.kahina.core.visual.dag.KahinaDAGView

display(KahinaGraph) - Method in class org.kahina.core.visual.graph.KahinaGraphView

display(KahinaObject) - Method in class org.kahina.core.visual.KahinaView

display(KahinaTree) - Method in class org.kahina.core.visual.tree.KahinaTreeView

display(KahinaTree, int, int) - Method in class org.kahina.core.visual.tree.KahinaTreeView

display(RecursiveBlockHandler) - Method in class org.kahina.logic.sat.muc.visual.RecursiveBlockView

display(GroupCnfSatInstance) - Method in class org.kahina.logic.sat.visual.cnf.graph.KahinaGroupSatInstanceGraphView

display(CnfSatInstance) - Method in class org.kahina.logic.sat.visual.cnf.graph.KahinaSatInstanceGraphView

display(TraleSLDSignature) - Method in class org.kahina.tralesld.visual.signature.TraleSLDSignatureAppropriatenessView

display(TraleSLDSignature) - Method in class org.kahina.tralesld.visual.signature.TraleSLDSignatureHierarchyView

display(TraleSLDSignature) - Method in class org.kahina.tralesld.visual.signature.TraleSLDSignatureUsageView

DisplayAllChartEdgesDecider - Class in org.kahina.core.visual.chart

DisplayAllChartEdgesDecider() - Constructor for class org.kahina.core.visual.chart.DisplayAllChartEdgesDecider

displayClausesByComplementaryLiterals() - Method in class org.kahina.logic.sat.visual.cnf.graph.KahinaSatInstanceGraphView

displayClausesByLiterals() - Method in class org.kahina.logic.sat.visual.cnf.graph.KahinaSatInstanceGraphView

displayClausesByVariables() - Method in class org.kahina.logic.sat.visual.cnf.graph.KahinaSatInstanceGraphView

displayColor(Color) - Method in class org.kahina.logic.sat.muc.visual.UCReducerPanel

displayCompletedState() - Method in class org.kahina.logic.sat.muc.visual.UCReducerPanel

displayCurrentStatusInfo(String) - Method in class org.kahina.logic.sat.muc.visual.UCReducerPanel

displayedEdgeLabels - Variable in class org.kahina.core.visual.chart.KahinaChartEdgeDisplayDecider

displayedEdgeStatus - Variable in class org.kahina.core.visual.chart.KahinaChartEdgeDisplayDecider

displayFormula(BooleanFormula) - Method in class org.kahina.logic.sat.visual.free.FormulaTreeView

displayGroupsByComplementaryLiterals() - Method in class org.kahina.logic.sat.visual.cnf.graph.KahinaGroupSatInstanceGraphView

displayGroupsByLiterals() - Method in class org.kahina.logic.sat.visual.cnf.graph.KahinaGroupSatInstanceGraphView

displayGroupsByVariables() - Method in class org.kahina.logic.sat.visual.cnf.graph.KahinaGroupSatInstanceGraphView

displayHiddenState() - Method in class org.kahina.logic.sat.muc.visual.UCReducerPanel

displayIdentificationInfo(String) - Method in class org.kahina.logic.sat.muc.visual.UCReducerPanel

displayLiteralsByClauses() - Method in class org.kahina.logic.sat.visual.cnf.graph.KahinaSatInstanceGraphView

displayLiteralsByGroups() - Method in class org.kahina.logic.sat.visual.cnf.graph.KahinaGroupSatInstanceGraphView

displayMainViews() - Method in class org.kahina.core.gui.KahinaGUI

displayMainViews() - Method in class org.kahina.logic.sat.freemuc.gui.FreeMUCGUI

displayMainViews() - Method in class org.kahina.logic.sat.insertionmus.gui.MUCGUI

displayMainViews() - Method in class org.kahina.logic.sat.muc.gui.MUCGUI

displayMainViews() - Method in class org.kahina.lp.gui.LogicProgrammingGUI

displayMainViews() - Method in class org.kahina.qtype.gui.QTypeGUI

displayMainViews() - Method in class org.kahina.tralesld.gui.TraleSLDGUI

displayMainViews() - Method in class org.kahina.tulipa.gui.TulipaGUI

displayNodeConstraint(TreePatternNode) - Method in class org.kahina.core.edit.breakpoint.NodeConstraintPanel

displayPausedState() - Method in class org.kahina.logic.sat.muc.visual.UCReducerPanel

displayRunningState() - Method in class org.kahina.logic.sat.muc.visual.UCReducerPanel

displaySecondaryTree(KahinaTree) - Method in class org.kahina.core.visual.tree.KahinaAbstractTreeView

displaySecondaryTree(KahinaTree) - Method in class org.kahina.core.visual.tree.KahinaLayeredTreeView

displaySecondaryTree(KahinaTree) - Method in class org.kahina.core.visual.tree.KahinaListTreeView

displaySecondaryTree(KahinaTree) - Method in class org.kahina.core.visual.tree.KahinaTreeView

displaysNode(int) - Method in class org.kahina.core.visual.dag.KahinaDAGView

displaysNode(int) - Method in class org.kahina.core.visual.tree.KahinaTreeView

displayStepContent(int) - Method in class org.kahina.core.gui.KahinaGUI

displayStepContent(int) - Method in class org.kahina.logic.sat.freemuc.gui.FreeMUCGUI

displayStepContent(int) - Method in class org.kahina.logic.sat.insertionmus.gui.MUCGUI

displayStepContent(int) - Method in class org.kahina.logic.sat.muc.gui.MUCGUI

displayString - Variable in class org.kahina.core.visual.KahinaEmptyView

displaySummaryInfo(String) - Method in class org.kahina.logic.sat.muc.visual.UCReducerPanel

displayText(String) - Method in class org.kahina.logic.sat.muc.visual.PartitionBlockView

displayText(String) - Method in class org.kahina.logic.sat.visual.cnf.graph.KahinaSatInstanceGraphView

displayText(String) - Method in class org.kahina.logic.sat.visual.cnf.list.KahinaSatInstanceListView

displayText(String) - Method in class org.kahina.logic.sat.visual.free.FormulaTreeView

displayTreePattern(TreePattern) - Method in class org.kahina.core.edit.breakpoint.TreeFragmentPanel

displayVariablesByClauses() - Method in class org.kahina.logic.sat.visual.cnf.graph.KahinaSatInstanceGraphView

displayVariablesByGroups() - Method in class org.kahina.logic.sat.visual.cnf.graph.KahinaGroupSatInstanceGraphView

displayWindows() - Method in class org.kahina.core.gui.KahinaWindowManager

DISPOSE - Static variable in class org.kahina.core.gui.event.KahinaWindowEventType

disposeAllWindows() - Method in class org.kahina.core.gui.KahinaWindowManager

disposeWindow(int) - Method in class org.kahina.core.gui.KahinaArrangement

Removes all the data for some window, only for internal use.

disposeWindow(int) - Method in class org.kahina.core.gui.KahinaPerspective

Removes a window from the perspective.

DO_NOTHING - Static variable in class org.kahina.tulipa.bridge.TulipaBridgeCommand

doDisplay() - Method in class org.kahina.core.visual.KahinaView

Subclasses may override this method to take certain actions directly after KahinaView.model has changed.

doDisplay() - Method in class org.kahina.core.visual.text.KahinaTextView

doDisplay() - Method in class org.kahina.core.visual.tree.KahinaLayeredTreeView

doDisplay() - Method in class org.kahina.core.visual.tree.KahinaListTreeView

doDisplay() - Method in class org.kahina.logic.sat.muc.visual.PartitionBlockView

doDisplay() - Method in class org.kahina.logic.sat.visual.cnf.list.KahinaSatInstanceListView

doDisplay() - Method in class org.kahina.tralesld.visual.workbench.FeatureWorkbenchView

dominates(String, String) - Method in class org.kahina.tralesld.data.signature.TraleSLDSignature

DOTTED_LINES - Static variable in class org.kahina.core.visual.tree.KahinaTreeViewOptions

dragEnter(DropTargetDragEvent) - Method in class org.kahina.core.gui.windows.KahinaDropTargetListener

dragExit(DropTargetEvent) - Method in class org.kahina.core.gui.windows.KahinaDropTargetListener

dragOver(DropTargetDragEvent) - Method in class org.kahina.core.gui.windows.KahinaDropTargetListener

drawDottedLine(Graphics, int, int, int, int, Color, int, int) - Static method in class org.kahina.core.visual.dag.KahinaDAGViewPanel

drawDottedLine(Graphics, int, int, int, int, Color, int, int) - Static method in class org.kahina.core.visual.tree.KahinaTreeViewPanel

drawEdge(int, int, int, Graphics2D) - Method in class org.kahina.core.visual.chart.KahinaChartViewPanel

drawLineAccordingToType(Graphics, int, int, int, int, int) - Static method in class org.kahina.core.visual.tree.KahinaTreeViewPanel

drop(DropTargetDropEvent) - Method in class org.kahina.core.gui.windows.KahinaDropTargetListener

dropActionChanged(DropTargetDragEvent) - Method in class org.kahina.core.gui.windows.KahinaDropTargetListener

DYNAMIC_CLONE - Static variable in class org.kahina.core.gui.event.KahinaWindowEventType

E

EDGE_COLOR_BETWEEN_NODES_OF_SAME_COLOR - Static variable in class org.kahina.core.visual.graph.KahinaGraphViewOptions

EDGE_COLOR_FUNCTION_OF_VERTEX_COLOR - Static variable in class org.kahina.core.visual.graph.KahinaGraphViewOptions

EDGE_COLOR_INDEPENDENT - Static variable in class org.kahina.core.visual.graph.KahinaGraphViewOptions

EDGE_INTERPRETATION_DIRECTED - Static variable in class org.kahina.core.visual.graph.KahinaGraphViewOptions

EDGE_INTERPRETATION_UNDIRECTED - Static variable in class org.kahina.core.visual.graph.KahinaGraphViewOptions

EDGE_LABEL - Static variable in class org.kahina.core.control.KahinaSimpleProperty

EDGE_SHAPE_ARC - Static variable in class org.kahina.core.visual.graph.KahinaGraphViewOptions

EDGE_SHAPE_DIRECT - Static variable in class org.kahina.core.visual.graph.KahinaGraphViewOptions

EDGE_SHAPE_RECTANGULAR - Static variable in class org.kahina.core.visual.graph.KahinaGraphViewOptions

edgeAtCoordinates(int, int) - Method in class org.kahina.core.visual.chart.KahinaChartView

edgeAtCoordinates(int, int) - Method in class org.kahina.core.visual.chart.KahinaRecursiveChartView

edgeLabels - Variable in class org.kahina.core.data.dag.KahinaMemDAG

edgeLabels - Variable in class org.kahina.core.data.graph.AdjacListsGraph

edgeLabels - Variable in class org.kahina.core.data.tree.KahinaUnlayeredMemTree

EDGES_ABOVE_VERTICES - Static variable in class org.kahina.core.visual.graph.KahinaGraphViewOptions

EDGES_ALL_VISIBLE - Static variable in class org.kahina.core.visual.graph.KahinaGraphViewOptions

EDGES_WITH_BOTH_NODES_VISIBLE - Static variable in class org.kahina.core.visual.graph.KahinaGraphViewOptions

EDGES_WITH_ONE_NODE_VISIBLE - Static variable in class org.kahina.core.visual.graph.KahinaGraphViewOptions

edgeStatus - Variable in class org.kahina.core.data.graph.AdjacListsGraph

EDGY_LINES - Static variable in class org.kahina.core.visual.tree.KahinaTreeViewOptions

EDIT_WARNINGS - Static variable in class org.kahina.core.gui.KahinaDialogEvent

EMBEDDED - Static variable in class org.kahina.core.visual.KahinaViewVisibility

enableLogging() - Method in class org.kahina.core.profiler.KahinaLogger

encodeHTML(Color) - Static method in class org.kahina.core.io.color.ColorUtil

end - Variable in class org.kahina.core.visual.tree.WidthVector

end(int) - Method in class org.kahina.lp.bridge.LogicProgrammingBridge

Call this to indicate that the top query succeeded or failed, providing the step ID of the top query.

endBindings - Variable in class org.kahina.tralesld.TraleSLDStep

endFeatStruct - Variable in class org.kahina.tralesld.TraleSLDStep

endIndex - Variable in class org.kahina.core.data.text.KahinaTextWithMarking

endMeasuring(String) - Method in class org.kahina.core.profiler.KahinaLogger

endNodes - Variable in class org.kahina.core.data.dag.KahinaMemDAG

ENDS_WITH - Static variable in class org.kahina.core.control.KahinaSimpleProperty

ensureRepresentability(TreeSet<Integer>) - Method in class org.kahina.logic.sat.muc.data.BlocklessBlockHandler

ensureRepresentability(TreeSet<Integer>) - Method in class org.kahina.logic.sat.muc.data.LiteralBlockHandler

ensureRepresentability(TreeSet<Integer>) - Method in class org.kahina.logic.sat.muc.data.PartitionBlockHandler

ensureRepresentability(TreeSet<Integer>) - Method in class org.kahina.logic.sat.muc.data.RecursiveBlockHandler

ensureSize(List<?>, int) - Static method in class org.kahina.core.util.ListUtil

entsToMguGrisu(IEntity, IEntity) - Method in class org.kahina.tralesld.bridge.AuxiliaryTraleInstance

entToMgsGrisu(IEntity) - Method in class org.kahina.tralesld.bridge.AuxiliaryTraleInstance

equal(Object, Object) - Static method in class org.kahina.core.util.ObjectUtil

EQUALITY - Static variable in class org.kahina.core.control.KahinaSimpleProperty

equals(Object) - Method in class org.kahina.core.gui.KahinaPerspective

Perspective equality is decided by their name only!

equals(Object) - Method in class org.kahina.core.profiler.ProfileEntry

equals(Object) - Method in class org.kahina.logic.sat.data.free.BooleanVariable

equals(Object) - Method in class org.kahina.logic.sat.data.free.Conjunction

equals(Object) - Method in class org.kahina.logic.sat.data.free.Disjunction

equals(Object) - Method in class org.kahina.logic.sat.data.free.Negation

equals(Object) - Method in class org.kahina.logic.sat.data.free.VarName

equals(Object) - Method in class org.kahina.logic.sat.insertionmus.algorithms.AlgorithmData

equals(Object) - Method in class org.kahina.logic.sat.insertionmus.MUCStep

equals(Object) - Method in class org.kahina.logic.sat.muc.MUCStep

equals(Object) - Method in class org.kahina.tralesld.data.fs.TraleSLDVariableBinding

evaluate(IChromosome) - Method in class org.kahina.logic.sat.insertionmus.iterativ.simpleSAT.optimization.CDCLFitnessFunctionMultiThreaded

exception(int, String) - Method in class org.kahina.lp.bridge.LogicProgrammingBridge

Called to indicate that the exception port of the procedure box with the given ID has been reached.

EXCEPTION - Static variable in class org.kahina.lp.LogicProgrammingStepType

exception(ProfileEntry) - Method in class org.kahina.lp.profiler.LogicProgrammingProfile

exception(int) - Method in class org.kahina.lp.profiler.LogicProgrammingProfiler

exceptionConsoleMessage(int, int, String) - Method in class org.kahina.lp.LogicProgrammingState

exit(int, boolean) - Method in class org.kahina.lp.bridge.LogicProgrammingBridge

exit(int, boolean, String) - Method in class org.kahina.lp.bridge.LogicProgrammingBridge

exit(int, boolean, String, String) - Method in class org.kahina.lp.bridge.LogicProgrammingBridge

Called to indicate that the exit port of the procedure box with the given ID has been reached.

EXIT - Static variable in class org.kahina.lp.LogicProgrammingStepType

exit(ProfileEntry) - Method in class org.kahina.lp.profiler.LogicProgrammingProfile

exit(int) - Method in class org.kahina.lp.profiler.LogicProgrammingProfiler

exit(int, boolean, String) - Method in class org.kahina.qtype.bridge.QTypeBridge

ExpansionAgent - Class in org.kahina.logic.sat.muc.task

ExpansionAgent() - Constructor for class org.kahina.logic.sat.muc.task.ExpansionAgent

ExpansionTask - Class in org.kahina.logic.sat.muc.task

ExpansionTask() - Constructor for class org.kahina.logic.sat.muc.task.ExpansionTask

EXPORT_BREAKPOINT - Static variable in class org.kahina.core.edit.breakpoint.BreakpointEditorEvent

EXPORT_BREAKPOINT_PROFILE - Static variable in class org.kahina.core.edit.breakpoint.BreakpointEditorEvent

EXPORT_DIMACS - Static variable in class org.kahina.logic.sat.muc.control.MUCControlEventCommands

EXPORT_SYMBOLIC_DIMACS - Static variable in class org.kahina.logic.sat.muc.control.MUCControlEventCommands

EXPORT_VAR_OCCURRENCES - Static variable in class org.kahina.logic.sat.muc.control.MUCControlEventCommands

exportBreakpointProfileXML(File) - Method in class org.kahina.core.gui.breakpoint.BreakpointEditorWindow

exportBreakpointXML(File, KahinaBreakpoint) - Method in class org.kahina.core.gui.breakpoint.BreakpointEditorWindow

exportTGF(String) - Method in class org.kahina.core.data.graph.KahinaGraph

exportVisibleSubgraphTGF(String) - Method in class org.kahina.core.visual.graph.KahinaGraphView

exportXML(Document) - Method in class org.kahina.core.control.KahinaCodeLineProperty

exportXML(boolean) - Method in class org.kahina.core.control.KahinaSimpleProperty

exportXML(Document) - Method in class org.kahina.core.control.KahinaSimpleProperty

exportXML(boolean) - Method in class org.kahina.core.control.KahinaStepProperty

exportXML(Document) - Method in class org.kahina.core.control.KahinaStepProperty

exportXML(boolean) - Method in class org.kahina.core.data.agent.KahinaBreakpoint

Generates an XML representation of this breakpoint, optionally featuring an XML header.

exportXML(Document) - Method in class org.kahina.core.data.agent.KahinaBreakpoint

exportXML(Document) - Method in class org.kahina.core.data.agent.KahinaBreakpointProfile

exportXML(boolean) - Method in class org.kahina.core.data.agent.KahinaControlAgent

Generates an XML representation of this control point, optionally featuring an XML header.

exportXML(Document) - Method in class org.kahina.core.data.agent.KahinaControlAgent

exportXML(Document) - Method in class org.kahina.core.data.agent.KahinaControlAgentProfile

exportXML(boolean) - Method in class org.kahina.core.data.agent.patterns.TreePattern

exportXML(Document) - Method in class org.kahina.core.data.agent.patterns.TreePattern

exportXML(boolean) - Method in class org.kahina.core.data.agent.patterns.TreePatternNode

exportXML(Document) - Method in class org.kahina.core.data.agent.patterns.TreePatternNode

exportXML(boolean) - Method in class org.kahina.core.data.chart.KahinaChart

exportXML() - Method in class org.kahina.core.data.dag.KahinaDAG

exportXML(Document) - Method in class org.kahina.core.data.project.KahinaProject

exportXML() - Method in class org.kahina.core.data.tree.KahinaTree

exportXML(Document) - Method in class org.kahina.core.gui.KahinaArrangement

exportXML(Document) - Method in class org.kahina.core.gui.KahinaPerspective

exportXML(Document) - Method in class org.kahina.core.visual.chart.KahinaChartEdgeDisplayDecider

exportXML(Document) - Method in class org.kahina.core.visual.chart.KahinaChartViewConfiguration

exportXML(Document) - Method in class org.kahina.core.visual.KahinaViewConfiguration

Default implementation creates an empty element without type specification

exportXML(Document) - Method in class org.kahina.core.visual.tree.KahinaTreeViewConfiguration

exportXML(Document) - Method in class org.kahina.lp.data.project.LogicProgrammingProject

exportXML(Document) - Method in class org.kahina.tralesld.data.project.TraleProject

exportXML(Document) - Method in class org.kahina.tralesld.data.workbench.FeatureWorkbench

extendCNFBySelVars(File, File, MUCStatistics) - Static method in class org.kahina.logic.sat.muc.io.MUCExtension

extendGroupCNFBySelVars(File, File, MUCStatistics) - Static method in class org.kahina.logic.sat.muc.io.MUCExtension

externalID - Variable in class org.kahina.lp.LogicProgrammingStep

externalID - Variable in class org.kahina.tulipa.TulipaStep

extID - Variable in class org.kahina.lp.data.text.LogicProgrammingLineReference

extractMaxAutarkyDestructively() - Method in class org.kahina.logic.sat.data.cnf.CnfSatInstance

F

fail(int) - Method in class org.kahina.lp.bridge.LogicProgrammingBridge

Called to indicate that the fail port of the procedure box with the given ID has been reached.

FAIL - Static variable in class org.kahina.lp.LogicProgrammingStepType

fail(ProfileEntry) - Method in class org.kahina.lp.profiler.LogicProgrammingProfile

fail(int) - Method in class org.kahina.lp.profiler.LogicProgrammingProfiler

fail(int) - Method in class org.kahina.qtype.bridge.QTypeBridge

fail(int) - Method in class org.kahina.tralesld.bridge.TraleSLDBridge

FAIL - Static variable in class org.kahina.tulipa.bridge.TulipaBridgeCommand

FAIL_POINT - Static variable in class org.kahina.core.data.agent.KahinaBreakpointType

FAIL_POINTS - Static variable in class org.kahina.core.gui.KahinaDialogEvent

FAILED - Static variable in class org.kahina.tralesld.data.chart.TraleSLDChartEdgeStatus

failPoints - Variable in class org.kahina.lp.data.project.LogicProgrammingProject

failPointView - Variable in class org.kahina.lp.gui.LogicProgrammingGUI

FAILURE_MESSAGE - Static variable in class org.kahina.tralesld.visual.fs.TraleSLDFeatureEditEvent

failureMessage(String) - Method in class org.kahina.tralesld.visual.fs.TraleSLDFeatureStructureEditor

far - Variable in class org.kahina.core.visual.tree.KahinaListTreeListEntry

farLeftEnabled - Variable in class org.kahina.core.visual.tree.KahinaListTreeListEntry

farRightEnabled - Variable in class org.kahina.core.visual.tree.KahinaListTreeListEntry

FasterAdvancedAlgorithm - Class in org.kahina.logic.sat.insertionmus.algorithms.MaarenWieringa

Implementation of H.van Maaren and S.

FasterAdvancedAlgorithm() - Constructor for class org.kahina.logic.sat.insertionmus.algorithms.MaarenWieringa.FasterAdvancedAlgorithm

FeatureWorkbench - Class in org.kahina.tralesld.data.workbench

FeatureWorkbench() - Constructor for class org.kahina.tralesld.data.workbench.FeatureWorkbench

FeatureWorkbenchContextMenu - Class in org.kahina.tralesld.visual.workbench

FeatureWorkbenchContextMenu(FeatureWorkbenchViewPanel) - Constructor for class org.kahina.tralesld.visual.workbench.FeatureWorkbenchContextMenu

FeatureWorkbenchView - Class in org.kahina.tralesld.visual.workbench

FeatureWorkbenchView(KahinaInstance<?, ?, ?, ?>, AuxiliaryTraleInstance) - Constructor for class org.kahina.tralesld.visual.workbench.FeatureWorkbenchView

FeatureWorkbenchViewPanel - Class in org.kahina.tralesld.visual.workbench

A feature workbench window, with list of objects on the left, a toolbar with functionality such as unification and diff, and an editing component on the right.

FeatureWorkbenchViewPanel(KahinaInstance<?, ?, ?, ?>, AuxiliaryTraleInstance) - Constructor for class org.kahina.tralesld.visual.workbench.FeatureWorkbenchViewPanel

FileUtil - Class in org.kahina.core.io.util

FileUtil() - Constructor for class org.kahina.core.io.util.FileUtil

fill(IEntity, TraleSLDSignature) - Static method in class org.kahina.tralesld.visual.fs.GraleJUtility

fillFieldToView(Class<? extends KahinaStep>, KahinaInstance<?, ?, ?, ?>) - Method in class org.kahina.core.gui.KahinaGUI

overwrite this to specify a non-standard mapping from step properties to views

fillTreeViewForwardExpansionFromNode(KahinaDAG, int, KahinaTree) - Static method in class org.kahina.core.data.dag.DAGtoTreeConversion

fillTreeWithBackwardExpansionFromNode(KahinaDAG, int, KahinaTree) - Static method in class org.kahina.core.data.dag.DAGtoTreeConversion

fillTreeWithBackwardExpansionFromNode(ResolutionProofDAG, int, ResolutionProofTree) - Static method in class org.kahina.logic.sat.data.proof.ResolutionProofDAGtoTreeConversion

fillTreeWithForwardExpansionFromNode(ResolutionProofDAG, int, ResolutionProofTree) - Static method in class org.kahina.logic.sat.data.proof.ResolutionProofDAGtoTreeConversion

fillViewRegistry() - Method in class org.kahina.core.KahinaInstance

overwrite this to register views for user-defined datatypes MUST register views for all data types use super.fillViewRegistry() in implementations to register most basic views

fillViewRegistry() - Method in class org.kahina.lp.LogicProgrammingInstance

fillViewRegistry() - Method in class org.kahina.qtype.QTypeDebuggerInstance

fillViewRegistry() - Method in class org.kahina.sicstus.SICStusPrologDebuggerInstance

fillViewRegistry() - Method in class org.kahina.swi.SWIPrologDebuggerInstance

fillViewRegistry() - Method in class org.kahina.tralesld.TraleSLDInstance

fillViewRegistry() - Method in class org.kahina.tulipa.TulipaInstance

filter - Variable in class org.kahina.logic.sat.insertionmus.iterativ.simpleSAT.testAll

fin(IEntity, List<String>, String, IEntity, TraleSLDSignature) - Static method in class org.kahina.tralesld.visual.fs.GraleJUtility

findAllMUS(AlgorithmData) - Method in class org.kahina.logic.sat.insertionmus.algorithms.CombinedAlgorithm

Implementation of the MARCO algorithm

findAMuse(AlgorithmData) - Method in class org.kahina.logic.sat.insertionmus.algorithms.AbstractAlgorithm

findAMuse(AlgorithmData) - Method in class org.kahina.logic.sat.insertionmus.algorithms.BasicAlgorithm

findAMuse(AlgorithmData) - Method in class org.kahina.logic.sat.insertionmus.algorithms.CombinedAlgorithm

findAMuse(AlgorithmData) - Method in class org.kahina.logic.sat.insertionmus.algorithms.IncrementalBasicAlgorithm

findAMuse(AlgorithmData) - Method in class org.kahina.logic.sat.insertionmus.algorithms.MaarenWieringa.AdvancedAlgorithm

findAMuse2(AlgorithmData) - Method in class org.kahina.logic.sat.insertionmus.algorithms.MaarenWieringa.FasterAdvancedAlgorithm

findHighestOverlapBlock(TreeSet<Integer>) - Method in class org.kahina.logic.sat.muc.data.PartitionBlockHandler

findShortestPathFromRoot(int) - Method in class org.kahina.core.data.dag.KahinaDAG

findShortestPathFromRoot(int) - Method in class org.kahina.core.data.dag.KahinaMemDAG

findUnsatisfiableCore(MUCStatistics, MiniSATFiles) - Static method in class org.kahina.logic.sat.io.minisat.MiniSAT

finished - Variable in class org.kahina.logic.sat.insertionmus.algorithms.BasicAlgorithm

finished - Variable in class org.kahina.logic.sat.insertionmus.algorithms.IncrementalBasicAlgorithm

finished - Variable in class org.kahina.logic.sat.insertionmus.algorithms.MaarenWieringa.AdvancedAlgorithm

finished(int) - Method in class org.kahina.tralesld.bridge.TraleSLDBridge

FINISHED - Static variable in class org.kahina.tralesld.TraleSLDStepType

FIXED_WIDTH - Static variable in class org.kahina.core.visual.chart.KahinaChartViewOptions

FLAG_USE_INVISIBLE_EDGES - Variable in class org.kahina.core.visual.graph.CircularLayouter

FLAG_USE_INVISIBLE_EDGES - Variable in class org.kahina.core.visual.graph.GridLayouter

FLAG_USE_INVISIBLE_EDGES - Variable in class org.kahina.core.visual.graph.SpringLayouter

FLIP - Static variable in class org.kahina.core.gui.event.KahinaWindowEventType

flipSubwindows() - Method in class org.kahina.core.gui.windows.KahinaHorizontallySplitWindow

flipSubwindows() - Method in class org.kahina.core.gui.windows.KahinaVerticallySplitWindow

flipSubwindows() - Method in class org.kahina.core.gui.windows.KahinaWindow

flipSubwindowsIfIndicatedByCoordinates() - Method in class org.kahina.core.gui.windows.KahinaHorizontallySplitWindow

flipSubwindowsIfIndicatedByCoordinates() - Method in class org.kahina.core.gui.windows.KahinaVerticallySplitWindow

flipVar(int) - Method in class org.kahina.logic.sat.data.model.CompleteAssignment

flushRedrawAgenda() - Method in class org.kahina.core.visual.graph.KahinaGraphView

Tell the view to redraw the entire structure during the next update.

formalRepresentation() - Method in class org.kahina.tralesld.data.signature.TraleSLDSignature

Prints out the signature in formal notation according to Carpenter 1992.

formulaCollapse(int) - Method in class org.kahina.logic.sat.visual.free.FormulaTreeView

formulaDecollapse(int) - Method in class org.kahina.logic.sat.visual.free.FormulaTreeView

FormulaTreeView - Class in org.kahina.logic.sat.visual.free

FormulaTreeView(KahinaInstance<?, ?, ?, ?>) - Constructor for class org.kahina.logic.sat.visual.free.FormulaTreeView

FormulaTreeViewListener - Class in org.kahina.logic.sat.visual.free

FormulaTreeViewListener(FormulaTreeViewPanel, KahinaInstance<?, ?, ?, ?>) - Constructor for class org.kahina.logic.sat.visual.free.FormulaTreeViewListener

FormulaTreeViewPanel - Class in org.kahina.logic.sat.visual.free

FormulaTreeViewPanel(KahinaInstance<?, ?, ?, ?>) - Constructor for class org.kahina.logic.sat.visual.free.FormulaTreeViewPanel

formulaView - Variable in class org.kahina.logic.sat.freemuc.gui.FreeMUCGUI

fre(IEntity, List<String>, String) - Static method in class org.kahina.tralesld.visual.fs.GraleJUtility

FREE - Static variable in class org.kahina.core.visual.KahinaViewVisibility

FREE_MODE - Static variable in class org.kahina.tralesld.visual.fs.TraleSLDFeatureStructureEditor

FreeMUCControlEventCommands - Class in org.kahina.logic.sat.freemuc.control

FreeMUCControlEventCommands() - Constructor for class org.kahina.logic.sat.freemuc.control.FreeMUCControlEventCommands

FreeMUCFileMenu - Class in org.kahina.logic.sat.freemuc.gui

FreeMUCFileMenu(KahinaInstance<?, ?, ?, ?>) - Constructor for class org.kahina.logic.sat.freemuc.gui.FreeMUCFileMenu

FreeMUCGUI - Class in org.kahina.logic.sat.freemuc.gui

FreeMUCGUI(Class<? extends KahinaStep>, FreeMUCInstance, KahinaController) - Constructor for class org.kahina.logic.sat.freemuc.gui.FreeMUCGUI

FreeMUCInstance - Class in org.kahina.logic.sat.freemuc

FreeMUCInstance() - Constructor for class org.kahina.logic.sat.freemuc.FreeMUCInstance

FreeMUCInstance(BooleanFormula) - Constructor for class org.kahina.logic.sat.freemuc.FreeMUCInstance

FreeMUCMainWindow - Class in org.kahina.logic.sat.freemuc.gui

FreeMUCMainWindow(FreeMUCWindowManager, KahinaInstance<?, ?, ?, ?>) - Constructor for class org.kahina.logic.sat.freemuc.gui.FreeMUCMainWindow

FreeMUCMainWindow(FreeMUCWindowManager, int, KahinaInstance<?, ?, ?, ?>) - Constructor for class org.kahina.logic.sat.freemuc.gui.FreeMUCMainWindow

FreeMUCState - Class in org.kahina.logic.sat.freemuc

FreeMUCState(KahinaInstance<?, ?, ?, ?>) - Constructor for class org.kahina.logic.sat.freemuc.FreeMUCState

FreeMUCState(KahinaInstance<?, ?, ?, ?>, BooleanFormula) - Constructor for class org.kahina.logic.sat.freemuc.FreeMUCState

FreeMUCStep - Class in org.kahina.logic.sat.freemuc

FreeMUCStep() - Constructor for class org.kahina.logic.sat.freemuc.FreeMUCStep

FreeMUCStepType - Class in org.kahina.logic.sat.freemuc

FreeMUCStepType() - Constructor for class org.kahina.logic.sat.freemuc.FreeMUCStepType

FreeMUCWindowManager - Class in org.kahina.logic.sat.freemuc.gui

FreeMUCWindowManager(KahinaInstance<?, ?, ?, ?>) - Constructor for class org.kahina.logic.sat.freemuc.gui.FreeMUCWindowManager

FreeSatInstance - Class in org.kahina.logic.sat.data.free

FreeSatInstance() - Constructor for class org.kahina.logic.sat.data.free.FreeSatInstance

FREEZE - Static variable in class org.kahina.logic.sat.io.minisat.FreezeFile

FREEZE - Static variable in class org.kahina.logic.sat.io.minisat.MiniSAT

freezeAll - Variable in class org.kahina.logic.sat.insertionmus.algorithms.AlgorithmData

freezeFile - Variable in class org.kahina.logic.sat.insertionmus.algorithms.AlgorithmData

FreezeFile - Class in org.kahina.logic.sat.io.minisat

FreezeFile() - Constructor for class org.kahina.logic.sat.io.minisat.FreezeFile

freezeM - Variable in class org.kahina.logic.sat.insertionmus.algorithms.AlgorithmData

freshName() - Static method in class org.kahina.logic.sat.data.free.VarName

fromIndentedText(String) - Static method in class org.kahina.core.io.tree.KahinaTreeInput

fs - Variable in class org.kahina.tralesld.data.fs.TraleSLDVariableBinding

FS_EDITOR_MESSAGE - Static variable in interface org.kahina.tralesld.control.TraleSLDEventTypes

FSVisualizationUtility - Class in org.kahina.tralesld.visual.fs

FSVisualizationUtility() - Constructor for class org.kahina.tralesld.visual.fs.FSVisualizationUtility

FULL_PROFILE - Static variable in class org.kahina.core.gui.KahinaDialogEvent

FUSE - Static variable in class org.kahina.core.gui.event.KahinaWindowEventType

G

generalizeAtom(IEntity, List<String>, TraleSLDSignature) - Static method in class org.kahina.tralesld.visual.fs.GraleJUtility

generateClaGroupByCompLitGraph() - Method in class org.kahina.logic.sat.data.cnf.GroupCnfSatInstance

generateClaGroupByLitGraph() - Method in class org.kahina.logic.sat.data.cnf.GroupCnfSatInstance

generateClaGroupByVarGraph() - Method in class org.kahina.logic.sat.data.cnf.GroupCnfSatInstance

generateClauseToIndexMap() - Method in class org.kahina.logic.sat.data.cnf.CnfSatInstance

generateDefaultPerspective(Map<String, KahinaView<? extends KahinaObject>>) - Static method in class org.kahina.core.gui.KahinaPerspective

generateFirstUC() - Method in class org.kahina.logic.sat.muc.MUCInstance

generateGrammaticalSentence(String, int[]) - Method in class org.kahina.parse.io.cfg.SentenceGenerator

generateIDVariant(int) - Method in class org.kahina.lp.data.text.LogicProgrammingLineReference

generateInitialPerspective() - Method in class org.kahina.core.gui.KahinaGUI

generateInitialPerspective() - Method in class org.kahina.logic.sat.insertionmus.gui.MUCGUI

generateInitialPerspective() - Method in class org.kahina.logic.sat.muc.gui.MUCGUI

generateInitialPerspective() - Method in class org.kahina.qtype.gui.QTypeGUI

generateInitialPerspective() - Method in class org.kahina.sicstus.gui.SICStusPrologGUI

generateInitialPerspective() - Method in class org.kahina.swi.gui.SWIPrologGUI

generateInitialPerspective() - Method in class org.kahina.tralesld.gui.TraleSLDGUI

generateLitByClaGroupGraph() - Method in class org.kahina.logic.sat.data.cnf.GroupCnfSatInstance

generateMouseListener() - Method in class org.kahina.core.visual.graph.KahinaGraphViewPanel

generateMouseListener() - Method in class org.kahina.logic.sat.visual.cnf.graph.KahinaSatInstanceGraphViewPanel

generatePortVariant(int) - Method in class org.kahina.lp.data.text.LogicProgrammingLineReference

generateStep() - Method in class org.kahina.core.bridge.KahinaBridge

generateStep() - Method in class org.kahina.lp.bridge.LogicProgrammingBridge

generateStep() - Method in class org.kahina.qtype.bridge.QTypeBridge

generateStep() - Method in class org.kahina.sicstus.bridge.SICStusPrologBridge

generateStep() - Method in class org.kahina.swi.bridge.SWIPrologBridge

generateStep() - Method in class org.kahina.tralesld.bridge.TraleSLDBridge

generateStep() - Method in class org.kahina.tulipa.bridge.TulipaBridge

generateTreeView() - Method in class org.kahina.lp.gui.LogicProgrammingGUI

generateTreeView() - Method in class org.kahina.qtype.gui.QTypeGUI

generateTreeView() - Method in class org.kahina.swi.gui.SWIPrologGUI

generateTreeView() - Method in class org.kahina.tralesld.gui.TraleSLDGUI

generateUnsatInstance(int, int, int, boolean) - Static method in class org.kahina.logic.sat.io.free.UnsatInstanceGenerator

generateUnsatInstance(int, int, double[], boolean) - Static method in class org.kahina.logic.sat.io.free.UnsatInstanceGenerator

generateVarByClaGroupGraph() - Method in class org.kahina.logic.sat.data.cnf.GroupCnfSatInstance

generateViewFor(Class<?>, KahinaInstance<?, ?, ?, ?>) - Static method in class org.kahina.core.gui.KahinaViewRegistry

generateWordSequence(int) - Method in class org.kahina.parse.io.cfg.SentenceGenerator

get(int) - Method in class org.kahina.core.KahinaState

Shortcut for quick access to step data; should be overriden in the obvios way for custom step types.

get(int) - Method in class org.kahina.lp.LogicProgrammingState

get(int) - Method in class org.kahina.qtype.QTypeState

get(int) - Method in class org.kahina.tralesld.TraleSLDState

get(int) - Method in class org.kahina.tulipa.TulipaState

getAbsolutePath() - Method in class org.kahina.core.data.source.KahinaSourceCodeLocation

getAction() - Method in class org.kahina.lp.bridge.LogicProgrammingBridge

getActuator() - Method in class org.kahina.core.data.agent.KahinaControlAgent

getActuator() - Method in class org.kahina.core.data.agent.KahinaControlAgentProfile

getAgent() - Method in class org.kahina.lp.control.LogicProgrammingAgentMatchEvent

getAgentType() - Method in class org.kahina.lp.control.LogicProgrammingAgentMatchEvent

getAgentType() - Method in class org.kahina.lp.control.NewControlAgentEvent

getAlgorithm() - Method in class org.kahina.logic.sat.insertionmus.MUCState

getAllNodeIDs() - Method in class org.kahina.core.data.tree.KahinaTree

getAllNodeIDs() - Method in class org.kahina.core.data.tree.KahinaUnlayeredMemTree

Gets all the node IDs in ascending order, useful for bottom-up traversal.

getAllWindows() - Method in class org.kahina.core.gui.KahinaArrangement

getAncestorTransitivity() - Method in class org.kahina.core.visual.chart.KahinaChartViewConfiguration

getAnnotations(int) - Method in class org.kahina.core.data.agent.patterns.TreeAutomaton

Retrieves the current annotations for a single tree node.

getAntialiasingPolicy() - Method in class org.kahina.core.visual.chart.KahinaChartViewConfiguration

getAntialiasingPolicy() - Method in class org.kahina.core.visual.dag.KahinaDAGViewConfiguration

getAntialiasingPolicy() - Method in class org.kahina.core.visual.graph.KahinaGraphViewConfiguration

getAntialiasingPolicy() - Method in class org.kahina.core.visual.tree.KahinaTreeViewConfiguration

getAppID() - Method in class org.kahina.core.gui.KahinaPerspective

getApplicationName() - Method in class org.kahina.core.KahinaInstance

getApplicationName() - Method in class org.kahina.logic.sat.insertionmus.MUCInstance

getApplicationName() - Method in class org.kahina.logic.sat.muc.MUCInstance

getApplicationName() - Method in class org.kahina.qtype.QTypeDebuggerInstance

getAppropriateness(String) - Method in class org.kahina.tralesld.data.signature.TraleSLDSignature

getAppropriateValueType(String, String) - Method in class org.kahina.tralesld.data.signature.TraleSLDSignature

getArg() - Method in class org.kahina.logic.sat.data.free.Negation

getArguments() - Method in class org.kahina.core.control.KahinaControlEvent

getArguments() - Method in class org.kahina.core.gui.KahinaDialogEvent

getArrangement() - Method in class org.kahina.core.gui.KahinaPerspective

getArrangement() - Method in class org.kahina.core.gui.KahinaWindowManager

getAssignedLabel() - Method in class org.kahina.core.data.agent.patterns.TreeAutomatonRule

Gets the annotation that is added to nodes to which the rule applies.

getAutarkyReductionOptionState() - Method in class org.kahina.logic.sat.muc.visual.MUCStepViewListener

getAutoscrollPolicy() - Method in class org.kahina.core.visual.tree.KahinaTreeViewConfiguration

getBackgroundColor() - Method in class org.kahina.core.visual.dag.KahinaDAGViewConfiguration

getBackgroundColor() - Method in class org.kahina.core.visual.graph.KahinaGraphViewConfiguration

getBackgroundColor() - Method in class org.kahina.core.visual.tree.KahinaTreeViewConfiguration

getBasePatterns() - Method in class org.kahina.core.edit.breakpoint.SingleNodeConstraintPanel

getBestEquivalent(int, int) - Method in class org.kahina.core.data.tree.KahinaMemTree

Returns the lowest ancestor of nodeID whose layer is lower than or equals layerID.

getBestEquivalent(int, int) - Method in class org.kahina.core.data.tree.KahinaTree

getBestEquivalent(int, int) - Method in class org.kahina.core.data.tree.KahinaUnlayeredMemTree

getBindingForWinID(int) - Method in class org.kahina.core.gui.KahinaArrangement

getBlock(int) - Method in class org.kahina.logic.sat.muc.data.BlocklessBlockHandler

getBlock(int) - Method in class org.kahina.logic.sat.muc.data.LiteralBlockHandler

getBlock(int) - Method in class org.kahina.logic.sat.muc.data.PartitionBlockHandler

getBlock(int) - Method in class org.kahina.logic.sat.muc.data.RecursiveBlockHandler

getBlockByVar(int) - Method in class org.kahina.logic.sat.muc.data.PartitionBlockHandler

getBlockHandler() - Method in class org.kahina.logic.sat.muc.visual.RecursiveBlockView

getBlocklessBlocks() - Method in class org.kahina.logic.sat.muc.MUCState

getBlocks() - Method in class org.kahina.logic.sat.muc.data.BlocklessBlockHandler

getBlocks() - Method in class org.kahina.logic.sat.muc.data.LiteralBlockHandler

getBlocks() - Method in class org.kahina.logic.sat.muc.data.MUCMetaInstance

getBlocks() - Method in class org.kahina.logic.sat.muc.data.PartitionBlockHandler

getBlocks() - Method in class org.kahina.logic.sat.muc.data.RecursiveBlockHandler

getBlocksForUC(int) - Method in class org.kahina.logic.sat.muc.MUCState

getBoolHeur() - Method in class org.kahina.logic.sat.insertionmus.iterativ.simpleSAT.main.Variable

getBreakpoint() - Method in class org.kahina.core.control.KahinaWarnEvent

getBreakpoint() - Method in class org.kahina.core.data.agent.patterns.KahinaTreeMatchEvent

getBreakPoints() - Method in class org.kahina.lp.data.project.LogicProgrammingProject

getBreakPoints() - Method in class org.kahina.lp.LogicProgrammingInstance

getBridge() - Method in class org.kahina.core.KahinaInstance

getBridgeState() - Method in class org.kahina.lp.bridge.LogicProgrammingBridge

getBufferedStructure() - Method in class org.kahina.tralesld.visual.fs.TraleSLDFeatureStructureEditor

getBufferedStructure() - Method in class org.kahina.tralesld.visual.workbench.FeatureWorkbenchViewPanel

getCategory() - Method in class org.kahina.core.profiler.ProfileEntry

getCategory(String) - Method in class org.kahina.parse.data.cfg.ContextFreeGrammar

getCDCL(ClauseSet) - Method in class org.kahina.logic.sat.insertionmus.iterativ.simpleSAT.factorys.DefaultFactory

getCDCL(ClauseSet) - Method in interface org.kahina.logic.sat.insertionmus.iterativ.simpleSAT.factorys.ICDCLFactory

getCDCL(ClauseSet) - Method in class org.kahina.logic.sat.insertionmus.iterativ.simpleSAT.factorys.LearnMoreFactory

getCellWidth() - Method in class org.kahina.core.visual.chart.KahinaChartViewConfiguration

getCellWidthPolicy() - Method in class org.kahina.core.visual.chart.KahinaChartViewConfiguration

getChart() - Method in class org.kahina.qtype.QTypeState

getChart() - Method in class org.kahina.tralesld.TraleSLDState

getChildAnnotations(int) - Method in class org.kahina.core.data.agent.patterns.TreeAutomaton

Retrieves the current annotations for all the children of a single tree node.

getChildElements(Element) - Static method in class org.kahina.core.io.util.XMLUtil

getChildren() - Method in class org.kahina.core.data.agent.patterns.TreePatternNode

getChildren(int, int, boolean) - Method in class org.kahina.core.data.tree.KahinaMemTree

Returns the virtual children of a node, i.e.

getChildren(int) - Method in class org.kahina.core.data.tree.KahinaTree

getChildren(int, int, boolean) - Method in class org.kahina.core.data.tree.KahinaTree

getChildren(int) - Method in class org.kahina.core.data.tree.KahinaUnlayeredMemTree

getChildren(int, int, boolean) - Method in class org.kahina.core.data.tree.KahinaUnlayeredMemTree

getChildren(JPanel) - Method in class org.kahina.core.edit.breakpoint.TreeFragmentPanel

getClause(int) - Method in class org.kahina.logic.sat.data.cnf.CnfSatInstance

getClause(int) - Method in class org.kahina.tulipa.data.grammar.TulipaGrammar

getClauseByID(int) - Method in class org.kahina.logic.sat.data.cnf.CnfSatInstance

getClauseForNode(int) - Method in class org.kahina.logic.sat.data.proof.ResolutionProofDAG

getClauseForNode(int) - Method in class org.kahina.logic.sat.data.proof.ResolutionProofTree

getClauseGroup(int) - Method in class org.kahina.logic.sat.data.cnf.GroupCnfSatInstance

getClauseID() - Method in class org.kahina.logic.sat.insertionmus.gui.ClauseSelectionEvent

getClauseIDs() - Method in class org.kahina.logic.sat.muc.gui.ClauseSelectionEvent

getClauseSetRefinementOptionState() - Method in class org.kahina.logic.sat.muc.visual.MUCStepViewListener

getCNF(int) - Method in class org.kahina.logic.sat.io.free.TseitinTransformationVisitor

getCodeLocation() - Method in class org.kahina.core.control.KahinaCodeLineProperty

getCodeLocation() - Method in class org.kahina.core.control.KahinaCodeLinePropertySensor

Gets the source code location associated with this control point.

getCollapsePolicy() - Method in class org.kahina.core.visual.tree.KahinaTreeViewConfiguration

getColor() - Method in class org.kahina.core.data.dag.ColoredPath

Gets the color of the path.

getColorPaths() - Method in class org.kahina.core.data.dag.ColoredPathDAG

getColumnCount() - Method in class org.kahina.sicstus.visual.bindings.SICStusPrologVariableBindingTableModel

getColumnCount() - Method in class org.kahina.swi.visual.bindings.SWIPrologVariableBindingTableModel

getColumnCount() - Method in class org.kahina.tralesld.visual.fs.TraleSLDVariableBindingTableModel

getColumnName(int) - Method in class org.kahina.sicstus.visual.bindings.SICStusPrologVariableBindingTableModel

getColumnName(int) - Method in class org.kahina.swi.visual.bindings.SWIPrologVariableBindingTableModel

getColumnName(int) - Method in class org.kahina.tralesld.visual.fs.TraleSLDVariableBindingTableModel

getCommand() - Method in class org.kahina.core.control.KahinaControlEvent

getCommand() - Method in class org.kahina.qtype.QTypeCommander

getCommand() - Method in class org.kahina.qtype.QTypeDebuggerInstance

getCommand() - Method in class org.kahina.tralesld.TraleSLDInstance

getCommander() - Method in class org.kahina.qtype.QTypeDebuggerInstance

getComparator(CnfSatInstance) - Method in class org.kahina.logic.sat.insertionmus.algorithms.Heuristics.AscendingIndexHeuristic

getComparator(CnfSatInstance) - Method in class org.kahina.logic.sat.insertionmus.algorithms.Heuristics.AverageVariableOccourrenceHeuristic

getComparator(CnfSatInstance) - Method in class org.kahina.logic.sat.insertionmus.algorithms.Heuristics.InvertAHeuristic

getComparator(CnfSatInstance) - Method in interface org.kahina.logic.sat.insertionmus.algorithms.Heuristics.ISortingHeuristic

getComparator(CnfSatInstance) - Method in class org.kahina.logic.sat.insertionmus.algorithms.Heuristics.LargeClausesFirstHeuristic

getCompleteContent() - Method in class org.kahina.core.data.text.KahinaText

getCompleteContentWithLineOffsets(int) - Method in class org.kahina.core.data.text.KahinaText

getCompleteModel() - Static method in class org.kahina.logic.sat.io.minisat.MiniSAT

getCompleteModel(File) - Static method in class org.kahina.logic.sat.io.minisat.MiniSAT

getCompletePoints() - Method in class org.kahina.lp.data.project.LogicProgrammingProject

getCompletePoints() - Method in class org.kahina.lp.LogicProgrammingInstance

getConfig() - Method in class org.kahina.core.visual.chart.KahinaChartView

getConfig() - Method in class org.kahina.core.visual.dag.KahinaDAGView

getConfig() - Method in class org.kahina.core.visual.graph.KahinaGraphView

getConfig() - Method in class org.kahina.core.visual.KahinaView

getConfig() - Method in class org.kahina.core.visual.tree.KahinaLayeredTreeView

getConfig() - Method in class org.kahina.core.visual.tree.KahinaListTreeView

getConfig() - Method in class org.kahina.core.visual.tree.KahinaTreeView

getConfiguration(int) - Method in class org.kahina.core.gui.KahinaPerspective

getConjuncts() - Method in class org.kahina.logic.sat.data.free.Conjunction

getConsoleLineRefForStep(int) - Method in class org.kahina.lp.LogicProgrammingState

getConsoleLines() - Method in class org.kahina.core.gui.event.KahinaConsoleLineEvent

getConsoleMessages() - Method in class org.kahina.core.KahinaState

getConstrOptions() - Method in class org.kahina.core.edit.breakpoint.SingleNodeConstraintPanel

getContent() - Method in class org.kahina.core.gui.windows.KahinaDefaultWindow

getContentfulTreeModel() - Method in class org.kahina.core.visual.tree.KahinaTreeView

getContentWindows() - Method in class org.kahina.core.gui.KahinaArrangement

getContentWindowsWithoutMainWindow() - Method in class org.kahina.core.gui.KahinaArrangement

getContextFeatures() - Method in class org.kahina.tralesld.visual.fs.TraleSLDFeatureStructureEditor

getContextParentStructureType() - Method in class org.kahina.tralesld.visual.fs.TraleSLDFeatureStructureEditor

getContextSiblingTypes() - Method in class org.kahina.tralesld.visual.fs.TraleSLDFeatureStructureEditor

getContextStructureType() - Method in class org.kahina.tralesld.visual.fs.TraleSLDFeatureStructureEditor

getContextSubtypes() - Method in class org.kahina.tralesld.visual.fs.TraleSLDFeatureStructureEditor

getContextSupertypes() - Method in class org.kahina.tralesld.visual.fs.TraleSLDFeatureStructureEditor

getControlAgent(int) - Method in class org.kahina.core.data.agent.KahinaControlAgentProfile

getControlAgent() - Method in class org.kahina.lp.control.NewControlAgentEvent

Returns the control agent transported by this event, to which an actuator needs to be added according to the agent type.

getControlPoints() - Method in class org.kahina.core.data.agent.KahinaControlAgentProfile

getCountOccourrence(int) - Method in class org.kahina.logic.sat.data.cnf.CnfSatInstance

Counts the occurrence of a variable within the instance

getCreepPoints() - Method in class org.kahina.lp.data.project.LogicProgrammingProject

getCreepPoints() - Method in class org.kahina.lp.LogicProgrammingInstance

getCurrentSignature() - Method in class org.kahina.tralesld.bridge.AuxiliaryTraleInstance

Reads out the current signature (usually after theory compilation).

getCurrentStatusInfo() - Method in class org.kahina.logic.sat.muc.visual.UCReducerPanel

getCurrentType() - Method in class org.kahina.tralesld.visual.signature.TraleSLDSignatureAppropriatenessView

getCurrentType() - Method in class org.kahina.tralesld.visual.signature.TraleSLDSignatureHierarchyView

getCurrentType() - Method in class org.kahina.tralesld.visual.signature.TraleSLDSignatureUsageView

getDAG() - Method in class org.kahina.tulipa.TulipaState

getDAGEventType() - Method in class org.kahina.core.data.dag.KahinaDAGEvent

getDAGModel() - Method in class org.kahina.core.visual.dag.KahinaDAGView

getData() - Method in class org.kahina.logic.sat.insertionmus.MUCStep

getDaughterEdgesForEdge(int) - Method in class org.kahina.core.data.chart.KahinaChart

getDaughterEdgesForEdge(int) - Method in class org.kahina.core.data.chart.KahinaMemChart

getDecisionGraph() - Method in class org.kahina.logic.sat.insertionmus.MUCState

getDecisionGraph() - Method in class org.kahina.logic.sat.muc.MUCState

getDefault() - Static method in class org.kahina.tralesld.visual.fs.FSVisualizationUtility

getDependencyDisplayPolicy() - Method in class org.kahina.core.visual.chart.KahinaChartViewConfiguration

getDependencyRoots() - Method in class org.kahina.core.data.chart.KahinaChart

getDependencyRoots() - Method in class org.kahina.core.data.chart.KahinaMemChart

getDescendantTransitivity() - Method in class org.kahina.core.visual.chart.KahinaChartViewConfiguration

getDescription() - Method in class org.kahina.core.bridge.KahinaStepDescriptionEvent

getDialogEventType() - Method in class org.kahina.core.gui.KahinaDialogEvent

getDisjuncts() - Method in class org.kahina.logic.sat.data.free.Disjunction

getDisplayHeight() - Method in class org.kahina.core.visual.chart.KahinaChartView

getDisplayHeight() - Method in class org.kahina.core.visual.chart.KahinaRecursiveChartView

getDisplayHeight() - Method in class org.kahina.core.visual.dag.KahinaDAGLayouter

getDisplayHeight() - Method in class org.kahina.core.visual.dag.KahinaDAGView

getDisplayHeight() - Method in class org.kahina.core.visual.dag.LayeredLayouter

getDisplayHeight() - Method in class org.kahina.core.visual.graph.CircularLayouter

getDisplayHeight() - Method in class org.kahina.core.visual.graph.GridLayouter

getDisplayHeight() - Method in class org.kahina.core.visual.graph.KahinaGraphLayouter

getDisplayHeight() - Method in class org.kahina.core.visual.graph.KahinaGraphView

getDisplayHeight() - Method in class org.kahina.core.visual.graph.SpringLayouter

getDisplayHeight() - Method in class org.kahina.core.visual.tree.KahinaTreeView

getDisplayOrientation() - Method in class org.kahina.core.visual.chart.KahinaChartViewConfiguration

getDisplayOrientation() - Method in class org.kahina.core.visual.tree.KahinaTreeViewConfiguration

getDisplayRangePolicy() - Method in class org.kahina.core.visual.chart.KahinaChartViewConfiguration

getDisplayString() - Method in class org.kahina.core.visual.KahinaEmptyView

getDisplayWidth() - Method in class org.kahina.core.visual.chart.KahinaChartView

getDisplayWidth() - Method in class org.kahina.core.visual.dag.KahinaDAGLayouter

getDisplayWidth() - Method in class org.kahina.core.visual.dag.KahinaDAGView

getDisplayWidth() - Method in class org.kahina.core.visual.dag.LayeredLayouter

getDisplayWidth() - Method in class org.kahina.core.visual.graph.CircularLayouter

getDisplayWidth() - Method in class org.kahina.core.visual.graph.GridLayouter

getDisplayWidth() - Method in class org.kahina.core.visual.graph.KahinaGraphLayouter

getDisplayWidth() - Method in class org.kahina.core.visual.graph.KahinaGraphView

getDisplayWidth() - Method in class org.kahina.core.visual.graph.SpringLayouter

getDisplayWidth() - Method in class org.kahina.core.visual.tree.KahinaTreeView

getDrawingOrderPolicy() - Method in class org.kahina.core.visual.graph.KahinaGraphViewConfiguration

getEdgeBetween(int, int) - Method in class org.kahina.core.data.dag.KahinaDAG

getEdgeCaption(int) - Method in class org.kahina.core.data.chart.KahinaChart

getEdgeCaption(int) - Method in class org.kahina.core.data.chart.KahinaMemChart

getEdgeCaption(int) - Method in class org.kahina.core.visual.chart.KahinaChartView

getEdgeColor(int) - Method in class org.kahina.core.visual.chart.KahinaChartView

getEdgeColor(int, int) - Method in class org.kahina.core.visual.graph.KahinaGraphView

getEdgeColoringPolicy() - Method in class org.kahina.core.visual.graph.KahinaGraphViewConfiguration

getEdgeColors(int) - Method in class org.kahina.core.visual.dag.ColoredPathDAGView

getEdgeFont(int) - Method in class org.kahina.core.visual.chart.KahinaChartView

getEdgeFont(int) - Method in class org.kahina.core.visual.chart.KahinaRecursiveChartView

getEdgeForNode(int) - Method in class org.kahina.qtype.QTypeState

getEdgeForNode(int) - Method in class org.kahina.tralesld.TraleSLDState

getEdgeHeight(int) - Method in class org.kahina.core.visual.chart.KahinaChartView

getEdgeHighlightColor(int) - Method in class org.kahina.core.visual.chart.KahinaChartView

getEdgeIDIterator() - Method in class org.kahina.core.data.dag.KahinaDAG

getEdgeIDIterator() - Method in class org.kahina.core.data.dag.KahinaMemDAG

getEdgeIDs() - Method in class org.kahina.core.data.chart.KahinaChart

getEdgeIDs() - Method in class org.kahina.core.data.chart.KahinaMemChart

getEdgeIDs() - Method in class org.kahina.core.visual.chart.KahinaChartView

getEdgeInterpretation() - Method in class org.kahina.core.visual.graph.KahinaGraphViewConfiguration

getEdgeLabel(int) - Method in class org.kahina.core.data.dag.KahinaDAG

getEdgeLabel(int) - Method in class org.kahina.core.data.dag.KahinaMemDAG

getEdgeLabel(int, int) - Method in class org.kahina.core.data.graph.AdjacListsGraph

getEdgeLabel(int, int) - Method in class org.kahina.core.data.graph.KahinaGraph

getEdgeLabel(int) - Method in class org.kahina.core.data.tree.KahinaTree

getEdgeLabel(int) - Method in class org.kahina.core.data.tree.KahinaUnlayeredMemTree

getEdgeLabelPolicy() - Method in class org.kahina.core.visual.dag.KahinaDAGViewConfiguration

getEdgeLabelPolicy() - Method in class org.kahina.core.visual.graph.KahinaGraphViewConfiguration

getEdgeShapePolicy() - Method in class org.kahina.core.visual.graph.KahinaGraphViewConfiguration

getEdgeStackingPolicy() - Method in class org.kahina.core.visual.chart.KahinaChartViewConfiguration

getEdgeStatus(int) - Method in class org.kahina.core.data.chart.KahinaChart

getEdgeStatus(int) - Method in class org.kahina.core.data.chart.KahinaMemChart

getEdgeStatus(int, int) - Method in class org.kahina.core.data.graph.AdjacListsGraph

Returns the status ID of the edge between two nodes.

getEdgeStatus(int, int) - Method in class org.kahina.core.data.graph.KahinaGraph

getEdgeStroke(int) - Method in class org.kahina.core.visual.chart.KahinaChartView

getEdgeStroke(int) - Method in class org.kahina.core.visual.chart.KahinaRecursiveChartView

getEdgeStyle(int) - Method in class org.kahina.core.visual.tree.KahinaListTreeView

Returns the edge style for the edge leading to a node.

getEdgeStyle(int) - Method in class org.kahina.core.visual.tree.KahinaTreeView

Returns the edge style for the edge leading to a node.

getEdgeTagPolicy() - Method in class org.kahina.core.visual.tree.KahinaTreeViewConfiguration

getEdgeVisibilityPolicy() - Method in class org.kahina.core.visual.graph.KahinaGraphViewConfiguration

getEdgeWidth(int) - Method in class org.kahina.core.visual.chart.KahinaChartView

getEdgeX(int) - Method in class org.kahina.core.visual.chart.KahinaChartView

getEdgeY(int) - Method in class org.kahina.core.visual.chart.KahinaChartView

getEditingMode() - Method in class org.kahina.tralesld.visual.fs.TraleSLDFeatureStructureEditor

getEditMessage() - Method in class org.kahina.tralesld.visual.fs.TraleSLDFeatureEditEvent

getEditorEventType() - Method in class org.kahina.core.edit.breakpoint.BreakpointEditorEvent

getElementAt(int) - Method in class org.kahina.tulipa.visual.grammar.TulipaClauseListModel

getElementID() - Method in class org.kahina.core.control.KahinaActivationEvent

getElements(Element, String) - Static method in class org.kahina.core.io.util.XMLUtil

getEmbeddingWindow() - Method in class org.kahina.core.gui.windows.KahinaWindow

Retrieves the direct ancestor of this window in the embedding tree.

getEmbeddingWindowID(int) - Method in class org.kahina.core.gui.KahinaArrangement

getEnde(int) - Method in class org.kahina.core.visual.tree.WidthVector

getEndNode(int) - Method in class org.kahina.core.data.dag.KahinaDAG

getEndNode(int) - Method in class org.kahina.core.data.dag.KahinaMemDAG

getEventType() - Method in class org.kahina.lp.bridge.LogicProgrammingBridgeEvent

getEventType() - Method in class org.kahina.tralesld.bridge.TraleSLDBridgeEvent

getEventType() - Method in class org.kahina.tulipa.bridge.TulipaBridgeEvent

getExternalID() - Method in class org.kahina.lp.LogicProgrammingStep

getExternalID() - Method in class org.kahina.tulipa.TulipaStep

getFailPoints() - Method in class org.kahina.lp.data.project.LogicProgrammingProject

getFailPoints() - Method in class org.kahina.lp.LogicProgrammingInstance

getFeatures() - Method in class org.kahina.tralesld.data.signature.TraleSLDSignature

getFile() - Method in class org.kahina.core.control.KahinaProjectEvent

getFile() - Method in class org.kahina.core.control.KahinaSessionEvent

getFile() - Method in class org.kahina.core.edit.breakpoint.BreakpointEditorEvent

getFile() - Method in class org.kahina.core.edit.source.KahinaJEditPanel

getFile() - Method in class org.kahina.core.gui.event.KahinaPerspectiveEvent

getFileModel(String) - Method in class org.kahina.core.data.source.KahinaSourceFileRegistry

getFiles() - Method in class org.kahina.logic.sat.muc.MUCState

getFiles() - Method in class org.kahina.logic.sat.muc.task.ReductionAgent

getFileStream(String) - Method in class org.kahina.core.profiler.KahinaLogger

getFirstID() - Method in class org.kahina.core.data.dag.KahinaDAGEvent

getFirstID() - Method in class org.kahina.core.data.tree.KahinaTreeEvent

getFms() - Method in class org.kahina.logic.sat.data.free.Conjunction

getFms() - Method in class org.kahina.logic.sat.data.free.Disjunction

getFontMetrics(Font, Stroke, int) - Method in class org.kahina.core.visual.chart.KahinaChartView

getFontMetrics(Font, Stroke, int) - Method in class org.kahina.core.visual.chart.KahinaRecursiveChartView

getFontMetrics(Font, Stroke, int) - Method in class org.kahina.core.visual.dag.LayeredLayouter

getFontMetrics(Font, Stroke, int) - Method in class org.kahina.core.visual.tree.KahinaTreeView

getFormula() - Method in class org.kahina.logic.sat.freemuc.FreeMUCInstance

getFormula() - Method in class org.kahina.logic.sat.freemuc.FreeMUCState

getFS() - Method in class org.kahina.qtype.data.bindings.QTypeGoal

getFullProfile() - Method in class org.kahina.lp.LogicProgrammingState

getGoal() - Method in class org.kahina.qtype.QTypeStep

getGoalDesc() - Method in class org.kahina.lp.LogicProgrammingStep

getGoalID() - Method in class org.kahina.core.edit.breakpoint.BreakpointEditorEvent

getGrammar() - Method in class org.kahina.tulipa.TulipaState

getGraphLayout() - Method in class org.kahina.core.visual.graph.KahinaGraphViewConfiguration

getGrisuMessage() - Method in class org.kahina.tralesld.visual.fs.TraleSLDFeatureStructureView

getGrisuMessage(int) - Method in class org.kahina.tralesld.visual.fs.TraleSLDVariableBindingTableModel

getGrisuString() - Method in class org.kahina.tralesld.visual.fs.TraleSLDFeatureStructureEditor

getGroupForClause(int) - Method in class org.kahina.logic.sat.data.cnf.GroupCnfSatInstance

getGUI() - Method in class org.kahina.core.KahinaInstance

getGUI() - Method in class org.kahina.qtype.QTypeDebuggerInstance

getHeight(int) - Method in class org.kahina.core.gui.KahinaArrangement

getHeuristics() - Method in class org.kahina.logic.sat.muc.task.ReductionAgent

getHiddenSteps() - Method in class org.kahina.lp.LogicProgrammingState

getHighestVar() - Method in class org.kahina.logic.sat.data.cnf.CnfSatInstance

precondition: removeID must not be executed if this function is used.

getHorizontalDistance() - Method in class org.kahina.core.visual.dag.KahinaDAGViewConfiguration

getHorizontalDistance() - Method in class org.kahina.core.visual.tree.KahinaTreeViewConfiguration

getHTML(String) - Method in class org.kahina.tralesld.visual.signature.TraleSLDSignatureAppropriatenessView

Gets feature appropriateness information on a type in HTML.

getHTML(String) - Method in class org.kahina.tralesld.visual.signature.TraleSLDSignatureHierarchyView

Gets hierarchy information on a type in HTML.

getHTML(String) - Method in class org.kahina.tralesld.visual.signature.TraleSLDSignatureUsageView

Gets usage information on a type in HTML.

getIcon(String) - Static method in class org.kahina.core.io.util.IconUtil

getIcStatus(int) - Method in class org.kahina.logic.sat.muc.MUCStep

getID() - Method in class org.kahina.core.control.KahinaProjectEvent

getID() - Method in class org.kahina.core.gui.event.KahinaPerspectiveEvent

getID() - Method in class org.kahina.core.gui.windows.KahinaWindow

getID() - Method in class org.kahina.logic.sat.insertionmus.MUCStep

getID() - Method in class org.kahina.lp.bridge.LogicProgrammingBridgeEvent

getID() - Method in class org.kahina.tulipa.bridge.TulipaBridgeEvent

getIdentificationInfo() - Method in class org.kahina.logic.sat.muc.visual.UCReducerPanel

getImpliedUnits(CnfSatInstance, List<Integer>) - Static method in class org.kahina.logic.sat.io.minisat.MiniSAT

getIn() - Method in class org.kahina.qtype.data.bindings.QTypeGoal

getIncomingEdges(int) - Method in class org.kahina.core.data.dag.KahinaDAG

getIncomingEdges(int) - Method in class org.kahina.core.data.dag.KahinaMemDAG

getIntContent() - Method in class org.kahina.core.control.KahinaSystemEvent

getIntContent() - Method in class org.kahina.lp.bridge.LogicProgrammingBridgeEvent

getIntContent() - Method in class org.kahina.tralesld.bridge.TraleSLDBridgeEvent

getIntContent() - Method in class org.kahina.tulipa.bridge.TulipaBridgeEvent

getIntContent2() - Method in class org.kahina.tulipa.bridge.TulipaBridgeEvent

getInternalID() - Method in class org.kahina.tralesld.bridge.TraleSLDBridgeEvent

getIntroducer(String, String) - Method in class org.kahina.tralesld.data.signature.TraleSLDSignature

getInValues() - Method in class org.kahina.sicstus.data.bindings.SICStusPrologVariableBindingSet

getItemDesc() - Method in class org.kahina.tulipa.TulipaStep

getKahina() - Method in class org.kahina.core.control.KahinaControlActuator

getKahina() - Method in class org.kahina.core.data.agent.KahinaControlAgent

getKahina() - Method in class org.kahina.core.data.agent.patterns.TreeAutomaton

getKahina() - Method in class org.kahina.core.gui.KahinaWindowManager

getKahina() - Method in class org.kahina.core.visual.agent.KahinaControlAgentProfileViewPanel

getKahina() - Method in class org.kahina.logic.sat.insertionmus.MUCState

getKahina() - Method in class org.kahina.logic.sat.muc.MUCState

getKahinaInstance() - Method in class org.kahina.core.gui.KahinaGUI

getKeys() - Method in class org.kahina.swi.data.bindings.SWIPrologVariableBindingSet

getLastPopupLine() - Method in class org.kahina.core.edit.source.KahinaJEditTextArea

getLatestOriginLayer() - Method in class org.kahina.core.visual.tree.KahinaListTreeView

getLayer(int) - Method in class org.kahina.core.data.tree.KahinaTree

getLayer(int) - Method in class org.kahina.core.data.tree.KahinaUnlayeredMemTree

getLayer() - Method in class org.kahina.core.gui.event.KahinaSelectionEvent

getLayer() - Method in class org.kahina.core.gui.event.KahinaUpdateEvent

getLayerDecider() - Method in class org.kahina.core.data.tree.KahinaTree

getLayouter() - Method in class org.kahina.core.visual.dag.KahinaDAGView

getLayouter() - Method in class org.kahina.core.visual.graph.KahinaGraphView

getLearnedUnitClauses(File) - Static method in class org.kahina.logic.sat.io.minisat.MiniSAT

getLeaves() - Method in class org.kahina.core.data.tree.KahinaTree

getLeaves() - Method in class org.kahina.core.data.tree.KahinaUnlayeredMemTree

getLeftArgument() - Method in class org.kahina.core.control.KahinaSimpleProperty

getLeftBound() - Method in class org.kahina.core.data.chart.KahinaChart

getLeftBound() - Method in class org.kahina.core.data.chart.KahinaMemChart

getLeftBoundForEdge(int) - Method in class org.kahina.core.data.chart.KahinaChart

getLeftBoundForEdge(int) - Method in class org.kahina.core.data.chart.KahinaMemChart

getLeftmostCovered() - Method in class org.kahina.core.data.chart.KahinaChart

getLeftmostCovered() - Method in class org.kahina.core.data.chart.KahinaMemChart

getLemmata() - Method in class org.kahina.tralesld.bridge.AuxiliaryTraleInstance

Returns all the lemmata defined in the current theory.

getLine() - Method in class org.kahina.core.data.text.KahinaLineReference

getLine(int) - Method in class org.kahina.core.data.text.KahinaText

getLine() - Method in class org.kahina.core.gui.event.KahinaMessageEvent

getLineColor(int) - Method in class org.kahina.logic.sat.muc.visual.PartitionBlockView

getLineColor(int) - Method in class org.kahina.logic.sat.visual.cnf.list.KahinaSatInstanceListView

getLineContent(int) - Method in class org.kahina.core.data.text.KahinaText

getLineNumber() - Method in class org.kahina.core.data.source.KahinaSourceCodeLocation

getLineReferencesForStep(int) - Method in class org.kahina.core.KahinaState

getLines() - Method in class org.kahina.core.data.text.KahinaText

getLineShapePolicy() - Method in class org.kahina.core.visual.tree.KahinaTreeViewConfiguration

getLineStatus(int) - Method in class org.kahina.logic.sat.muc.visual.MUCStepView

getLineStatus(int) - Method in class org.kahina.logic.sat.muc.visual.PartitionBlockView

getLineStatus(int) - Method in class org.kahina.logic.sat.visual.cnf.list.KahinaSatInstanceListView

getLinkAnchors(int) - Method in class org.kahina.lp.LogicProgrammingState

getLinkTarget(int) - Method in class org.kahina.lp.LogicProgrammingState

getList() - Method in class org.kahina.logic.sat.muc.visual.PartitionBlockViewPanel

getList() - Method in class org.kahina.logic.sat.visual.cnf.list.KahinaSatInstanceListViewPanel

getListCellRendererComponent(JList, Object, int, boolean, boolean) - Method in class org.kahina.core.visual.tree.KahinaListTreeListRenderer

getListCellRendererComponent(JList, Object, int, boolean, boolean) - Method in class org.kahina.logic.sat.muc.visual.PartitionBlockListCellRenderer

getListCellRendererComponent(JList, Object, int, boolean, boolean) - Method in class org.kahina.logic.sat.visual.cnf.list.KahinaSatInstanceListCellRenderer

getListModel() - Method in class org.kahina.core.visual.text.KahinaTextView

getListModel() - Method in class org.kahina.logic.sat.muc.visual.PartitionBlockView

getListModel() - Method in class org.kahina.logic.sat.visual.cnf.list.KahinaSatInstanceListView

getLiteralSubselection(int[]) - Method in class org.kahina.logic.sat.insertionmus.visual.MUCStepViewListener

getLiteralSubselection(int[]) - Method in class org.kahina.logic.sat.muc.visual.MUCStepViewListener

getLogger() - Method in class org.kahina.core.KahinaInstance

getMainFile() - Method in class org.kahina.core.data.project.KahinaProject

getMainWindow() - Method in class org.kahina.core.gui.KahinaGUI

getMainWindowID() - Method in class org.kahina.core.gui.KahinaArrangement

getMarkedEdge() - Method in class org.kahina.core.visual.chart.KahinaChartView

getMarkedNode() - Method in class org.kahina.core.visual.dag.KahinaDAGView

getMarkedNode(int) - Method in class org.kahina.core.visual.tree.KahinaListTreeView

getMarkedNode() - Method in class org.kahina.core.visual.tree.KahinaTreeView

getMarkedPattern() - Method in class org.kahina.core.edit.breakpoint.BooleanConnectorPanel

getMarkedPattern() - Method in class org.kahina.core.edit.breakpoint.SingleNodeConstraintPanel

getMarkedVertex() - Method in class org.kahina.core.visual.graph.KahinaGraphView

getMatchCount() - Method in class org.kahina.core.control.KahinaWarnEvent

getMatchCountByBreakpoint() - Method in class org.kahina.core.KahinaState

getMaxNodeLabelLength() - Method in class org.kahina.lp.behavior.LogicProgrammingTreeBehavior

getMenu(KahinaWindow) - Static method in class org.kahina.core.gui.menus.KahinaWindowContextMenu

getMenu(KahinaControlAgentListener, KahinaControlAgentProfileListener, KahinaControlAgentViewPanel) - Static method in class org.kahina.core.visual.agent.KahinaControlAgentContextMenu

getMenu(ActionListener, KahinaChartView) - Static method in class org.kahina.core.visual.chart.KahinaChartViewContextMenu

getMenu(ActionListener, KahinaDAGView) - Static method in class org.kahina.core.visual.dag.KahinaDAGViewContextMenu

getMenu(ActionListener, KahinaGraphView) - Static method in class org.kahina.core.visual.graph.KahinaGraphViewContextMenu

getMenu(ActionListener, KahinaTreeView) - Static method in class org.kahina.core.visual.tree.KahinaTreeViewContextMenu

getMenu(ActionListener, MUCStepViewPanel, MUCInstance, int) - Static method in class org.kahina.logic.sat.insertionmus.visual.MUCStepViewContextMenu

getMenu(ActionListener, MetaInstanceViewPanel, MUCInstance, int) - Static method in class org.kahina.logic.sat.muc.visual.MetaInstanceViewContextMenu

getMenu(MUCStepViewListener, MUCStepViewPanel, MUCInstance, int) - Static method in class org.kahina.logic.sat.muc.visual.MUCStepViewContextMenu

getMenu(ActionListener, KahinaGraphView) - Static method in class org.kahina.logic.sat.visual.cnf.graph.KahinaSatInstanceGraphViewContextMenu

getMessage() - Method in exception org.kahina.core.data.agent.patterns.PatternFormatException

Returns the error message as displayed e.g.

getMessageType() - Method in class org.kahina.tralesld.visual.fs.TraleSLDFeatureEditEvent

getMetaInstance() - Method in class org.kahina.logic.sat.muc.MUCState

getMetaLearningMode() - Method in class org.kahina.logic.sat.muc.MUCInstance

getModel() - Method in class org.kahina.core.visual.dag.ColoredPathDAGView

getModel() - Method in class org.kahina.core.visual.KahinaView

getModel() - Method in class org.kahina.core.visual.tree.KahinaLayeredTreeView

getModel() - Method in class org.kahina.logic.sat.muc.task.ReductionTask

getModelRotationOptionState() - Method in class org.kahina.logic.sat.muc.visual.MUCStepViewListener

getMotherEdgesForEdge(int) - Method in class org.kahina.core.data.chart.KahinaChart

getMotherEdgesForEdge(int) - Method in class org.kahina.core.data.chart.KahinaMemChart

getName() - Method in class org.kahina.core.control.KahinaProjectEvent

getName() - Method in class org.kahina.core.data.agent.KahinaBreakpoint

Gets the name of the breakpoint as used by various GUI components.

getName() - Method in class org.kahina.core.data.agent.KahinaControlAgent

Gets the name of the control point as used by various GUI components.

getName() - Method in class org.kahina.core.data.project.KahinaProject

getName() - Method in class org.kahina.core.gui.KahinaPerspective

getName() - Method in class org.kahina.core.profiler.ProfileEntry

getName() - Method in class org.kahina.logic.sat.data.free.BooleanVariable

getName() - Method in class org.kahina.logic.sat.muc.heuristics.AscendingIndexHeuristic

getName() - Method in class org.kahina.logic.sat.muc.heuristics.AscendingRelevanceHeuristic

getName() - Method in class org.kahina.logic.sat.muc.heuristics.CenteredIndexHeuristic

getName() - Method in class org.kahina.logic.sat.muc.heuristics.CenteredRelevanceHeuristic

getName() - Method in class org.kahina.logic.sat.muc.heuristics.DescendingIndexHeuristic

getName() - Method in class org.kahina.logic.sat.muc.heuristics.DescendingRelevanceHeuristic

getName() - Method in class org.kahina.logic.sat.muc.heuristics.ReductionHeuristic

Defines the name of the heuristic as displayed in the reduction agent system.

getNameList() - Method in class org.kahina.tralesld.visual.workbench.FeatureWorkbenchView

getNames() - Method in class org.kahina.tralesld.data.workbench.FeatureWorkbench

getNeighbors(int) - Method in class org.kahina.core.data.graph.AdjacListsGraph

getNeighbors(int) - Method in class org.kahina.core.data.graph.KahinaGraph

getNewGrammarString() - Method in class org.kahina.core.gui.KahinaGUI

Defines the title of the program file chooser while creating a new project.

getNewGrammarString() - Method in class org.kahina.qtype.gui.QTypeGUI

getNewGrammarString() - Method in class org.kahina.tralesld.gui.TraleSLDGUI

getNextCandidate() - Method in class org.kahina.logic.sat.muc.heuristics.AscendingIndexHeuristic

getNextCandidate() - Method in class org.kahina.logic.sat.muc.heuristics.AscendingRelevanceHeuristic

getNextCandidate() - Method in class org.kahina.logic.sat.muc.heuristics.CenteredIndexHeuristic

getNextCandidate() - Method in class org.kahina.logic.sat.muc.heuristics.CenteredRelevanceHeuristic

getNextCandidate() - Method in class org.kahina.logic.sat.muc.heuristics.DescendingIndexHeuristic

getNextCandidate() - Method in class org.kahina.logic.sat.muc.heuristics.DescendingRelevanceHeuristic

getNextCandidate() - Method in class org.kahina.logic.sat.muc.heuristics.ReductionHeuristic

Is used by the reduction agent steered by this heuristic to poll reduction candidates.

getNextCandidate() - Method in class org.kahina.logic.sat.muc.heuristics.SingleStepHeuristic

getNextCommand() - Method in class org.kahina.tulipa.bridge.TulipaBridge

getNextEdgeID() - Method in class org.kahina.core.data.chart.KahinaChart

getNextFreeEdgeID() - Method in class org.kahina.core.data.dag.KahinaMemDAG

getNextFreeID() - Method in class org.kahina.core.data.graph.AdjacListsGraph

getNextFreeID() - Method in class org.kahina.core.data.tree.KahinaUnlayeredMemTree

getNextFreeNodeID() - Method in class org.kahina.core.data.dag.KahinaMemDAG

getNextID() - Static method in class org.kahina.logic.sat.muc.task.ReductionTask

getNextInstruction() - Method in class org.kahina.logic.sat.muc.bridge.MUCBridge

Returns a step instruction determined by the user of the MUCGUI.

getNextVar() - Method in class org.kahina.logic.sat.insertionmus.iterativ.simpleSAT.activityHeuristics.AbstractActivity

getNextVar() - Method in interface org.kahina.logic.sat.insertionmus.iterativ.simpleSAT.activityHeuristics.IActivity

getNextVar() - Method in class org.kahina.logic.sat.insertionmus.iterativ.simpleSAT.activityHeuristics.RandomHeapActivity

getNodeAtCoordinates(int, int) - Method in class org.kahina.core.visual.dag.KahinaDAGLayouter

getNodeAtCoordinates(int, int) - Method in class org.kahina.core.visual.dag.LayeredLayouter

getNodeBorderColor(int) - Method in class org.kahina.core.visual.dag.KahinaDAGView

getNodeBorderColor(int) - Method in class org.kahina.core.visual.tree.KahinaListTreeView

getNodeBorderColor(int) - Method in class org.kahina.core.visual.tree.KahinaTreeView

getNodeCaption(int) - Method in class org.kahina.core.data.dag.KahinaDAG

getNodeCaption(int) - Method in class org.kahina.core.data.dag.KahinaMemDAG

getNodeCaption(int) - Method in class org.kahina.core.data.tree.KahinaTree

getNodeCaption(int) - Method in class org.kahina.core.data.tree.KahinaUnlayeredMemTree

getNodeCaption(int) - Method in class org.kahina.logic.sat.data.proof.ResolutionProofDAG

getNodeCaption(int) - Method in class org.kahina.logic.sat.data.proof.ResolutionProofTree

getNodeColor(int) - Method in class org.kahina.core.visual.dag.KahinaDAGView

getNodeColor(int) - Method in class org.kahina.core.visual.tree.KahinaListTreeView

getNodeColor(int) - Method in class org.kahina.core.visual.tree.KahinaTreeView

getNodeConstraint() - Method in class org.kahina.core.edit.breakpoint.SingleNodeConstraintPanel

getNodeDisplayPolicy() - Method in class org.kahina.core.visual.tree.KahinaTreeViewConfiguration

getNodeFont(int) - Method in class org.kahina.core.visual.dag.KahinaDAGView

getNodeFont(int) - Method in class org.kahina.core.visual.tree.KahinaListTreeView

getNodeFont(int) - Method in class org.kahina.core.visual.tree.KahinaTreeView

getNodeForEdge(int) - Method in class org.kahina.qtype.QTypeState

getNodeForEdge(int) - Method in class org.kahina.tralesld.TraleSLDState

getNodeHeight(int) - Method in class org.kahina.core.visual.tree.KahinaTreeView

getNodeID() - Method in class org.kahina.core.data.agent.patterns.KahinaTreeMatchEvent

getNodeIDIterator() - Method in class org.kahina.core.data.dag.KahinaDAG

getNodeIDIterator() - Method in class org.kahina.core.data.dag.KahinaMemDAG

getNodePositionPolicy() - Method in class org.kahina.core.visual.tree.KahinaTreeViewConfiguration

getNodeShapePolicy() - Method in class org.kahina.core.visual.tree.KahinaTreeViewConfiguration

getNodeSize() - Method in class org.kahina.core.visual.dag.KahinaDAGViewConfiguration

getNodeSize() - Method in class org.kahina.core.visual.graph.KahinaGraphViewConfiguration

getNodeSize() - Method in class org.kahina.core.visual.tree.KahinaTreeViewConfiguration

getNodeStatus(int) - Method in class org.kahina.core.data.dag.KahinaDAG

getNodeStatus(int) - Method in class org.kahina.core.data.dag.KahinaMemDAG

getNodeStatus(int) - Method in class org.kahina.core.data.tree.KahinaTree

getNodeStatus(int) - Method in class org.kahina.core.data.tree.KahinaUnlayeredMemTree

getNodeWidth(int) - Method in class org.kahina.core.visual.dag.KahinaDAGView

getNodeWidths() - Method in class org.kahina.core.visual.dag.KahinaDAGView

getNodeX(int) - Method in class org.kahina.core.visual.dag.KahinaDAGView

getNodeX(int) - Method in class org.kahina.core.visual.tree.KahinaTreeView

getNodeY(int) - Method in class org.kahina.core.visual.dag.KahinaDAGView

getNodeY(int) - Method in class org.kahina.core.visual.tree.KahinaTreeView

getNumberOfSegments() - Method in class org.kahina.core.visual.chart.KahinaChartView

getNumGroups() - Method in class org.kahina.logic.sat.data.cnf.GroupCnfSatInstance

getNumVariables() - Method in class org.kahina.logic.sat.data.cnf.CnfSatInstance

getOpenedFiles() - Method in class org.kahina.core.data.project.KahinaProject

getOut() - Method in class org.kahina.qtype.data.bindings.QTypeGoal

getOutgoingEdges(int) - Method in class org.kahina.core.data.dag.KahinaDAG

getOutgoingEdges(int) - Method in class org.kahina.core.data.dag.KahinaMemDAG

getOutValues() - Method in class org.kahina.sicstus.data.bindings.SICStusPrologVariableBindingSet

getPanel() - Method in class org.kahina.core.edit.breakpoint.BreakpointEditorEvent

getPanel() - Method in class org.kahina.core.gui.event.KahinaEdgeSelectionEvent

getPanel() - Method in class org.kahina.core.gui.event.KahinaSelectionEvent

getPanel() - Method in class org.kahina.logic.sat.muc.task.ReductionAgent

getParent() - Method in class org.kahina.core.data.agent.patterns.TreePatternNode

getParent(int, int) - Method in class org.kahina.core.data.tree.KahinaMemTree

Returns the lowest ancestor of nodeID whose layer is lower than or equals layerID.

getParent(int, int) - Method in class org.kahina.core.data.tree.KahinaTree

getParent(int) - Method in class org.kahina.core.data.tree.KahinaTree

getParent(int, int) - Method in class org.kahina.core.data.tree.KahinaUnlayeredMemTree

getParent(int) - Method in class org.kahina.core.data.tree.KahinaUnlayeredMemTree

getParent(JPanel) - Method in class org.kahina.core.edit.breakpoint.TreeFragmentPanel

getParentCandidateID() - Method in class org.kahina.lp.bridge.LogicProgrammingBridge

getPartialModel(File) - Static method in class org.kahina.logic.sat.io.minisat.MiniSAT

getPartitionBlocks() - Method in class org.kahina.logic.sat.muc.MUCState

getPath() - Method in class org.kahina.core.data.dag.ColoredPath

getPath() - Method in class org.kahina.logic.sat.muc.task.ReductionAgent

getPaths(String) - Method in class org.kahina.tralesld.data.signature.TraleSLDSignature

getPattern() - Method in class org.kahina.core.control.KahinaSimplePropertySensor

Gets the step pattern associated with this control point.

getPattern() - Method in class org.kahina.core.data.agent.KahinaBreakpoint

Gets the tree pattern associated with this breakpoint.

getPattern() - Method in class org.kahina.core.data.agent.patterns.TreeAutomatonRule

Gets the tree node pattern required for the rule to apply.

getPattern() - Method in class org.kahina.core.data.agent.patterns.TreePatternNode

getPerspective() - Method in class org.kahina.core.data.project.KahinaProject

getPerspective() - Method in class org.kahina.core.gui.KahinaGUI

getPerspective() - Method in class org.kahina.core.gui.KahinaWindowManager

Gets the current perspective, can be manipulated and reapplied.

getPerspectiveEventType() - Method in class org.kahina.core.gui.event.KahinaPerspectiveEvent

getPossibleEdgeLabels() - Method in class org.kahina.core.visual.chart.KahinaChartEdgeDisplayDecider

getPreferredScrollableViewportSize() - Method in class org.kahina.core.gui.KahinaTransferablePanel

getPrimaryChildChoice(int) - Method in class org.kahina.core.visual.tree.KahinaListTreeView

getPrimaryModel() - Method in class org.kahina.core.data.tree.KahinaTree

getPrimarySelectionID() - Method in class org.kahina.tralesld.visual.workbench.FeatureWorkbenchViewPanel

getPrimaryWinIDForName(String) - Method in class org.kahina.core.gui.KahinaArrangement

getProfile() - Method in class org.kahina.lp.profiler.LogicProgrammingProfiler

getProfileEntryForStepID(int) - Method in class org.kahina.lp.profiler.LogicProgrammingProfiler

getProfileEntryMapper() - Method in class org.kahina.lp.gui.LogicProgrammingGUI

getProfileEntryMapper() - Method in class org.kahina.tralesld.gui.TraleSLDGUI

getProfiler() - Method in class org.kahina.lp.LogicProgrammingInstance

getProfiler() - Method in class org.kahina.qtype.QTypeDebuggerInstance

getProfiler() - Method in class org.kahina.sicstus.SICStusPrologDebuggerInstance

getProfiler() - Method in class org.kahina.swi.SWIPrologDebuggerInstance

getProfiler() - Method in class org.kahina.tralesld.TraleSLDInstance

getProgramDirectory(Object) - Static method in class org.kahina.core.io.util.ResourceList

getProject() - Method in class org.kahina.core.KahinaInstance

getProjectEventType() - Method in class org.kahina.core.control.KahinaProjectEvent

getProjectStatus() - Method in class org.kahina.core.KahinaInstance

getProperty(String) - Method in class org.kahina.core.edit.source.KahinaJEditPropertyManager

getPrunedClauses(int, CnfSatInstance, MiniSATFiles) - Static method in class org.kahina.logic.sat.test.NecessaryClauseStatistics

getRealizations(String) - Method in class org.kahina.parse.data.cfg.ContextFreeGrammar

getRecursiveBlocks() - Method in class org.kahina.logic.sat.muc.MUCState

getRedone() - Method in class org.kahina.lp.LogicProgrammingStep

getRedrawAgenda() - Method in class org.kahina.core.visual.graph.KahinaGraphView

getReducers() - Method in class org.kahina.logic.sat.muc.MUCState

getReductionHeuristics() - Method in class org.kahina.logic.sat.muc.MUCInstance

getReductionManager() - Method in class org.kahina.logic.sat.muc.MUCInstance

getReferenceNode() - Method in class org.kahina.core.data.tree.KahinaTree

getRefutationNode() - Method in class org.kahina.logic.sat.data.proof.ResolutionProofDAG

getRel() - Method in class org.kahina.core.control.KahinaSimpleProperty

getRelAsString() - Method in class org.kahina.core.control.KahinaSimpleProperty

getRelAsXMLString() - Method in class org.kahina.core.control.KahinaSimpleProperty

getRelationsForType(String) - Method in class org.kahina.core.edit.breakpoint.NodeConstraintOptions

getRelevantAssumptions(int[], int) - Static method in class org.kahina.logic.sat.io.minisat.MiniSAT

getRelevantAssumptions(int, File) - Static method in class org.kahina.logic.sat.io.minisat.MiniSAT

getRemovalLink(int) - Method in class org.kahina.logic.sat.muc.MUCStep

getReplacementAfterRelease(KahinaWindow) - Method in class org.kahina.core.gui.windows.KahinaHorizontallySplitWindow

getReplacementAfterRelease(KahinaWindow) - Method in class org.kahina.core.gui.windows.KahinaListWindow

getReplacementAfterRelease(KahinaWindow) - Method in class org.kahina.core.gui.windows.KahinaMainWindow

getReplacementAfterRelease(KahinaWindow) - Method in class org.kahina.core.gui.windows.KahinaTabbedWindow

getReplacementAfterRelease(KahinaWindow) - Method in class org.kahina.core.gui.windows.KahinaVerticallySplitWindow

getReplacementAfterRelease(KahinaWindow) - Method in class org.kahina.core.gui.windows.KahinaWindow

getRequiredChildAnnotations() - Method in class org.kahina.core.data.agent.patterns.TreeAutomatonRule

Gets the set of child annotations required for the rule to apply.

getResizeWeight(int) - Method in class org.kahina.core.gui.KahinaArrangement

getResolutionVariables(File) - Static method in class org.kahina.logic.sat.io.minisat.MiniSAT

getResources(Pattern) - Static method in class org.kahina.core.io.util.ResourceList

for all elements of java.class.path get a Collection of resources Pattern pattern = Pattern.compile(".*"); gets all resources

getResources(String, Pattern) - Static method in class org.kahina.core.io.util.ResourceList

getResult() - Method in class org.kahina.logic.sat.muc.task.ReductionTask

Retrieve the MUCStep resulting from the reduction (attempt)

getRightArgument() - Method in class org.kahina.core.control.KahinaSimpleProperty

getRightBound() - Method in class org.kahina.core.data.chart.KahinaChart

getRightBound() - Method in class org.kahina.core.data.chart.KahinaMemChart

getRightBoundForEdge(int) - Method in class org.kahina.core.data.chart.KahinaChart

getRightBoundForEdge(int) - Method in class org.kahina.core.data.chart.KahinaMemChart

getRightmostCovered() - Method in class org.kahina.core.data.chart.KahinaChart

getRightmostCovered() - Method in class org.kahina.core.data.chart.KahinaMemChart

getRoot() - Method in class org.kahina.core.data.agent.patterns.TreePattern

getRoot() - Method in class org.kahina.core.edit.breakpoint.TreeFragmentPanel

getRootID(int, int) - Method in class org.kahina.core.data.tree.KahinaMemTree

getRootID(int) - Method in class org.kahina.core.data.tree.KahinaMemTree

getRootID(int) - Method in class org.kahina.core.data.tree.KahinaTree

getRootID(int, int) - Method in class org.kahina.core.data.tree.KahinaTree

getRootID() - Method in class org.kahina.core.data.tree.KahinaTree

getRootID(int) - Method in class org.kahina.core.data.tree.KahinaUnlayeredMemTree

getRootID(int, int) - Method in class org.kahina.core.data.tree.KahinaUnlayeredMemTree

getRootPattern() - Method in class org.kahina.core.edit.breakpoint.SingleNodeConstraintPanel

getRootPositionPolicy() - Method in class org.kahina.core.visual.dag.KahinaDAGViewConfiguration

getRoots() - Method in class org.kahina.core.data.dag.KahinaDAG

getRoots() - Method in class org.kahina.core.data.dag.KahinaMemDAG

getRowCount() - Method in class org.kahina.sicstus.visual.bindings.SICStusPrologVariableBindingTableModel

getRowCount() - Method in class org.kahina.swi.visual.bindings.SWIPrologVariableBindingTableModel

getRowCount() - Method in class org.kahina.tralesld.visual.fs.TraleSLDVariableBindingTableModel

getRules() - Method in class org.kahina.parse.data.cfg.ContextFreeGrammar

getS() - Method in class org.kahina.logic.sat.insertionmus.algorithms.AlgorithmData

getS1() - Method in class org.kahina.logic.sat.insertionmus.iterativ.simpleSAT.main.Tuple

getS2() - Method in class org.kahina.logic.sat.insertionmus.iterativ.simpleSAT.main.Tuple

getSatInstance() - Method in class org.kahina.logic.sat.insertionmus.MUCInstance

getSatInstance() - Method in class org.kahina.logic.sat.insertionmus.MUCState

getSatInstance() - Method in class org.kahina.logic.sat.muc.MUCInstance

getSatInstance() - Method in class org.kahina.logic.sat.muc.MUCState

getScrollableBlockIncrement(Rectangle, int, int) - Method in class org.kahina.core.gui.KahinaTransferablePanel

getScrollableTracksViewportHeight() - Method in class org.kahina.core.gui.KahinaTransferablePanel

getScrollableTracksViewportWidth() - Method in class org.kahina.core.gui.KahinaTransferablePanel

getScrollableUnitIncrement(Rectangle, int, int) - Method in class org.kahina.core.gui.KahinaTransferablePanel

getSecondaryLineShapePolicy() - Method in class org.kahina.core.visual.tree.KahinaTreeViewConfiguration

getSecondaryModel() - Method in class org.kahina.core.visual.tree.KahinaAbstractTreeView

getSecondaryModel() - Method in class org.kahina.core.visual.tree.KahinaLayeredTreeView

getSecondaryModel() - Method in class org.kahina.core.visual.tree.KahinaListTreeView

getSecondaryModel() - Method in class org.kahina.core.visual.tree.KahinaTreeView

getSecondaryStepTree() - Method in class org.kahina.lp.LogicProgrammingState

getSecondID() - Method in class org.kahina.core.data.dag.KahinaDAGEvent

getSecondID() - Method in class org.kahina.core.data.tree.KahinaTreeEvent

getSegmentCaption(int) - Method in class org.kahina.core.data.chart.KahinaChart

getSegmentCaption(int) - Method in class org.kahina.core.data.chart.KahinaMemChart

getSegmentCaption(int) - Method in class org.kahina.core.visual.chart.KahinaChartView

getSegmentOffset(int) - Method in class org.kahina.core.visual.chart.KahinaChartView

getSegmentsWithCaption() - Method in class org.kahina.core.data.chart.KahinaChart

getSegmentsWithCaption() - Method in class org.kahina.core.data.chart.KahinaMemChart

getSegmentWidth(int) - Method in class org.kahina.core.visual.chart.KahinaChartView

getSelectedClauses() - Method in class org.kahina.tulipa.visual.grammar.TulipaGrammarView

getSelectedEdge() - Method in class org.kahina.core.gui.event.KahinaChartUpdateEvent

getSelectedEdge() - Method in class org.kahina.core.gui.event.KahinaEdgeSelectionEvent

getSelectedStep() - Method in class org.kahina.core.gui.event.KahinaSelectionEvent

getSelectedStep() - Method in class org.kahina.core.gui.event.KahinaUpdateEvent

getSelectedStep() - Method in class org.kahina.logic.sat.insertionmus.MUCState

getSelectedStep() - Method in class org.kahina.logic.sat.muc.MUCState

getSelectedStepID() - Method in class org.kahina.core.KahinaState

getSelectedType() - Method in class org.kahina.tralesld.gui.TraleSLDTypeSelectionEvent

getSelectionModel() - Method in class org.kahina.core.visual.text.KahinaTextView

getSensor() - Method in class org.kahina.core.data.agent.KahinaControlAgent

getSensor() - Method in class org.kahina.lp.data.agent.LogicProgrammingControlAgent

getSensor() - Method in class org.kahina.lp.data.breakpoint.LogicProgrammingControlAgent

getSentences() - Method in class org.kahina.parse.data.project.TestSet

getSessionEventType() - Method in class org.kahina.core.control.KahinaSessionEvent

getSiblingTypes(String) - Method in class org.kahina.tralesld.data.signature.TraleSLDSignature

getSignalColor() - Method in class org.kahina.core.data.agent.KahinaBreakpoint

Gets the signal color used for highlighting matches of this breakpoint.

getSignalColor() - Method in class org.kahina.core.data.agent.KahinaControlAgent

Gets the signal color used for highlighting matches of this control point.

getSignalColor() - Method in class org.kahina.logic.sat.muc.task.ReductionAgent

getSignature(String) - Method in class org.kahina.tralesld.bridge.AuxiliaryTraleInstance

Lets the instance compile and return a signature from a file.

getSignature() - Method in class org.kahina.tralesld.data.workbench.FeatureWorkbench

getSignature() - Method in class org.kahina.tralesld.TraleSLDState

getSignatureFile() - Method in class org.kahina.tralesld.data.project.TraleProject

getSignatureFileName() - Method in class org.kahina.tralesld.data.workbench.FeatureWorkbench

getSignatureFileName() - Method in class org.kahina.tralesld.visual.workbench.FeatureWorkbenchView

getSize() - Method in class org.kahina.core.data.agent.KahinaControlAgentProfile

getSize() - Method in class org.kahina.core.data.dag.KahinaDAG

getSize() - Method in class org.kahina.core.data.dag.KahinaMemDAG

getSize() - Method in class org.kahina.core.data.tree.KahinaTree

getSize() - Method in class org.kahina.core.data.tree.KahinaUnlayeredMemTree

getSize() - Method in class org.kahina.logic.sat.data.cnf.CnfSatInstance

getSize() - Method in class org.kahina.logic.sat.data.free.BooleanConstant

getSize() - Method in class org.kahina.logic.sat.data.free.BooleanFormula

getSize() - Method in class org.kahina.logic.sat.data.free.BooleanVariable

getSize() - Method in class org.kahina.logic.sat.data.free.Conjunction

getSize() - Method in class org.kahina.logic.sat.data.free.Disjunction

getSize() - Method in class org.kahina.logic.sat.data.free.Negation

getSize() - Method in class org.kahina.logic.sat.insertionmus.MUCStep

getSize() - Method in class org.kahina.tulipa.data.grammar.TulipaGrammar

getSize() - Method in class org.kahina.tulipa.visual.grammar.TulipaClauseListModel

getSkipPoints() - Method in class org.kahina.lp.data.project.LogicProgrammingProject

getSkipPoints() - Method in class org.kahina.lp.LogicProgrammingInstance

getSourceActions(JComponent) - Method in class org.kahina.core.gui.KahinaWindowTransferHandler

getSourceCodeLocation() - Method in class org.kahina.lp.LogicProgrammingStep

getSpecialVertexColoringPolicy() - Method in class org.kahina.core.visual.graph.KahinaGraphViewConfiguration

getSpecialVertexPositionPolicy() - Method in class org.kahina.core.visual.graph.KahinaGraphViewConfiguration

getStart(int) - Method in class org.kahina.core.visual.tree.WidthVector

getStartNode(int) - Method in class org.kahina.core.data.dag.KahinaDAG

getStartNode(int) - Method in class org.kahina.core.data.dag.KahinaMemDAG

getState() - Method in class org.kahina.core.control.KahinaCodeLinePropertySensor

getState() - Method in class org.kahina.core.KahinaInstance

getState() - Method in class org.kahina.lp.LogicProgrammingInstance

getState() - Method in class org.kahina.tulipa.TulipaInstance

getStatistics() - Method in class org.kahina.logic.sat.muc.MUCState

getStatus() - Method in class org.kahina.core.control.KahinaActivationEvent

getStepCount() - Method in class org.kahina.core.KahinaState

getStepID() - Method in class org.kahina.core.bridge.KahinaStepDescriptionEvent

getStepID() - Method in class org.kahina.core.control.KahinaStepUpdateEvent

getStepID() - Method in class org.kahina.core.data.text.KahinaLineReference

getStepProperty() - Method in class org.kahina.core.control.KahinaCodeLinePropertySensor

getStepProperty() - Method in class org.kahina.core.control.KahinaSimplePropertySensor

getStepProperty() - Method in class org.kahina.core.control.KahinaStepPropertySensor

getSteps() - Method in class org.kahina.core.KahinaState

getStepTree() - Method in class org.kahina.core.data.agent.KahinaControlAgent

getStepTree() - Method in class org.kahina.lp.data.agent.LogicProgrammingControlAgent

getStepTree() - Method in class org.kahina.lp.LogicProgrammingState

getStepType() - Method in class org.kahina.logic.sat.insertionmus.MUCStep

getStepType() - Method in class org.kahina.logic.sat.muc.MUCStep

getStrContent() - Method in class org.kahina.lp.bridge.LogicProgrammingBridgeEvent

getStrContent() - Method in class org.kahina.tralesld.bridge.TraleSLDBridgeEvent

getStrContent() - Method in class org.kahina.tulipa.bridge.TulipaBridgeEvent

getStringContent() - Method in class org.kahina.core.gui.event.KahinaWindowEvent

getStructure(String) - Method in class org.kahina.tralesld.data.workbench.FeatureWorkbench

getSubblocks(int) - Method in class org.kahina.logic.sat.muc.data.RecursiveBlockHandler

getSubsumedClauseIndices(List<Integer>) - Method in class org.kahina.logic.sat.data.cnf.CnfSatInstance

Finds the clauses subsumed by some clause.

getSubtypes(String) - Method in class org.kahina.tralesld.data.signature.TraleSLDSignature

getSummaryInfo() - Method in class org.kahina.logic.sat.muc.visual.UCReducerPanel

getSupertypes(String) - Method in class org.kahina.tralesld.data.signature.TraleSLDSignature

getSymbolForLiteral(int) - Method in class org.kahina.logic.sat.data.KahinaSatInstance

getSymbols() - Method in class org.kahina.parse.data.cfg.ContextFreeGrammar

getSystemEventType() - Method in class org.kahina.core.control.KahinaSystemEvent

getTableModel() - Method in class org.kahina.lp.profiler.LogicProgrammingProfile

getTerminals() - Method in class org.kahina.parse.data.cfg.ContextFreeGrammar

getTerminalsPolicy() - Method in class org.kahina.core.visual.tree.KahinaTreeViewConfiguration

getTestSet() - Method in interface org.kahina.parse.data.project.TestSetExtension

getTestSet() - Method in class org.kahina.tralesld.data.project.TraleProject

getText() - Method in class org.kahina.core.data.text.KahinaLineReference

getTextArea() - Method in class org.kahina.core.edit.source.KahinaJEditPanel

getTheoryFileName() - Method in class org.kahina.tralesld.data.workbench.FeatureWorkbench

getTheoryFileName() - Method in class org.kahina.tralesld.visual.workbench.FeatureWorkbenchView

getTheoryFiles() - Method in class org.kahina.tralesld.data.project.TraleProject

getThreshold() - Method in class org.kahina.core.gui.breakpoint.ThresholdedBreakpointEditPanel

getTitle(int) - Method in class org.kahina.core.gui.KahinaArrangement

getTitle() - Method in class org.kahina.core.gui.KahinaTransferablePanel

getTitle() - Method in class org.kahina.core.visual.KahinaView

getTopLevelWindows() - Method in class org.kahina.core.gui.KahinaArrangement

getTopLevelWindowsWithoutMainWindow() - Method in class org.kahina.core.gui.KahinaArrangement

getTrale() - Method in class org.kahina.tralesld.TraleSLDState

getTrale() - Method in class org.kahina.tralesld.visual.workbench.FeatureWorkbenchView

getTransferablePanelDataFlavor() - Static method in class org.kahina.core.gui.KahinaTransferablePanel

getTransferData(DataFlavor) - Method in class org.kahina.core.gui.KahinaTransferablePanel

getTransferDataFlavors() - Method in class org.kahina.core.gui.KahinaTransferablePanel

getTree() - Method in class org.kahina.qtype.data.bindings.QTypeGoal

getTreeEventType() - Method in class org.kahina.core.data.tree.KahinaTreeEvent

getTreeLayer() - Method in class org.kahina.core.visual.tree.KahinaTreeView

getTreeModel() - Method in class org.kahina.core.visual.tree.KahinaListTreeView

getTreeModel() - Method in class org.kahina.core.visual.tree.KahinaTreeView

getTreePattern() - Method in class org.kahina.core.edit.breakpoint.TreeFragmentPanel

getType() - Method in class org.kahina.core.control.KahinaEvent

getType() - Method in class org.kahina.core.control.KahinaSimpleProperty

getType() - Method in class org.kahina.core.data.agent.KahinaBreakpoint

Gets the type of this breakpoint.

getType(IEntity) - Static method in class org.kahina.tralesld.visual.fs.GraleJUtility

getTypeAsString() - Method in class org.kahina.core.control.KahinaSimpleProperty

getTypeAsXMLString() - Method in class org.kahina.core.control.KahinaSimpleProperty

getTypeRestrictions(String) - Method in class org.kahina.tralesld.data.signature.TraleSLDSignature

getTypes() - Method in class org.kahina.core.edit.breakpoint.NodeConstraintOptions

getTypes() - Method in class org.kahina.tralesld.data.signature.TraleSLDSignature

getTypeString() - Method in class org.kahina.core.control.KahinaSimpleProperty

defines a very short symbolic representation of the type for an atomic pattern
is the empty string for complex nodes or non-standard types
inheriting classes should reimplement this if they add more types, relying on this version for the standard types

getUc() - Method in class org.kahina.logic.sat.insertionmus.MUCStep

getUc() - Method in class org.kahina.logic.sat.muc.MUCStep

getUnassigned(Variable[]) - Method in class org.kahina.logic.sat.insertionmus.iterativ.simpleSAT.main.Clause

getUnassignedIndex(Variable[]) - Method in class org.kahina.logic.sat.insertionmus.iterativ.simpleSAT.main.Clause

getUses(String) - Method in class org.kahina.tralesld.data.signature.TraleSLDSignature

getValue(int) - Method in class org.kahina.logic.sat.data.model.CompleteAssignment

getValue(int) - Method in class org.kahina.logic.sat.data.model.PartialAssignment

getValue(String) - Method in class org.kahina.qtype.gui.QTypeParseExampleAction

getValueAsString() - Method in class org.kahina.core.control.KahinaSimpleProperty

getValueAt(int, int) - Method in class org.kahina.sicstus.visual.bindings.SICStusPrologVariableBindingTableModel

getValueAt(int, int) - Method in class org.kahina.swi.visual.bindings.SWIPrologVariableBindingTableModel

getValueAt(int, int) - Method in class org.kahina.tralesld.visual.fs.TraleSLDVariableBindingTableModel

getValues() - Method in class org.kahina.swi.data.bindings.SWIPrologVariableBindingSet

getValuesForType(String) - Method in class org.kahina.core.edit.breakpoint.NodeConstraintOptions

getValueString() - Method in class org.kahina.core.control.KahinaSimpleProperty

defines a representation of the relation and the value
is the empty string for complex nodes or non-standard relations
inheriting classes should reimplement this if they add more relations or value types, relying on this version for the standard types

getVariableNames() - Method in class org.kahina.sicstus.data.bindings.SICStusPrologVariableBindingSet

getVarName() - Method in class org.kahina.tralesld.data.fs.TraleSLDVariableBinding

getVarRelevanceOrdering() - Method in class org.kahina.logic.sat.data.proof.ResolutionProofTree

getVarRelevanceOrdering(File) - Static method in class org.kahina.logic.sat.io.minisat.MiniSAT

getVertexBorderColor(int) - Method in class org.kahina.core.visual.graph.KahinaGraphView

getVertexColor(int) - Method in class org.kahina.core.visual.graph.KahinaGraphView

getVertexFont(int) - Method in class org.kahina.core.visual.graph.KahinaGraphView

getVertexHeight(int) - Method in class org.kahina.core.visual.graph.KahinaGraphView

getVertexLabel(int) - Method in class org.kahina.core.data.graph.AdjacListsGraph

getVertexLabel(int) - Method in class org.kahina.core.data.graph.KahinaGraph

getVertexShapePolicy() - Method in class org.kahina.core.visual.dag.KahinaDAGViewConfiguration

getVertexShapePolicy() - Method in class org.kahina.core.visual.graph.KahinaGraphViewConfiguration

getVertexStatus(int) - Method in class org.kahina.core.data.graph.AdjacListsGraph

getVertexStatus(int) - Method in class org.kahina.core.data.graph.KahinaGraph

getVertexVisibilityPolicy() - Method in class org.kahina.core.visual.graph.KahinaGraphViewConfiguration

getVertexX(int) - Method in class org.kahina.core.visual.graph.KahinaGraphView

getVertexY(int) - Method in class org.kahina.core.visual.graph.KahinaGraphView

getVerticalDistance() - Method in class org.kahina.core.visual.dag.KahinaDAGViewConfiguration

getVerticalDistance() - Method in class org.kahina.core.visual.tree.KahinaTreeViewConfiguration

getVertices() - Method in class org.kahina.core.data.graph.AdjacListsGraph

getVertices() - Method in class org.kahina.core.data.graph.KahinaGraph

getView(int) - Method in class org.kahina.core.visual.tree.KahinaLayeredTreeView

getViewByID(String) - Method in class org.kahina.core.gui.KahinaGUI

getVisibleChildren(int) - Method in class org.kahina.core.data.dag.KahinaDAG

getVisibleChildren(int) - Method in class org.kahina.core.data.dag.KahinaMemDAG

getVisibleEdgeIDs() - Method in class org.kahina.core.visual.chart.KahinaChartView

getVisibleNeighbors(int) - Method in class org.kahina.core.visual.graph.KahinaGraphView

getVisibleParents(int) - Method in class org.kahina.core.data.dag.KahinaDAG

getVisibleParents(int) - Method in class org.kahina.core.data.dag.KahinaMemDAG

getVisibleVertices() - Method in class org.kahina.core.visual.graph.KahinaGraphView

getVisibleVirtualChildren(KahinaTree, int, int) - Method in class org.kahina.core.visual.tree.KahinaListTreeView

getWarnPoints() - Method in class org.kahina.lp.data.project.LogicProgrammingProject

getWarnPoints() - Method in class org.kahina.lp.LogicProgrammingInstance

getWarnThresholdByBreakpoint() - Method in class org.kahina.core.KahinaState

getWidth(int) - Method in class org.kahina.core.gui.KahinaArrangement

getWindowByID(int) - Method in class org.kahina.core.gui.KahinaWindowManager

getWindowEventType() - Method in class org.kahina.core.gui.event.KahinaWindowEvent

getWindowID() - Method in class org.kahina.core.gui.event.KahinaWindowEvent

getWindowManager() - Method in class org.kahina.core.gui.KahinaGUI

getWindowType(int) - Method in class org.kahina.core.gui.KahinaArrangement

getWindowType() - Method in class org.kahina.core.gui.KahinaControlButtonWindow

getWindowType() - Method in class org.kahina.core.gui.windows.KahinaHorizontallySplitWindow

getWindowType() - Method in class org.kahina.core.gui.windows.KahinaListWindow

getWindowType() - Method in class org.kahina.core.gui.windows.KahinaMainWindow

getWindowType() - Method in class org.kahina.core.gui.windows.KahinaTabbedWindow

getWindowType() - Method in class org.kahina.core.gui.windows.KahinaVerticallySplitWindow

getWindowType() - Method in class org.kahina.core.gui.windows.KahinaWindow

Returns the type of the current window.

getWords() - Method in class org.kahina.parse.data.cfg.ContextFreeGrammar

getXCoordinates() - Method in class org.kahina.core.visual.dag.KahinaDAGView

getXCoordinates() - Method in class org.kahina.core.visual.graph.KahinaGraphView

getXPos(int) - Method in class org.kahina.core.gui.KahinaArrangement

getYCoordinates() - Method in class org.kahina.core.visual.dag.KahinaDAGView

getYCoordinates() - Method in class org.kahina.core.visual.graph.KahinaGraphView

getYPos(int) - Method in class org.kahina.core.gui.KahinaArrangement

getZoomLevel() - Method in class org.kahina.core.visual.chart.KahinaChartViewConfiguration

getZoomLevel() - Method in class org.kahina.core.visual.dag.KahinaDAGViewConfiguration

getZoomLevel() - Method in class org.kahina.core.visual.graph.KahinaGraphViewConfiguration

gez(IEntity, List<String>, String, TraleSLDSignature) - Static method in class org.kahina.tralesld.visual.fs.GraleJUtility

ghost - Variable in class org.kahina.core.visual.tree.KahinaListTreeListEntry

goal - Variable in class org.kahina.qtype.QTypeStep

goalDesc - Variable in class org.kahina.lp.LogicProgrammingStep

GraleJEditorBlockPanel - Class in org.kahina.tralesld.visual.fs

GraleJEditorBlockPanel(IVisitable, List<IRelation>, List<IRelation>) - Constructor for class org.kahina.tralesld.visual.fs.GraleJEditorBlockPanel

gralejToGrisu(IEntity) - Static method in class org.kahina.tralesld.visual.fs.GraleJUtility

GraleJUtility - Class in org.kahina.tralesld.visual.fs

GraleJUtility() - Constructor for class org.kahina.tralesld.visual.fs.GraleJUtility

grammarMenu - Variable in class org.kahina.qtype.gui.QTypeMainWindow

grammarToSat(ContextFreeGrammar, HashMap<String, Integer>, int) - Static method in class org.kahina.logic.sat.io.cnf.CfgToSatConverter

grammarView - Variable in class org.kahina.tulipa.gui.TulipaGUI

GRAPHICALLY_SEPARATED - Static variable in class org.kahina.core.visual.tree.KahinaTreeViewOptions

graphViz() - Method in class org.kahina.tralesld.data.signature.TraleSLDSignature

Prints out a graph representation in GraphViz DOT format.

GREATER - Static variable in class org.kahina.core.control.KahinaSimpleProperty

GREATER_OR_EQUAL - Static variable in class org.kahina.core.control.KahinaSimpleProperty

GridLayouter - Class in org.kahina.core.visual.graph

GridLayouter() - Constructor for class org.kahina.core.visual.graph.GridLayouter

grisuToGralej(String) - Static method in class org.kahina.tralesld.visual.fs.GraleJUtility

GroupCnfSatInstance - Class in org.kahina.logic.sat.data.cnf

GroupCnfSatInstance() - Constructor for class org.kahina.logic.sat.data.cnf.GroupCnfSatInstance

growSelection() - Method in class org.kahina.logic.sat.insertionmus.algorithms.CombinedAlgorithm

gui - Variable in class org.kahina.core.KahinaInstance

H

hasBorder(int) - Method in class org.kahina.core.gui.KahinaArrangement

hasCollapsedAncestor(int) - Method in class org.kahina.core.data.tree.KahinaTree

hashCode() - Method in class org.kahina.core.profiler.ProfileEntry

hashCode(Object...) - Static method in class org.kahina.core.util.ObjectUtil

hashCode(Object) - Static method in class org.kahina.core.util.ObjectUtil

hashCode() - Method in class org.kahina.logic.sat.data.free.BooleanVariable

hashCode() - Method in class org.kahina.logic.sat.data.free.Conjunction

hashCode() - Method in class org.kahina.logic.sat.data.free.Disjunction

hashCode() - Method in class org.kahina.logic.sat.data.free.Negation

hashCode() - Method in class org.kahina.logic.sat.data.free.VarName

hashCode() - Method in class org.kahina.logic.sat.insertionmus.MUCStep

hashCode() - Method in class org.kahina.logic.sat.muc.MUCStep

hashCode() - Method in class org.kahina.tralesld.data.fs.TraleSLDVariableBinding

hasUnaryLink(String, String) - Method in class org.kahina.parse.data.cfg.ContextFreeGrammar

HELP - Static variable in class org.kahina.core.gui.KahinaDialogEvent

heuristic - Variable in class org.kahina.logic.sat.insertionmus.algorithms.Heuristics.InvertAHeuristic

hiddenEdgeLabels - Variable in class org.kahina.core.visual.chart.KahinaChartEdgeDisplayDecider

hiddenEdgeStatus - Variable in class org.kahina.core.visual.chart.KahinaChartEdgeDisplayDecider

hide() - Method in class org.kahina.logic.sat.muc.task.ReductionAgent

hideProgressBar() - Method in class org.kahina.core.visual.KahinaViewPanel

hideStep(int) - Method in class org.kahina.lp.LogicProgrammingState

Calling this method indicates that a step should be hidden in the main tree view because it was skipped over and nevertheless reported by the logic programming system because it is "unskippable".

highestID - Variable in class org.kahina.logic.sat.muc.data.MUCStatistics

hint(String) - Method in class org.kahina.core.edit.breakpoint.BreakpointEditorHintPanel

hint(String, Color) - Method in class org.kahina.core.edit.breakpoint.BreakpointEditorHintPanel

hint(String) - Method in class org.kahina.core.edit.breakpoint.NodeConstraintPanel

hint(String, Color) - Method in class org.kahina.core.edit.breakpoint.NodeConstraintPanel

hint(String) - Method in class org.kahina.core.edit.breakpoint.SingleNodeConstraintPanel

hint(String, Color) - Method in class org.kahina.core.edit.breakpoint.SingleNodeConstraintPanel

hint(String) - Method in class org.kahina.core.edit.breakpoint.TreeFragmentPanel

hint(String, Color) - Method in class org.kahina.core.edit.breakpoint.TreeFragmentPanel

hint(String) - Method in class org.kahina.core.gui.breakpoint.BreakpointTestWindow

hint(String, Color) - Method in class org.kahina.core.gui.breakpoint.BreakpointTestWindow

hint(String) - Method in class org.kahina.core.visual.agent.StepPatternEditorPanel

hint(String, Color) - Method in class org.kahina.core.visual.agent.StepPatternEditorPanel

HORI_SPLIT - Static variable in class org.kahina.core.gui.event.KahinaWindowEventType

HORI_SPLIT_WINDOW - Static variable in class org.kahina.core.gui.windows.KahinaWindowType

HORIZONTAL - Static variable in class org.kahina.core.gui.KahinaViewIntegrationType

hyperlinkUpdate(HyperlinkEvent) - Method in class org.kahina.tralesld.visual.signature.TraleSLDSignatureHyperlinkListener

I

IActivity - Interface in org.kahina.logic.sat.insertionmus.iterativ.simpleSAT.activityHeuristics

Ein Interface dass es ermoeglicht die Aktivity Heuristik auf unterschiedliche arten zu implementieren

IAnalyseConflict - Interface in org.kahina.logic.sat.insertionmus.iterativ.simpleSAT.analyseConflict

ICDCLFactory - Interface in org.kahina.logic.sat.insertionmus.iterativ.simpleSAT.factorys

IChooseInstance - Interface in org.kahina.logic.sat.insertionmus.iterativ.simpleSAT.optimization

IconUtil - Class in org.kahina.core.io.util

IconUtil() - Constructor for class org.kahina.core.io.util.IconUtil

ID - Static variable in class org.kahina.core.control.KahinaSimpleProperty

idCounter - Static variable in class org.kahina.logic.sat.muc.task.ReductionTask

IDENTITY - Static variable in class org.kahina.core.control.KahinaSimpleProperty

ids(IEntity, List<String>) - Static method in class org.kahina.tralesld.visual.fs.GraleJUtility

idxToId(int) - Method in class org.kahina.logic.sat.data.cnf.CnfSatInstance

image - Variable in class org.kahina.core.visual.graph.KahinaGraphViewPanel

image - Variable in class org.kahina.core.visual.tree.KahinaTreeViewPanel

IMPLICATION - Static variable in class org.kahina.core.control.KahinaSimpleProperty

IMPORT_BREAKPOINT - Static variable in class org.kahina.core.edit.breakpoint.BreakpointEditorEvent

IMPORT_BREAKPOINT_PROFILE - Static variable in class org.kahina.core.edit.breakpoint.BreakpointEditorEvent

importBreakpointProfileXML(InputStream) - Method in class org.kahina.core.gui.breakpoint.BreakpointEditorWindow

importBreakpointXML(InputStream) - Method in class org.kahina.core.gui.breakpoint.BreakpointEditorWindow

importControlAgentProfile(Element, LogicProgrammingProject, LogicProgrammingInstance<?, ?, ?, ?>, KahinaTree) - Static method in class org.kahina.lp.data.project.LogicProgrammingProject

importTGF(String) - Static method in class org.kahina.core.data.graph.KahinaGraph

Imports a graph from a file in Trivial Graph Format (TGF).

importXML(Element) - Static method in class org.kahina.core.control.KahinaCodeLineProperty

importXML(Element) - Static method in class org.kahina.core.control.KahinaSimpleProperty

importXML(Element) - Static method in class org.kahina.core.control.KahinaStepProperty

importXML(Element) - Static method in class org.kahina.core.data.agent.KahinaBreakpoint

Constructs a breakpoint from an XML representation as produced by exportXML.

importXML(Element, LogicProgrammingInstance<?, ?, ?, ?>) - Static method in class org.kahina.core.data.agent.KahinaControlAgent

Constructs a control point from an XML representation as produced by exportXML.

importXML(Element, KahinaControlActuator, LogicProgrammingInstance<?, ?, ?, ?>) - Static method in class org.kahina.core.data.agent.KahinaControlAgentProfile

importXML(Element) - Static method in class org.kahina.core.data.agent.patterns.TreePattern

importXML(Element) - Static method in class org.kahina.core.data.agent.patterns.TreePatternNode

importXML(String) - Static method in class org.kahina.core.data.chart.KahinaChart

importXML(Document) - Static method in class org.kahina.core.data.dag.KahinaMemDAG

importXML(Element, KahinaProject) - Static method in class org.kahina.core.data.project.KahinaProject

importXML(Document, LayerDecider) - Static method in class org.kahina.core.data.tree.KahinaMemTree

importXML(Document) - Static method in class org.kahina.core.data.tree.KahinaUnlayeredMemTree

importXML(Element) - Static method in class org.kahina.core.gui.KahinaArrangement

importXML(Element) - Static method in class org.kahina.core.gui.KahinaPerspective

importXML(Document) - Static method in class org.kahina.core.test.TestLayeredTree

importXML(Element) - Static method in class org.kahina.core.visual.chart.KahinaChartViewConfiguration

importXML(Element) - Static method in class org.kahina.core.visual.KahinaViewConfiguration

Default implementation creates an empty KahinaViewConfiguration

importXML(Element) - Static method in class org.kahina.core.visual.tree.KahinaTreeViewConfiguration

importXML(Element, LogicProgrammingInstance<?, ?, ?, ?>) - Static method in class org.kahina.lp.data.agent.LogicProgrammingControlAgent

Constructs a logic programming control point from an XML representation as produced by exportXML.

importXML(Element, KahinaControlActuator, LogicProgrammingInstance<?, ?, ?, ?>) - Static method in class org.kahina.lp.data.agent.LogicProgrammingControlAgentProfile

importXML(Element, LogicProgrammingInstance<?, ?, ?, ?>) - Static method in class org.kahina.lp.data.breakpoint.LogicProgrammingControlAgent

Constructs a logic programming control point from an XML representation as produced by exportXML.

importXML(Element, KahinaControlActuator, LogicProgrammingInstance<?, ?, ?, ?>) - Static method in class org.kahina.lp.data.breakpoint.LogicProgrammingControlAgentProfile

importXML(Element, LogicProgrammingProject, LogicProgrammingInstance<?, ?, ?, ?>, KahinaTree) - Static method in class org.kahina.lp.data.project.LogicProgrammingProject

importXML(Element, QTypeProject, QTypeDebuggerInstance, KahinaTree) - Static method in class org.kahina.qtype.data.project.QTypeProject

importXML(Element, TraleProject, TraleSLDInstance, KahinaTree, File) - Static method in class org.kahina.tralesld.data.project.TraleProject

importXML(Element) - Static method in class org.kahina.tralesld.data.workbench.FeatureWorkbench

inBindings - Variable in class org.kahina.swi.SWIPrologStep

incomingEdges - Variable in class org.kahina.core.data.dag.KahinaMemDAG

increaseActivity(Variable, float) - Method in class org.kahina.logic.sat.insertionmus.iterativ.simpleSAT.activityHeuristics.AbstractActivity

increaseActivity(Variable, float) - Method in interface org.kahina.logic.sat.insertionmus.iterativ.simpleSAT.activityHeuristics.IActivity

increaseActivity(Variable, float) - Method in class org.kahina.logic.sat.insertionmus.iterativ.simpleSAT.activityHeuristics.StaticHeapActivity

increaseHorizontalDistance() - Method in class org.kahina.core.visual.dag.KahinaDAGViewConfiguration

increaseHorizontalDistance() - Method in class org.kahina.core.visual.tree.KahinaTreeViewConfiguration

increaseNodeSize() - Method in class org.kahina.core.visual.dag.KahinaDAGViewConfiguration

increaseNodeSize() - Method in class org.kahina.core.visual.graph.KahinaGraphViewConfiguration

increaseVerticalDistance() - Method in class org.kahina.core.visual.dag.KahinaDAGViewConfiguration

increaseVerticalDistance() - Method in class org.kahina.core.visual.tree.KahinaTreeViewConfiguration

increment() - Method in class org.kahina.core.util.ProgressMonitorWrapper

IncrementalBasicAlgorithm - Class in org.kahina.logic.sat.insertionmus.algorithms

Implementation of the insertion algorithm of J.K.

IncrementalBasicAlgorithm() - Constructor for class org.kahina.logic.sat.insertionmus.algorithms.IncrementalBasicAlgorithm

incrementRedone() - Method in class org.kahina.lp.LogicProgrammingStep

indentation - Variable in class org.kahina.core.visual.tree.KahinaListTreeListEntry

inferCachedInformation() - Method in class org.kahina.tralesld.data.signature.TraleSLDSignature

Fills the introFeats map.

INFO_MESSAGE - Static variable in class org.kahina.tralesld.visual.fs.TraleSLDFeatureEditEvent

infoMessage(String) - Method in class org.kahina.tralesld.visual.fs.TraleSLDFeatureStructureEditor

informControl(BreakpointEditorEvent) - Method in class org.kahina.core.edit.breakpoint.BooleanConnectorPanel

init(ClauseSet) - Method in class org.kahina.logic.sat.insertionmus.iterativ.simpleSAT.activityHeuristics.AbstractActivity

init(ClauseSet) - Method in interface org.kahina.logic.sat.insertionmus.iterativ.simpleSAT.activityHeuristics.IActivity

init(CDCL) - Method in class org.kahina.logic.sat.insertionmus.iterativ.simpleSAT.analyseConflict.DefaultAnalyseConflict

init(CDCL) - Method in class org.kahina.logic.sat.insertionmus.iterativ.simpleSAT.analyseConflict.DisabledLearnMoreAnalyseConflict

init(CDCL) - Method in interface org.kahina.logic.sat.insertionmus.iterativ.simpleSAT.analyseConflict.IAnalyseConflict

init(CDCL) - Method in class org.kahina.logic.sat.insertionmus.iterativ.simpleSAT.analyseConflict.LearnMoreAnalyseConflict

INIT - Static variable in class org.kahina.tulipa.bridge.TulipaBridgeEventType

initialize() - Method in class org.kahina.core.data.chart.KahinaChart

initialize() - Method in class org.kahina.core.gui.KahinaGUI

initialize() - Method in class org.kahina.core.KahinaState

initialize() - Method in class org.kahina.logic.sat.freemuc.FreeMUCState

initialize() - Method in class org.kahina.logic.sat.freemuc.gui.FreeMUCGUI

initialize() - Method in class org.kahina.logic.sat.insertionmus.gui.MUCGUI

initialize() - Method in class org.kahina.logic.sat.insertionmus.MUCState

initialize() - Method in class org.kahina.logic.sat.muc.gui.MUCGUI

initialize() - Method in class org.kahina.logic.sat.muc.MUCState

initialize() - Method in class org.kahina.lp.LogicProgrammingState

initialize() - Method in class org.kahina.qtype.QTypeState

initialize() - Method in class org.kahina.tralesld.TraleSLDState

initializeCreepPoints() - Method in class org.kahina.lp.behavior.LogicProgrammingTreeBehavior

overwrite this to fill the creepPoints list with node patterns describing for which nodes the bridge is to automatically hand over a creep command to the logic programming system

initializeDAG() - Method in class org.kahina.tulipa.behavior.TulipaDAGBehavior

initializeFailPoints() - Method in class org.kahina.lp.behavior.LogicProgrammingTreeBehavior

overwrite this to fill the failPoints list with node patterns describing for which nodes the bridge is to automatically hand over a fail command to the logic programming system

initializeForNewSession() - Method in class org.kahina.qtype.QTypeCommander

initializeNewSession(boolean) - Method in class org.kahina.core.KahinaInstance

initializeParse() - Method in class org.kahina.tulipa.bridge.TulipaBridge

initializePrimaryBreakpoints() - Method in class org.kahina.lp.behavior.LogicProgrammingTreeBehavior

overwrite this to fill the primaryBreakpoints list with node patterns describing at detection of which node patterns in the primary step tree the bridge is to pause leaping or skipping

initializePrimaryWarnPoints() - Method in class org.kahina.lp.behavior.LogicProgrammingTreeBehavior

initializeSecondaryBreakpoints() - Method in class org.kahina.lp.behavior.LogicProgrammingTreeBehavior

overwrite this to fill the secondaryBreakpoints list with node patterns describing at detection of which node patterns in the secondary step tree the bridge is to pause leaping or skipping

initializeSecondaryWarnPoints() - Method in class org.kahina.lp.behavior.LogicProgrammingTreeBehavior

initializeSkipPoints() - Method in class org.kahina.lp.behavior.LogicProgrammingTreeBehavior

overwrite this to fill the skipPoints list with node patterns describing for which nodes the bridge is to hand over a skip command to the logic programming system

initNumRelAsm - Variable in class org.kahina.logic.sat.muc.data.MUCStatistics

initUnits - Variable in class org.kahina.logic.sat.insertionmus.iterativ.simpleSAT.main.ClauseSet

initUnknownWatched(Variable[]) - Method in class org.kahina.logic.sat.insertionmus.iterativ.simpleSAT.main.Clause

Initiates the watched variables when it is unknown if there are free variables

initVarAddition - Variable in class org.kahina.logic.sat.insertionmus.iterativ.simpleSAT.main.ClauseSet

initWatch(Variable[]) - Method in class org.kahina.logic.sat.insertionmus.iterativ.simpleSAT.main.Clause

Initialisiert die watched literals

innerPanel - Variable in class org.kahina.tralesld.visual.fs.TraleSLDFeatureStructureViewPanel

instance - Variable in class org.kahina.core.edit.source.KahinaMultifileJEditPanel

instance - Variable in class org.kahina.logic.sat.data.cnf.ClauseFilter

instance - Variable in class org.kahina.logic.sat.insertionmus.algorithms.AlgorithmData

instance - Variable in class org.kahina.logic.sat.insertionmus.algorithms.CombinedAlgorithm

instance - Variable in class org.kahina.logic.sat.insertionmus.iterativ.simpleSAT.activityHeuristics.AbstractActivity

instance - Variable in class org.kahina.logic.sat.insertionmus.iterativ.simpleSAT.main.CDCL

instanceControl - Variable in class org.kahina.core.KahinaInstance

GUI and views listen to this controller.

instanceFile - Variable in class org.kahina.logic.sat.insertionmus.algorithms.AlgorithmData

instanceIDs - Variable in class org.kahina.logic.sat.insertionmus.algorithms.AlgorithmData

instanceIDs - Variable in class org.kahina.logic.sat.insertionmus.algorithms.CombinedAlgorithm

instanceName - Variable in class org.kahina.logic.sat.muc.data.MUCStatistics

InstanceSizeStatistics - Class in org.kahina.logic.sat.test

InstanceSizeStatistics() - Constructor for class org.kahina.logic.sat.test.InstanceSizeStatistics

integerListToIntArray(List<Integer>) - Static method in class org.kahina.core.util.ListUtil

integrateIncomingNode(int, int) - Method in class org.kahina.lp.behavior.LogicProgrammingTreeBehavior

contains the logic by which the tree is formed out of callstacks called by the event processing routine for a KahinaTreeEvent of type "new step"

integrateInDefaultWindow(KahinaView<?>) - Method in class org.kahina.core.gui.KahinaWindowManager

integrateInHorizontallySplitWindow(int, int, String) - Method in class org.kahina.core.gui.KahinaWindowManager

integrateInVerticallySplitWindow(int, int, String) - Method in class org.kahina.core.gui.KahinaWindowManager

integrateWindows(int, int, int, String) - Method in class org.kahina.core.gui.KahinaGUI

introduceConjunction(KahinaSimpleProperty, KahinaSimpleProperty) - Method in class org.kahina.core.edit.breakpoint.SingleNodeConstraintPanel

introduceDisjunction(KahinaSimpleProperty, KahinaSimpleProperty) - Method in class org.kahina.core.edit.breakpoint.SingleNodeConstraintPanel

introduceImplication(KahinaSimpleProperty, KahinaSimpleProperty) - Method in class org.kahina.core.edit.breakpoint.SingleNodeConstraintPanel

introduceNegation(KahinaSimpleProperty) - Method in class org.kahina.core.edit.breakpoint.SingleNodeConstraintPanel

InvertAHeuristic - Class in org.kahina.logic.sat.insertionmus.algorithms.Heuristics

InvertAHeuristic(ISortingHeuristic) - Constructor for class org.kahina.logic.sat.insertionmus.algorithms.Heuristics.InvertAHeuristic

INVISIBLE - Static variable in class org.kahina.core.visual.KahinaViewVisibility

INVISIBLE_LINES - Static variable in class org.kahina.core.visual.tree.KahinaTreeViewOptions

isActive() - Method in class org.kahina.core.data.agent.KahinaBreakpoint

Checks whether this breakpoint is active.

isActive() - Method in class org.kahina.core.data.agent.KahinaControlAgent

Checks whether this control point is active.

isCanceled() - Method in class org.kahina.core.task.KahinaTask

isCanceled() - Method in class org.kahina.core.util.ProgressMonitorWrapper

isClone() - Method in class org.kahina.core.gui.windows.KahinaWindow

isCollapsed(int) - Method in class org.kahina.core.data.dag.KahinaDAG

isCollapsed(int) - Method in class org.kahina.core.data.dag.KahinaMemDAG

isCollapsed(int) - Method in class org.kahina.core.data.tree.KahinaTree

isCollapsed(int) - Method in class org.kahina.core.data.tree.KahinaUnlayeredMemTree

isConjunct(int) - Method in class org.kahina.logic.sat.visual.free.FormulaTreeView

isConjunction(int) - Method in class org.kahina.logic.sat.visual.free.FormulaTreeView

isContentWindow() - Method in class org.kahina.core.gui.windows.KahinaDefaultWindow

isContentWindow() - Method in class org.kahina.core.gui.windows.KahinaWindow

isDataFlavorSupported(DataFlavor) - Method in class org.kahina.core.gui.KahinaTransferablePanel

isDisplayedLabel(String) - Method in class org.kahina.core.visual.chart.KahinaChartEdgeDisplayDecider

isDontCareClause(int) - Method in class org.kahina.logic.sat.data.cnf.CnfSatInstance

isDummyTask() - Method in class org.kahina.logic.sat.muc.task.ReductionTask

isDummyWindow() - Method in class org.kahina.core.gui.windows.KahinaDummyWindow

isDummyWindow() - Method in class org.kahina.core.gui.windows.KahinaWindow

isEdgeVisible(int, int) - Method in class org.kahina.core.visual.graph.KahinaGraphView

isEnabled() - Method in class org.kahina.qtype.gui.QTypeParseExampleAction

isFinished() - Method in class org.kahina.core.task.KahinaTask

isFinished() - Method in class org.kahina.logic.sat.insertionmus.algorithms.BasicAlgorithm

is the MUS calculated?

isFinished() - Method in class org.kahina.logic.sat.insertionmus.algorithms.IncrementalBasicAlgorithm

is the MUS calculated?

isFlippableWindow() - Method in class org.kahina.core.gui.windows.KahinaHorizontallySplitWindow

isFlippableWindow() - Method in class org.kahina.core.gui.windows.KahinaVerticallySplitWindow

isFlippableWindow() - Method in class org.kahina.core.gui.windows.KahinaWindow

isHiddenLabel(String) - Method in class org.kahina.core.visual.chart.KahinaChartEdgeDisplayDecider

isInBatchMode() - Method in class org.kahina.logic.sat.muc.bridge.MUCBridge

isMus - Variable in class org.kahina.logic.sat.insertionmus.algorithms.AlgorithmData

isMUS() - Method in class org.kahina.logic.sat.insertionmus.algorithms.AlgorithmData

isNodeVisible(int) - Method in class org.kahina.core.visual.dag.KahinaDAGView

ISortingHeuristic - Interface in org.kahina.logic.sat.insertionmus.algorithms.Heuristics

isPaused() - Method in class org.kahina.lp.bridge.LogicProgrammingBridge

isPruned() - Method in class org.kahina.logic.sat.data.free.BooleanFormula

isQueryRoot(int) - Method in class org.kahina.lp.bridge.LogicProgrammingBridge

Call to check if a given step has the special property of being the query root, i.e.

isQueryRoot(int) - Method in class org.kahina.prolog.bridge.PrologBridge

The Prolog tracers have a virtual root, allowing for Redoing the query root.

isRedone() - Method in class org.kahina.lp.LogicProgrammingStep

isSatisfiable(File, File) - Static method in class org.kahina.logic.sat.io.minisat.MiniSAT

isSatisfiable() - Method in class org.kahina.logic.sat.muc.MUCStep

isScrollable(int) - Method in class org.kahina.core.gui.KahinaArrangement

isSecondDimensionDisplayed() - Method in class org.kahina.core.visual.tree.KahinaListTreeView

isSecondDimensionDisplayed() - Method in class org.kahina.core.visual.tree.KahinaTreeView

isSecondDimensionDisplayed() - Method in class org.kahina.core.visual.tree.KahinaTreeViewConfiguration

isTautology() - Method in class org.kahina.logic.sat.insertionmus.iterativ.simpleSAT.main.Clause

Testet ob diese Klausel eine Tautologie ist

isTopLevelWindow(KahinaWindow) - Method in class org.kahina.core.gui.KahinaWindowManager

isTopLevelWindow() - Method in class org.kahina.core.gui.windows.KahinaWindow

isVertexSpecial(int) - Method in class org.kahina.core.visual.graph.KahinaGraphView

isVertexVisible(int) - Method in class org.kahina.core.visual.graph.KahinaGraphView

isVisible(int) - Method in class org.kahina.core.gui.KahinaPerspective

isVisible() - Method in class org.kahina.core.visual.KahinaView

itd(IEntity, List<String>, List<String>, TraleSLDSignature) - Static method in class org.kahina.tralesld.visual.fs.GraleJUtility

itemDesc - Variable in class org.kahina.tulipa.TulipaStep

itemIDConv - Variable in class org.kahina.tulipa.bridge.TulipaBridge

iterator() - Method in class org.kahina.logic.sat.muc.data.UCReducerList

iterator() - Method in class org.kahina.tralesld.data.fs.TraleSLDVariableBindingSet

IUnitPropagation - Interface in org.kahina.logic.sat.insertionmus.iterativ.simpleSAT.unitPropagation

J

join(String, Iterable<?>) - Static method in class org.kahina.core.util.ListUtil

K

kahina - Variable in class org.kahina.core.behavior.KahinaBehavior

The KahinaInstance this behavior is connected to

kahina - Variable in class org.kahina.core.bridge.KahinaBridge

kahina - Variable in class org.kahina.core.control.KahinaControlActuator

kahina - Variable in class org.kahina.core.data.agent.KahinaControlAgent

kahina - Variable in class org.kahina.core.gui.breakpoint.BreakpointEditorWindow

kahina - Variable in class org.kahina.core.gui.KahinaGUI

kahina - Variable in class org.kahina.core.gui.KahinaWindowManager

kahina - Variable in class org.kahina.core.gui.windows.KahinaWindow

kahina - Variable in class org.kahina.core.KahinaState

kahina - Variable in class org.kahina.core.visual.dag.KahinaDAGViewPanel

kahina - Variable in class org.kahina.core.visual.KahinaView

kahina - Variable in class org.kahina.core.visual.tree.KahinaTreeViewListener

kahina - Static variable in class org.kahina.logic.sat.muc.test.MinUnsatCore

kahina - Variable in class org.kahina.lp.data.project.LogicProgrammingProject

kahina - Variable in class org.kahina.lp.gui.LogicProgrammingGUI

kahina - Variable in class org.kahina.lp.profiler.LogicProgrammingProfiler

KahinaAbstractTreeView - Class in org.kahina.core.visual.tree

KahinaAbstractTreeView(KahinaInstance<?, ?, ?, ?>) - Constructor for class org.kahina.core.visual.tree.KahinaAbstractTreeView

KahinaActivationEvent - Class in org.kahina.core.control

KahinaActivationEvent(String, KahinaActivationStatus) - Constructor for class org.kahina.core.control.KahinaActivationEvent

KahinaActivationStatus - Enum in org.kahina.core.control

KahinaArrangement - Class in org.kahina.core.gui

Storage for window configurations in a perspective.

KahinaArrangement() - Constructor for class org.kahina.core.gui.KahinaArrangement

KahinaBehavior<T extends KahinaObject> - Class in org.kahina.core.behavior

The generic ancestor class of all behavior classes.

KahinaBehavior(T, KahinaInstance) - Constructor for class org.kahina.core.behavior.KahinaBehavior

Class constructor specifying the controlled object and the KahinaInstance that it is connected to.

KahinaBreakpoint - Class in org.kahina.core.data.agent

A breakpoint based on a tree pattern as used by the Kahina breakpoint system.

KahinaBreakpoint(int) - Constructor for class org.kahina.core.data.agent.KahinaBreakpoint

Class constructor specifying the breakpoint type as an integer constant.

KahinaBreakpointEditor - Class in org.kahina.core.edit.breakpoint

KahinaBreakpointEditor(KahinaInstance<?, ?, ?, ?>) - Constructor for class org.kahina.core.edit.breakpoint.KahinaBreakpointEditor

KahinaBreakpointEditorPanel - Class in org.kahina.core.edit.breakpoint

KahinaBreakpointEditorPanel(KahinaInstance<?, ?, ?, ?>) - Constructor for class org.kahina.core.edit.breakpoint.KahinaBreakpointEditorPanel

KahinaBreakpointFactory - Class in org.kahina.core.data.agent

A collection of convenience methods for creating simple breakpoints.

KahinaBreakpointFactory() - Constructor for class org.kahina.core.data.agent.KahinaBreakpointFactory

KahinaBreakpointProfile - Class in org.kahina.core.data.agent

KahinaBreakpointProfile() - Constructor for class org.kahina.core.data.agent.KahinaBreakpointProfile

KahinaBreakpointProfileEditor - Class in org.kahina.core.edit.breakpoint

KahinaBreakpointProfileEditor(KahinaInstance<?, ?, ?, ?>) - Constructor for class org.kahina.core.edit.breakpoint.KahinaBreakpointProfileEditor

KahinaBreakpointProfileEditorPanel - Class in org.kahina.core.edit.breakpoint

KahinaBreakpointProfileEditorPanel(KahinaInstance<?, ?, ?, ?>) - Constructor for class org.kahina.core.edit.breakpoint.KahinaBreakpointProfileEditorPanel

KahinaBreakpointType - Class in org.kahina.core.data.agent

A selection of constant symbols defining meaningful values for the type property of a KahinaBreakpoint.

KahinaBreakpointType() - Constructor for class org.kahina.core.data.agent.KahinaBreakpointType

KahinaBridge - Class in org.kahina.core.bridge

policy: bridges may only operate directly on steps, not on complex structures (behaviors for that purpose)

KahinaBridge(KahinaInstance<?, ?, ?, ?>) - Constructor for class org.kahina.core.bridge.KahinaBridge

KahinaChart - Class in org.kahina.core.data.chart

KahinaChart() - Constructor for class org.kahina.core.data.chart.KahinaChart

KahinaChartEdgeDisplayDecider - Class in org.kahina.core.visual.chart

KahinaChartEdgeDisplayDecider() - Constructor for class org.kahina.core.visual.chart.KahinaChartEdgeDisplayDecider

KahinaChartTest - Class in org.kahina.core.test

KahinaChartTest() - Constructor for class org.kahina.core.test.KahinaChartTest

KahinaChartUpdateEvent - Class in org.kahina.core.gui.event

KahinaChartUpdateEvent(int) - Constructor for class org.kahina.core.gui.event.KahinaChartUpdateEvent

KahinaChartView - Class in org.kahina.core.visual.chart

KahinaChartView(KahinaInstance<?, ?, ?, ?>) - Constructor for class org.kahina.core.visual.chart.KahinaChartView

KahinaChartView(KahinaChart, KahinaInstance<?, ?, ?, ?>) - Constructor for class org.kahina.core.visual.chart.KahinaChartView

KahinaChartViewConfiguration - Class in org.kahina.core.visual.chart

KahinaChartViewConfiguration() - Constructor for class org.kahina.core.visual.chart.KahinaChartViewConfiguration

KahinaChartViewContextMenu - Class in org.kahina.core.visual.chart

KahinaChartViewContextMenu(ActionListener, KahinaChartView) - Constructor for class org.kahina.core.visual.chart.KahinaChartViewContextMenu

KahinaChartViewListener - Class in org.kahina.core.visual.chart

KahinaChartViewListener(KahinaChartViewPanel, KahinaInstance<?, ?, ?, ?>) - Constructor for class org.kahina.core.visual.chart.KahinaChartViewListener

KahinaChartViewOptions - Class in org.kahina.core.visual.chart

KahinaChartViewOptions() - Constructor for class org.kahina.core.visual.chart.KahinaChartViewOptions

KahinaChartViewPanel - Class in org.kahina.core.visual.chart

KahinaChartViewPanel(KahinaInstance<?, ?, ?, ?>) - Constructor for class org.kahina.core.visual.chart.KahinaChartViewPanel

KahinaCodeLineProperty - Class in org.kahina.core.control

KahinaCodeLineProperty(KahinaSourceCodeLocation) - Constructor for class org.kahina.core.control.KahinaCodeLineProperty

KahinaCodeLinePropertySensor - Class in org.kahina.core.control

KahinaCodeLinePropertySensor(KahinaControlAgent, LogicProgrammingState, KahinaCodeLineProperty) - Constructor for class org.kahina.core.control.KahinaCodeLinePropertySensor

KahinaConsoleLineEvent - Class in org.kahina.core.gui.event

KahinaConsoleLineEvent(Set<KahinaLineReference>) - Constructor for class org.kahina.core.gui.event.KahinaConsoleLineEvent

KahinaControlActuator - Class in org.kahina.core.control

KahinaControlActuator(KahinaInstance<?, ?, ?, ?>) - Constructor for class org.kahina.core.control.KahinaControlActuator

KahinaControlAgent - Class in org.kahina.core.data.agent

KahinaControlAgent(LogicProgrammingInstance<?, ?, ?, ?>) - Constructor for class org.kahina.core.data.agent.KahinaControlAgent

Class constructor for control points.

KahinaControlAgentContextMenu - Class in org.kahina.core.visual.agent

KahinaControlAgentContextMenu(KahinaControlAgentListener, KahinaControlAgentProfileListener, KahinaControlAgentViewPanel) - Constructor for class org.kahina.core.visual.agent.KahinaControlAgentContextMenu

KahinaControlAgentListener - Class in org.kahina.core.visual.agent

KahinaControlAgentListener() - Constructor for class org.kahina.core.visual.agent.KahinaControlAgentListener

KahinaControlAgentProfile - Class in org.kahina.core.data.agent

KahinaControlAgentProfile(KahinaControlActuator) - Constructor for class org.kahina.core.data.agent.KahinaControlAgentProfile

Builds a profile consisting of control points with a common actuator.

KahinaControlAgentProfileListener - Class in org.kahina.core.visual.agent

KahinaControlAgentProfileListener(KahinaControlAgentProfileViewPanel, LogicProgrammingInstance<?, ?, ?, ?>) - Constructor for class org.kahina.core.visual.agent.KahinaControlAgentProfileListener

KahinaControlAgentProfileView - Class in org.kahina.core.visual.agent

KahinaControlAgentProfileView(LogicProgrammingInstance<?, ?, ?, ?>) - Constructor for class org.kahina.core.visual.agent.KahinaControlAgentProfileView

KahinaControlAgentProfileViewPanel - Class in org.kahina.core.visual.agent

KahinaControlAgentProfileViewPanel(LogicProgrammingInstance<?, ?, ?, ?>) - Constructor for class org.kahina.core.visual.agent.KahinaControlAgentProfileViewPanel

KahinaControlAgentView - Class in org.kahina.core.visual.agent

KahinaControlAgentView(KahinaInstance<?, ?, ?, ?>) - Constructor for class org.kahina.core.visual.agent.KahinaControlAgentView

KahinaControlAgentViewPanel - Class in org.kahina.core.visual.agent

KahinaControlAgentViewPanel(KahinaInstance<?, ?, ?, ?>) - Constructor for class org.kahina.core.visual.agent.KahinaControlAgentViewPanel

KahinaControlAgentViewPanel(KahinaInstance<?, ?, ?, ?>, KahinaControlAgentProfileListener, KahinaControlAgentListener) - Constructor for class org.kahina.core.visual.agent.KahinaControlAgentViewPanel

KahinaControlButton - Class in org.kahina.core.gui

KahinaControlButton(String, String, String) - Constructor for class org.kahina.core.gui.KahinaControlButton

KahinaControlButton(String, String, String, int) - Constructor for class org.kahina.core.gui.KahinaControlButton

KahinaControlButtonWindow - Class in org.kahina.core.gui

KahinaControlButtonWindow(KahinaWindowManager, KahinaInstance<?, ?, ?, ?>) - Constructor for class org.kahina.core.gui.KahinaControlButtonWindow

KahinaControlButtonWindow(KahinaWindowManager, KahinaInstance<?, ?, ?, ?>, int) - Constructor for class org.kahina.core.gui.KahinaControlButtonWindow

KahinaControlEvent - Class in org.kahina.core.control

KahinaControlEvent(String) - Constructor for class org.kahina.core.control.KahinaControlEvent

KahinaControlEvent(String, Object[]) - Constructor for class org.kahina.core.control.KahinaControlEvent

KahinaController - Class in org.kahina.core.control

The central broker for event handling and passing of messages.

KahinaController(KahinaLogger) - Constructor for class org.kahina.core.control.KahinaController

KahinaControlPointMenu - Class in org.kahina.core.gui.menus

KahinaControlPointMenu(KahinaInstance<?, ?, ?, ?>) - Constructor for class org.kahina.core.gui.menus.KahinaControlPointMenu

KahinaDAG - Class in org.kahina.core.data.dag

KahinaDAG() - Constructor for class org.kahina.core.data.dag.KahinaDAG

KahinaDAGBehavior - Class in org.kahina.core.behavior

The ancestor class of all DAG behavior classes.

KahinaDAGBehavior(KahinaDAG, KahinaInstance) - Constructor for class org.kahina.core.behavior.KahinaDAGBehavior

Class constructor specifying the controlled DAG and the KahinaInstance that it is connected to.

KahinaDAGEvent - Class in org.kahina.core.data.dag

KahinaDAGEvent(int, int, int) - Constructor for class org.kahina.core.data.dag.KahinaDAGEvent

KahinaDAGEventType - Class in org.kahina.core.data.dag

KahinaDAGEventType() - Constructor for class org.kahina.core.data.dag.KahinaDAGEventType

KahinaDAGLayouter - Class in org.kahina.core.visual.dag

KahinaDAGLayouter() - Constructor for class org.kahina.core.visual.dag.KahinaDAGLayouter

KahinaDAGTest - Class in org.kahina.core.test

KahinaDAGTest() - Constructor for class org.kahina.core.test.KahinaDAGTest

KahinaDAGView - Class in org.kahina.core.visual.dag

KahinaDAGView(KahinaInstance<?, ?, ?, ?>, KahinaDAGLayouter) - Constructor for class org.kahina.core.visual.dag.KahinaDAGView

KahinaDAGViewConfiguration - Class in org.kahina.core.visual.dag

KahinaDAGViewConfiguration() - Constructor for class org.kahina.core.visual.dag.KahinaDAGViewConfiguration

KahinaDAGViewContextMenu - Class in org.kahina.core.visual.dag

KahinaDAGViewContextMenu(ActionListener, KahinaDAGView) - Constructor for class org.kahina.core.visual.dag.KahinaDAGViewContextMenu

KahinaDAGViewListener - Class in org.kahina.core.visual.dag

KahinaDAGViewListener(KahinaDAGViewPanel, KahinaInstance<?, ?, ?, ?>) - Constructor for class org.kahina.core.visual.dag.KahinaDAGViewListener

KahinaDAGViewOptions - Class in org.kahina.core.visual.dag

KahinaDAGViewOptions() - Constructor for class org.kahina.core.visual.dag.KahinaDAGViewOptions

KahinaDAGViewPanel - Class in org.kahina.core.visual.dag

KahinaDAGViewPanel(KahinaInstance<?, ?, ?, ?>) - Constructor for class org.kahina.core.visual.dag.KahinaDAGViewPanel

KahinaDefaultInstance - Class in org.kahina.core

KahinaDefaultInstance() - Constructor for class org.kahina.core.KahinaDefaultInstance

KahinaDefaultTextView - Class in org.kahina.core.visual.text

KahinaDefaultTextView(KahinaInstance<?, ?, ?, ?>) - Constructor for class org.kahina.core.visual.text.KahinaDefaultTextView

KahinaDefaultView - Class in org.kahina.core.visual

KahinaDefaultView(KahinaInstance<?, ?, ?, ?>) - Constructor for class org.kahina.core.visual.KahinaDefaultView

KahinaDefaultViewPanel - Class in org.kahina.core.visual

KahinaDefaultViewPanel() - Constructor for class org.kahina.core.visual.KahinaDefaultViewPanel

KahinaDefaultWindow - Class in org.kahina.core.gui.windows

KahinaDefaultWindow(KahinaView<?>, KahinaWindowManager, KahinaInstance<?, ?, ?, ?>) - Constructor for class org.kahina.core.gui.windows.KahinaDefaultWindow

KahinaDefaultWindow(KahinaView<?>, KahinaWindowManager, KahinaInstance<?, ?, ?, ?>, int) - Constructor for class org.kahina.core.gui.windows.KahinaDefaultWindow

KahinaDialogEvent - Class in org.kahina.core.gui

KahinaDialogEvent(int) - Constructor for class org.kahina.core.gui.KahinaDialogEvent

KahinaDialogEvent(int, Object[]) - Constructor for class org.kahina.core.gui.KahinaDialogEvent

KahinaDropTargetListener - Class in org.kahina.core.gui.windows

KahinaDropTargetListener(KahinaWindow) - Constructor for class org.kahina.core.gui.windows.KahinaDropTargetListener

KahinaDummyWindow - Class in org.kahina.core.gui.windows

KahinaDummyWindow(KahinaWindowManager, KahinaInstance<?, ?, ?, ?>) - Constructor for class org.kahina.core.gui.windows.KahinaDummyWindow

KahinaEdgeSelectionEvent - Class in org.kahina.core.gui.event

Event to indicate a certain chart edge has been "marked" in a chart and all interested parties should be updated accordingly.

KahinaEdgeSelectionEvent(int) - Constructor for class org.kahina.core.gui.event.KahinaEdgeSelectionEvent

KahinaEdgeSelectionEvent(int, KahinaChartViewPanel) - Constructor for class org.kahina.core.gui.event.KahinaEdgeSelectionEvent

KahinaEmptyView - Class in org.kahina.core.visual

KahinaEmptyView(KahinaInstance<?, ?, ?, ?>) - Constructor for class org.kahina.core.visual.KahinaEmptyView

KahinaEmptyViewPanel - Class in org.kahina.core.visual

KahinaEmptyViewPanel() - Constructor for class org.kahina.core.visual.KahinaEmptyViewPanel

KahinaEvent - Class in org.kahina.core.control

KahinaEvent(String) - Constructor for class org.kahina.core.control.KahinaEvent

KahinaEventTypes - Interface in org.kahina.core.control

KahinaException - Exception in org.kahina.core

KahinaException(String) - Constructor for exception org.kahina.core.KahinaException

KahinaException(String, Throwable) - Constructor for exception org.kahina.core.KahinaException

KahinaGraph - Class in org.kahina.core.data.graph

KahinaGraph() - Constructor for class org.kahina.core.data.graph.KahinaGraph

KahinaGraphLayouter - Class in org.kahina.core.visual.graph

KahinaGraphLayouter() - Constructor for class org.kahina.core.visual.graph.KahinaGraphLayouter

KahinaGraphTest - Class in org.kahina.core.test

KahinaGraphTest() - Constructor for class org.kahina.core.test.KahinaGraphTest

KahinaGraphView - Class in org.kahina.core.visual.graph

KahinaGraphView(KahinaInstance<?, ?, ?, ?>, KahinaGraphLayouter) - Constructor for class org.kahina.core.visual.graph.KahinaGraphView

KahinaGraphViewConfiguration - Class in org.kahina.core.visual.graph

KahinaGraphViewConfiguration() - Constructor for class org.kahina.core.visual.graph.KahinaGraphViewConfiguration

KahinaGraphViewContextMenu - Class in org.kahina.core.visual.graph

KahinaGraphViewContextMenu(ActionListener, KahinaGraphView) - Constructor for class org.kahina.core.visual.graph.KahinaGraphViewContextMenu

KahinaGraphViewListener - Class in org.kahina.core.visual.graph

KahinaGraphViewListener(KahinaGraphViewPanel) - Constructor for class org.kahina.core.visual.graph.KahinaGraphViewListener

KahinaGraphViewOptions - Class in org.kahina.core.visual.graph

KahinaGraphViewOptions() - Constructor for class org.kahina.core.visual.graph.KahinaGraphViewOptions

KahinaGraphViewPanel - Class in org.kahina.core.visual.graph

KahinaGraphViewPanel(KahinaInstance<?, ?, ?, ?>) - Constructor for class org.kahina.core.visual.graph.KahinaGraphViewPanel

KahinaGraphViewTaskManager - Class in org.kahina.core.visual.graph

KahinaGraphViewTaskManager(KahinaGraphViewPanel) - Constructor for class org.kahina.core.visual.graph.KahinaGraphViewTaskManager

KahinaGroupSatInstanceGraphView - Class in org.kahina.logic.sat.visual.cnf.graph

KahinaGroupSatInstanceGraphView(KahinaInstance<?, ?, ?, ?>, KahinaGraphLayouter) - Constructor for class org.kahina.logic.sat.visual.cnf.graph.KahinaGroupSatInstanceGraphView

KahinaGUI - Class in org.kahina.core.gui

KahinaGUI(Class<? extends KahinaStep>, KahinaInstance<?, ?, ?, ?>) - Constructor for class org.kahina.core.gui.KahinaGUI

KahinaHelpMenu - Class in org.kahina.core.gui.menus

KahinaHelpMenu(KahinaInstance<?, ?, ?, ?>) - Constructor for class org.kahina.core.gui.menus.KahinaHelpMenu

KahinaHorizontallySplitWindow - Class in org.kahina.core.gui.windows

KahinaHorizontallySplitWindow(KahinaWindowManager, KahinaInstance<?, ?, ?, ?>) - Constructor for class org.kahina.core.gui.windows.KahinaHorizontallySplitWindow

KahinaHorizontallySplitWindow(KahinaWindowManager, KahinaInstance<?, ?, ?, ?>, int) - Constructor for class org.kahina.core.gui.windows.KahinaHorizontallySplitWindow

KahinaInstance<S extends KahinaState,G extends KahinaGUI,B extends KahinaBridge,P extends KahinaProject> - Class in org.kahina.core

KahinaInstance() - Constructor for class org.kahina.core.KahinaInstance

KahinaJEditActionListener - Class in org.kahina.core.edit.source

KahinaJEditActionListener(LogicProgrammingInstance<?, ?, ?, ?>, KahinaJEditPanel) - Constructor for class org.kahina.core.edit.source.KahinaJEditActionListener

KahinaJEditPanel - Class in org.kahina.core.edit.source

KahinaJEditPanel(File, LogicProgrammingInstance<?, ?, ?, ?>) - Constructor for class org.kahina.core.edit.source.KahinaJEditPanel

KahinaJEditPropertyManager - Class in org.kahina.core.edit.source

KahinaJEditPropertyManager() - Constructor for class org.kahina.core.edit.source.KahinaJEditPropertyManager

KahinaJEditSourceCodeView - Class in org.kahina.core.visual.source

KahinaJEditSourceCodeView(LogicProgrammingInstance<?, ?, ?, ?>) - Constructor for class org.kahina.core.visual.source.KahinaJEditSourceCodeView

KahinaJEditSourceCodeViewPanel - Class in org.kahina.core.visual.source

KahinaJEditSourceCodeViewPanel(LogicProgrammingInstance<?, ?, ?, ?>) - Constructor for class org.kahina.core.visual.source.KahinaJEditSourceCodeViewPanel

KahinaJEditTextArea - Class in org.kahina.core.edit.source

KahinaJEditTextArea(IPropertyManager, ActionListener) - Constructor for class org.kahina.core.edit.source.KahinaJEditTextArea

KahinaLayeredTreeView - Class in org.kahina.core.visual.tree

KahinaLayeredTreeView(KahinaLayeredTreeViewPanel.Orientation, KahinaInstance<?, ?, ?, ?>, int...) - Constructor for class org.kahina.core.visual.tree.KahinaLayeredTreeView

KahinaLayeredTreeView(boolean, KahinaLayeredTreeViewPanel.Orientation, KahinaInstance<?, ?, ?, ?>, int...) - Constructor for class org.kahina.core.visual.tree.KahinaLayeredTreeView

KahinaLayeredTreeViewPanel - Class in org.kahina.core.visual.tree

KahinaLayeredTreeViewPanel(int, KahinaTreeViewMarker, KahinaInstance<?, ?, ?, ?>, KahinaLayeredTreeViewPanel.Orientation) - Constructor for class org.kahina.core.visual.tree.KahinaLayeredTreeViewPanel

KahinaLayeredTreeViewPanel.Orientation - Enum in org.kahina.core.visual.tree

KahinaLineReference - Class in org.kahina.core.data.text

KahinaLineReference() - Constructor for class org.kahina.core.data.text.KahinaLineReference

KahinaLineReference(int, int) - Constructor for class org.kahina.core.data.text.KahinaLineReference

KahinaLineReference(KahinaTextModel, int, int) - Constructor for class org.kahina.core.data.text.KahinaLineReference

KahinaListener - Interface in org.kahina.core.control

KahinaListTreeListEntry - Class in org.kahina.core.visual.tree

KahinaListTreeListEntry() - Constructor for class org.kahina.core.visual.tree.KahinaListTreeListEntry

KahinaListTreeListRenderer - Class in org.kahina.core.visual.tree

KahinaListTreeListRenderer(KahinaListTreeViewPanel, int) - Constructor for class org.kahina.core.visual.tree.KahinaListTreeListRenderer

KahinaListTreeView - Class in org.kahina.core.visual.tree

KahinaListTreeView(KahinaInstance<?, ?, ?, ?>, int...) - Constructor for class org.kahina.core.visual.tree.KahinaListTreeView

KahinaListTreeViewPanel - Class in org.kahina.core.visual.tree

KahinaListTreeViewPanel(int, KahinaInstance<?, ?, ?, ?>) - Constructor for class org.kahina.core.visual.tree.KahinaListTreeViewPanel

KahinaListWindow - Class in org.kahina.core.gui.windows

KahinaListWindow(KahinaWindowManager, KahinaInstance<?, ?, ?, ?>) - Constructor for class org.kahina.core.gui.windows.KahinaListWindow

KahinaListWindow(KahinaWindowManager, KahinaInstance<?, ?, ?, ?>, int) - Constructor for class org.kahina.core.gui.windows.KahinaListWindow

KahinaLogger - Class in org.kahina.core.profiler

KahinaLogger(String) - Constructor for class org.kahina.core.profiler.KahinaLogger

KahinaMainWindow - Class in org.kahina.core.gui.windows

KahinaMainWindow(KahinaWindowManager, KahinaInstance<?, ?, ?, ?>) - Constructor for class org.kahina.core.gui.windows.KahinaMainWindow

KahinaMainWindow(KahinaWindowManager, KahinaInstance<?, ?, ?, ?>, int) - Constructor for class org.kahina.core.gui.windows.KahinaMainWindow

KahinaMemChart - Class in org.kahina.core.data.chart

KahinaMemChart() - Constructor for class org.kahina.core.data.chart.KahinaMemChart

KahinaMemDAG - Class in org.kahina.core.data.dag

KahinaMemDAG() - Constructor for class org.kahina.core.data.dag.KahinaMemDAG

KahinaMemTree - Class in org.kahina.core.data.tree

KahinaMemTree() - Constructor for class org.kahina.core.data.tree.KahinaMemTree

KahinaMemTree(LayerDecider) - Constructor for class org.kahina.core.data.tree.KahinaMemTree

KahinaMessageEvent - Class in org.kahina.core.gui.event

KahinaMessageEvent(KahinaLineReference) - Constructor for class org.kahina.core.gui.event.KahinaMessageEvent

KahinaMultifileJEditPanel - Class in org.kahina.core.edit.source

KahinaMultifileJEditPanel(LogicProgrammingInstance<?, ?, ?, ?>) - Constructor for class org.kahina.core.edit.source.KahinaMultifileJEditPanel

KahinaObject - Class in org.kahina.core.data

KahinaObject() - Constructor for class org.kahina.core.data.KahinaObject

KahinaPerspective - Class in org.kahina.core.gui

Storage of window configuration and display options for a Kahina instance.

KahinaPerspective(String, String) - Constructor for class org.kahina.core.gui.KahinaPerspective

KahinaPerspectiveEvent - Class in org.kahina.core.gui.event

KahinaPerspectiveEvent(int, int) - Constructor for class org.kahina.core.gui.event.KahinaPerspectiveEvent

KahinaPerspectiveEvent(int, File) - Constructor for class org.kahina.core.gui.event.KahinaPerspectiveEvent

KahinaProfilerMenu - Class in org.kahina.core.gui.profiler

KahinaProfilerMenu(KahinaInstance<?, ?, ?, ?>) - Constructor for class org.kahina.core.gui.profiler.KahinaProfilerMenu

KahinaProgressBar - Class in org.kahina.core.gui

KahinaProgressBar() - Constructor for class org.kahina.core.gui.KahinaProgressBar

KahinaProject - Class in org.kahina.core.data.project

KahinaProject(String, String) - Constructor for class org.kahina.core.data.project.KahinaProject

KahinaProjectEvent - Class in org.kahina.core.control

KahinaProjectEvent(KahinaProjectEventType, File, String) - Constructor for class org.kahina.core.control.KahinaProjectEvent

KahinaProjectEvent(KahinaProjectEventType, int) - Constructor for class org.kahina.core.control.KahinaProjectEvent

KahinaProjectEventType - Enum in org.kahina.core.control

KahinaProjectMenu - Class in org.kahina.core.gui.menus

KahinaProjectMenu(KahinaInstance<?, ?, ?, ?>) - Constructor for class org.kahina.core.gui.menus.KahinaProjectMenu

KahinaProjectMenuListener - Class in org.kahina.core.gui.menus

A default listener for the project menu, only creates and dispatches KahinaProjectEvents by default.

KahinaProjectMenuListener(KahinaInstance<?, ?, ?, ?>, KahinaProjectMenu) - Constructor for class org.kahina.core.gui.menus.KahinaProjectMenuListener

KahinaProjectStatus - Enum in org.kahina.core.data.project

KahinaProjectView - Class in org.kahina.core.visual.project

KahinaProjectView(KahinaInstance<?, ?, ?, ?>) - Constructor for class org.kahina.core.visual.project.KahinaProjectView

KahinaProjectViewPanel - Class in org.kahina.core.visual.project

KahinaProjectViewPanel() - Constructor for class org.kahina.core.visual.project.KahinaProjectViewPanel

KahinaRecursiveChartTest - Class in org.kahina.core.test

KahinaRecursiveChartTest() - Constructor for class org.kahina.core.test.KahinaRecursiveChartTest

KahinaRecursiveChartView - Class in org.kahina.core.visual.chart

KahinaRecursiveChartView(KahinaInstance<?, ?, ?, ?>) - Constructor for class org.kahina.core.visual.chart.KahinaRecursiveChartView

KahinaRecursiveChartView(KahinaChart, KahinaInstance<?, ?, ?, ?>) - Constructor for class org.kahina.core.visual.chart.KahinaRecursiveChartView

KahinaRecursiveChartViewPanel - Class in org.kahina.core.visual.chart

KahinaRecursiveChartViewPanel(KahinaInstance<?, ?, ?, ?>) - Constructor for class org.kahina.core.visual.chart.KahinaRecursiveChartViewPanel

KahinaRedrawEvent - Class in org.kahina.core.gui.event

KahinaRedrawEvent() - Constructor for class org.kahina.core.gui.event.KahinaRedrawEvent

KahinaSatInstance - Class in org.kahina.logic.sat.data

KahinaSatInstance() - Constructor for class org.kahina.logic.sat.data.KahinaSatInstance

KahinaSatInstanceGraphView - Class in org.kahina.logic.sat.visual.cnf.graph

KahinaSatInstanceGraphView(KahinaInstance<?, ?, ?, ?>, KahinaGraphLayouter) - Constructor for class org.kahina.logic.sat.visual.cnf.graph.KahinaSatInstanceGraphView

KahinaSatInstanceGraphViewContextMenu - Class in org.kahina.logic.sat.visual.cnf.graph

KahinaSatInstanceGraphViewContextMenu(ActionListener, KahinaGraphView) - Constructor for class org.kahina.logic.sat.visual.cnf.graph.KahinaSatInstanceGraphViewContextMenu

KahinaSatInstanceGraphViewListener - Class in org.kahina.logic.sat.visual.cnf.graph

KahinaSatInstanceGraphViewListener(KahinaSatInstanceGraphViewPanel) - Constructor for class org.kahina.logic.sat.visual.cnf.graph.KahinaSatInstanceGraphViewListener

KahinaSatInstanceGraphViewPanel - Class in org.kahina.logic.sat.visual.cnf.graph

KahinaSatInstanceGraphViewPanel(KahinaInstance<?, ?, ?, ?>) - Constructor for class org.kahina.logic.sat.visual.cnf.graph.KahinaSatInstanceGraphViewPanel

KahinaSatInstanceListCellRenderer - Class in org.kahina.logic.sat.visual.cnf.list

KahinaSatInstanceListCellRenderer(KahinaSatInstanceListViewPanel) - Constructor for class org.kahina.logic.sat.visual.cnf.list.KahinaSatInstanceListCellRenderer

KahinaSatInstanceListView - Class in org.kahina.logic.sat.visual.cnf.list

KahinaSatInstanceListView(KahinaInstance<?, ?, ?, ?>) - Constructor for class org.kahina.logic.sat.visual.cnf.list.KahinaSatInstanceListView

KahinaSatInstanceListViewPanel - Class in org.kahina.logic.sat.visual.cnf.list

KahinaSatInstanceListViewPanel() - Constructor for class org.kahina.logic.sat.visual.cnf.list.KahinaSatInstanceListViewPanel

KahinaSelectionEvent - Class in org.kahina.core.gui.event

Event to indicate a certain step has been "marked" internally in the main tree view and all views should be updated accordingly.

KahinaSelectionEvent(int) - Constructor for class org.kahina.core.gui.event.KahinaSelectionEvent

KahinaSelectionEvent(int, int) - Constructor for class org.kahina.core.gui.event.KahinaSelectionEvent

KahinaSelectionEvent(int, int, KahinaViewPanel<?>) - Constructor for class org.kahina.core.gui.event.KahinaSelectionEvent

KahinaSelectionHistory - Class in org.kahina.core.gui

KahinaSelectionHistory(KahinaInstance<?, ?, ?, ?>) - Constructor for class org.kahina.core.gui.KahinaSelectionHistory

KahinaSessionEvent - Class in org.kahina.core.control

KahinaSessionEvent(int, File) - Constructor for class org.kahina.core.control.KahinaSessionEvent

KahinaSessionMenu - Class in org.kahina.core.gui.menus

KahinaSessionMenu(KahinaInstance<?, ?, ?, ?>) - Constructor for class org.kahina.core.gui.menus.KahinaSessionMenu

KahinaSimpleProperty - Class in org.kahina.core.control

TreeNodePatterns are a means of defining which nodes are accepted for use within TreeAutomatonRules as part of the Kahina breakpoint mechanism.

KahinaSimpleProperty() - Constructor for class org.kahina.core.control.KahinaSimpleProperty

KahinaSimpleProperty(int, int, int) - Constructor for class org.kahina.core.control.KahinaSimpleProperty

KahinaSimpleProperty(int, int, String) - Constructor for class org.kahina.core.control.KahinaSimpleProperty

KahinaSimpleProperty(int, KahinaSimpleProperty) - Constructor for class org.kahina.core.control.KahinaSimpleProperty

KahinaSimpleProperty(int, KahinaSimpleProperty, KahinaSimpleProperty) - Constructor for class org.kahina.core.control.KahinaSimpleProperty

KahinaSimplePropertySensor - Class in org.kahina.core.control

KahinaSimplePropertySensor(KahinaControlAgent) - Constructor for class org.kahina.core.control.KahinaSimplePropertySensor

KahinaSourceCodeEditorTest - Class in org.kahina.core.test

KahinaSourceCodeEditorTest() - Constructor for class org.kahina.core.test.KahinaSourceCodeEditorTest

KahinaSourceCodeLocation - Class in org.kahina.core.data.source

KahinaSourceCodeLocation(String, int) - Constructor for class org.kahina.core.data.source.KahinaSourceCodeLocation

KahinaSourceFileModel - Class in org.kahina.core.data.source

KahinaSourceFileModel() - Constructor for class org.kahina.core.data.source.KahinaSourceFileModel

KahinaSourceFileModel(String) - Constructor for class org.kahina.core.data.source.KahinaSourceFileModel

KahinaSourceFileRegistry - Class in org.kahina.core.data.source

KahinaSourceFileRegistry() - Constructor for class org.kahina.core.data.source.KahinaSourceFileRegistry

KahinaState - Class in org.kahina.core

The current state of a Kahina instance.

KahinaState(KahinaInstance<?, ?, ?, ?>) - Constructor for class org.kahina.core.KahinaState

KahinaStep - Class in org.kahina.core

KahinaStep() - Constructor for class org.kahina.core.KahinaStep

KahinaStepDescriptionEvent - Class in org.kahina.core.bridge

KahinaStepDescriptionEvent(int, String) - Constructor for class org.kahina.core.bridge.KahinaStepDescriptionEvent

KahinaStepProperty - Class in org.kahina.core.control

KahinaStepProperty() - Constructor for class org.kahina.core.control.KahinaStepProperty

KahinaStepPropertySensor - Class in org.kahina.core.control

KahinaStepPropertySensor() - Constructor for class org.kahina.core.control.KahinaStepPropertySensor

KahinaStepPropertySensor(KahinaControlAgent, KahinaStepProperty) - Constructor for class org.kahina.core.control.KahinaStepPropertySensor

KahinaStepUpdateEvent - Class in org.kahina.core.control

KahinaStepUpdateEvent(int) - Constructor for class org.kahina.core.control.KahinaStepUpdateEvent

KahinaSystemEvent - Class in org.kahina.core.control

KahinaSystemEvent(int) - Constructor for class org.kahina.core.control.KahinaSystemEvent

KahinaSystemEvent(int, int) - Constructor for class org.kahina.core.control.KahinaSystemEvent

KahinaTabbedWindow - Class in org.kahina.core.gui.windows

KahinaTabbedWindow(KahinaWindowManager, KahinaInstance<?, ?, ?, ?>) - Constructor for class org.kahina.core.gui.windows.KahinaTabbedWindow

KahinaTabbedWindow(KahinaWindowManager, KahinaInstance<?, ?, ?, ?>, int) - Constructor for class org.kahina.core.gui.windows.KahinaTabbedWindow

KahinaTask - Class in org.kahina.core.task

KahinaTask(KahinaProgressBar, KahinaTaskManager) - Constructor for class org.kahina.core.task.KahinaTask

KahinaTaskManager - Class in org.kahina.core.task

KahinaTaskManager() - Constructor for class org.kahina.core.task.KahinaTaskManager

KahinaText - Class in org.kahina.core.data.text

KahinaText() - Constructor for class org.kahina.core.data.text.KahinaText

KahinaText(List<String>) - Constructor for class org.kahina.core.data.text.KahinaText

KahinaText(String) - Constructor for class org.kahina.core.data.text.KahinaText

KahinaTextModel - Class in org.kahina.core.data.text

KahinaTextModel() - Constructor for class org.kahina.core.data.text.KahinaTextModel

KahinaTextModel(String) - Constructor for class org.kahina.core.data.text.KahinaTextModel

KahinaTextView<T extends KahinaLineReference> - Class in org.kahina.core.visual.text

KahinaTextView(KahinaInstance<?, ?, ?, ?>) - Constructor for class org.kahina.core.visual.text.KahinaTextView

KahinaTextViewListener - Class in org.kahina.core.visual.text

KahinaTextViewListener(KahinaTextViewPanel, KahinaInstance<?, ?, ?, ?>) - Constructor for class org.kahina.core.visual.text.KahinaTextViewListener

KahinaTextViewPanel - Class in org.kahina.core.visual.text

KahinaTextViewPanel(KahinaInstance<?, ?, ?, ?>) - Constructor for class org.kahina.core.visual.text.KahinaTextViewPanel

KahinaTextWithMarking - Class in org.kahina.core.data.text

KahinaTextWithMarking(String, int, int, int) - Constructor for class org.kahina.core.data.text.KahinaTextWithMarking

KahinaTransferablePanel - Class in org.kahina.core.gui

KahinaTransferablePanel(String, int) - Constructor for class org.kahina.core.gui.KahinaTransferablePanel

KahinaTree - Class in org.kahina.core.data.tree

KahinaTree(LayerDecider) - Constructor for class org.kahina.core.data.tree.KahinaTree

KahinaTreeBehavior - Class in org.kahina.core.behavior

The ancestor class of all tree behavior classes.

KahinaTreeBehavior(KahinaTree, KahinaInstance) - Constructor for class org.kahina.core.behavior.KahinaTreeBehavior

Class constructor specifying the controlled tree and the KahinaInstance that it is connected to.

KahinaTreeChildAddListener - Interface in org.kahina.core.data.tree

KahinaTreeEvent - Class in org.kahina.core.data.tree

KahinaTreeEvent(int, int, int) - Constructor for class org.kahina.core.data.tree.KahinaTreeEvent

KahinaTreeEventType - Class in org.kahina.core.data.tree

KahinaTreeEventType() - Constructor for class org.kahina.core.data.tree.KahinaTreeEventType

KahinaTreeInput - Class in org.kahina.core.io.tree

KahinaTreeInput() - Constructor for class org.kahina.core.io.tree.KahinaTreeInput

KahinaTreeMatchEvent - Class in org.kahina.core.data.agent.patterns

KahinaTreeMatchEvent(KahinaBreakpoint, int) - Constructor for class org.kahina.core.data.agent.patterns.KahinaTreeMatchEvent

KahinaTreeOutput - Class in org.kahina.core.io.tree

KahinaTreeOutput() - Constructor for class org.kahina.core.io.tree.KahinaTreeOutput

KahinaTreeTest - Class in org.kahina.core.test

KahinaTreeTest() - Constructor for class org.kahina.core.test.KahinaTreeTest

KahinaTreeView - Class in org.kahina.core.visual.tree

KahinaTreeView(KahinaInstance<?, ?, ?, ?>) - Constructor for class org.kahina.core.visual.tree.KahinaTreeView

KahinaTreeViewConfiguration - Class in org.kahina.core.visual.tree

KahinaTreeViewConfiguration() - Constructor for class org.kahina.core.visual.tree.KahinaTreeViewConfiguration

KahinaTreeViewContextMenu - Class in org.kahina.core.visual.tree

KahinaTreeViewContextMenu(ActionListener, KahinaTreeView) - Constructor for class org.kahina.core.visual.tree.KahinaTreeViewContextMenu

KahinaTreeViewListener - Class in org.kahina.core.visual.tree

KahinaTreeViewListener(KahinaTreeViewPanel, KahinaInstance<?, ?, ?, ?>) - Constructor for class org.kahina.core.visual.tree.KahinaTreeViewListener

KahinaTreeViewListener(KahinaTreeViewPanel, KahinaTreeViewMarker, KahinaInstance<?, ?, ?, ?>) - Constructor for class org.kahina.core.visual.tree.KahinaTreeViewListener

KahinaTreeViewMarker - Class in org.kahina.core.visual.tree

KahinaTreeViewMarker(KahinaTree) - Constructor for class org.kahina.core.visual.tree.KahinaTreeViewMarker

KahinaTreeViewMarker(KahinaTree, KahinaTree) - Constructor for class org.kahina.core.visual.tree.KahinaTreeViewMarker

KahinaTreeViewOptions - Class in org.kahina.core.visual.tree

KahinaTreeViewOptions() - Constructor for class org.kahina.core.visual.tree.KahinaTreeViewOptions

KahinaTreeViewPanel - Class in org.kahina.core.visual.tree

KahinaTreeViewPanel(KahinaInstance<?, ?, ?, ?>) - Constructor for class org.kahina.core.visual.tree.KahinaTreeViewPanel

KahinaTreeViewPanel(KahinaTreeViewMarker, KahinaInstance<?, ?, ?, ?>) - Constructor for class org.kahina.core.visual.tree.KahinaTreeViewPanel

KahinaUnlayeredMemTree - Class in org.kahina.core.data.tree

A simple Kahina tree implementation which does not support layers.

KahinaUnlayeredMemTree() - Constructor for class org.kahina.core.data.tree.KahinaUnlayeredMemTree

KahinaUnlayeredMemTree(LayerDecider) - Constructor for class org.kahina.core.data.tree.KahinaUnlayeredMemTree

KahinaUpdateEvent - Class in org.kahina.core.gui.event

KahinaUpdateEvent(int) - Constructor for class org.kahina.core.gui.event.KahinaUpdateEvent

KahinaUpdateEvent(int, int) - Constructor for class org.kahina.core.gui.event.KahinaUpdateEvent

KahinaVerticallySplitWindow - Class in org.kahina.core.gui.windows

KahinaVerticallySplitWindow(KahinaWindowManager, KahinaInstance<?, ?, ?, ?>, double) - Constructor for class org.kahina.core.gui.windows.KahinaVerticallySplitWindow

KahinaVerticallySplitWindow(KahinaWindowManager, KahinaInstance<?, ?, ?, ?>, int, double) - Constructor for class org.kahina.core.gui.windows.KahinaVerticallySplitWindow

KahinaView<T extends KahinaObject> - Class in org.kahina.core.visual

KahinaView(KahinaInstance<?, ?, ?, ?>) - Constructor for class org.kahina.core.visual.KahinaView

KahinaViewConfiguration - Class in org.kahina.core.visual

The ancestor class of all view configuration classes.

KahinaViewConfiguration() - Constructor for class org.kahina.core.visual.KahinaViewConfiguration

KahinaViewIntegrationType - Class in org.kahina.core.gui

KahinaViewIntegrationType() - Constructor for class org.kahina.core.gui.KahinaViewIntegrationType

KahinaViewMenu - Class in org.kahina.core.gui.menus

KahinaViewMenu(KahinaInstance<?, ?, ?, ?>) - Constructor for class org.kahina.core.gui.menus.KahinaViewMenu

KahinaViewPanel<T extends KahinaView<?>> - Class in org.kahina.core.visual

KahinaViewPanel() - Constructor for class org.kahina.core.visual.KahinaViewPanel

KahinaViewRegistry - Class in org.kahina.core.gui

TODO: import + export to XML file

KahinaViewRegistry() - Constructor for class org.kahina.core.gui.KahinaViewRegistry

KahinaViewVisibility - Class in org.kahina.core.visual

KahinaViewVisibility() - Constructor for class org.kahina.core.visual.KahinaViewVisibility

KahinaWarner - Class in org.kahina.core.profiler

KahinaWarner(KahinaInstance<?, ?, ?, ?>) - Constructor for class org.kahina.core.profiler.KahinaWarner

KahinaWarnEvent - Class in org.kahina.core.control

KahinaWarnEvent(KahinaBreakpoint, int) - Constructor for class org.kahina.core.control.KahinaWarnEvent

KahinaWindow - Class in org.kahina.core.gui.windows

KahinaWindow(KahinaWindowManager, KahinaInstance<?, ?, ?, ?>) - Constructor for class org.kahina.core.gui.windows.KahinaWindow

Constructs a KahinaWindow with a new unique window ID.

KahinaWindow(KahinaWindowManager, KahinaInstance<?, ?, ?, ?>, int) - Constructor for class org.kahina.core.gui.windows.KahinaWindow

Constructs a KahinaWindow with a specified window ID.

KahinaWindowContextMenu - Class in org.kahina.core.gui.menus

KahinaWindowContextMenu(KahinaWindow) - Constructor for class org.kahina.core.gui.menus.KahinaWindowContextMenu

KahinaWindowEvent - Class in org.kahina.core.gui.event

KahinaWindowEvent(int, int) - Constructor for class org.kahina.core.gui.event.KahinaWindowEvent

KahinaWindowEvent(int, int, String) - Constructor for class org.kahina.core.gui.event.KahinaWindowEvent

KahinaWindowEventType - Class in org.kahina.core.gui.event

KahinaWindowEventType() - Constructor for class org.kahina.core.gui.event.KahinaWindowEventType

KahinaWindowListener - Class in org.kahina.core.gui.windows

KahinaWindowListener(KahinaWindow) - Constructor for class org.kahina.core.gui.windows.KahinaWindowListener

KahinaWindowManager - Class in org.kahina.core.gui

KahinaWindowManager(KahinaInstance<?, ?, ?, ?>) - Constructor for class org.kahina.core.gui.KahinaWindowManager

Create a simple window manager..

KahinaWindowTransferHandler - Class in org.kahina.core.gui

KahinaWindowTransferHandler() - Constructor for class org.kahina.core.gui.KahinaWindowTransferHandler

KahinaWindowType - Class in org.kahina.core.gui.windows

KahinaWindowType() - Constructor for class org.kahina.core.gui.windows.KahinaWindowType

keyPressed(KeyEvent) - Method in class org.kahina.core.visual.agent.KahinaControlAgentListener

keyReleased(KeyEvent) - Method in class org.kahina.core.visual.agent.KahinaControlAgentListener

keyTyped(KeyEvent) - Method in class org.kahina.core.visual.agent.KahinaControlAgentListener

L

LargeClausesFirstHeuristic - Class in org.kahina.logic.sat.insertionmus.algorithms.Heuristics

LargeClausesFirstHeuristic(ISortingHeuristic) - Constructor for class org.kahina.logic.sat.insertionmus.algorithms.Heuristics.LargeClausesFirstHeuristic

lastActiveID - Variable in class org.kahina.lp.behavior.LogicProgrammingTreeBehavior

lastInstruction - Variable in class org.kahina.logic.sat.muc.bridge.MUCBridge

lastMouseEvent - Variable in class org.kahina.core.visual.tree.KahinaTreeViewListener

LAYER - Static variable in class org.kahina.core.data.tree.KahinaTreeEventType

LayerDecider - Class in org.kahina.core.data.tree

LayerDecider() - Constructor for class org.kahina.core.data.tree.LayerDecider

LayeredLayouter - Class in org.kahina.core.visual.dag

LayeredLayouter() - Constructor for class org.kahina.core.visual.dag.LayeredLayouter

layers - Variable in class org.kahina.core.data.tree.KahinaUnlayeredMemTree

layout - Variable in class org.kahina.core.visual.dag.KahinaDAGView

layout - Variable in class org.kahina.core.visual.graph.KahinaGraphView

LAYOUT_CIRCULAR - Static variable in class org.kahina.core.visual.graph.KahinaGraphViewOptions

LAYOUT_GRID - Static variable in class org.kahina.core.visual.graph.KahinaGraphViewOptions

LAYOUT_SPRING - Static variable in class org.kahina.core.visual.graph.KahinaGraphViewOptions

LeanKernelExtractor - Class in org.kahina.logic.sat.test

LeanKernelExtractor() - Constructor for class org.kahina.logic.sat.test.LeanKernelExtractor

LeanKernelStatistics - Class in org.kahina.logic.sat.test

LeanKernelStatistics() - Constructor for class org.kahina.logic.sat.test.LeanKernelStatistics

LearnClauseLimit - Variable in class org.kahina.logic.sat.insertionmus.iterativ.simpleSAT.analyseConflict.LearnMoreAnalyseConflict

LearnedUnitsExtractor - Class in org.kahina.logic.sat.test

LearnedUnitsExtractor() - Constructor for class org.kahina.logic.sat.test.LearnedUnitsExtractor

learnMetaBlock(TreeSet<Integer>) - Method in class org.kahina.logic.sat.muc.MUCState

learnMetaClause(TreeSet<Integer>) - Method in class org.kahina.logic.sat.muc.MUCState

learnMetaUnits(MUCStep) - Method in class org.kahina.logic.sat.muc.MUCState

LearnMoreAnalyseConflict - Class in org.kahina.logic.sat.insertionmus.iterativ.simpleSAT.analyseConflict

LearnMoreAnalyseConflict() - Constructor for class org.kahina.logic.sat.insertionmus.iterativ.simpleSAT.analyseConflict.LearnMoreAnalyseConflict

LearnMoreFactory - Class in org.kahina.logic.sat.insertionmus.iterativ.simpleSAT.factorys

LearnMoreFactory() - Constructor for class org.kahina.logic.sat.insertionmus.iterativ.simpleSAT.factorys.LearnMoreFactory

learnNewBlock(TreeSet<Integer>) - Method in class org.kahina.logic.sat.muc.data.MUCMetaInstance

learnNewClause(TreeSet<Integer>) - Method in class org.kahina.logic.sat.muc.data.MUCMetaInstance

LEFT_ALIGNED_NODES - Static variable in class org.kahina.core.visual.tree.KahinaTreeViewOptions

leftAlternatives - Variable in class org.kahina.core.visual.tree.KahinaListTreeListEntry

LESS - Static variable in class org.kahina.core.control.KahinaSimpleProperty

LESS_OR_EQUAL - Static variable in class org.kahina.core.control.KahinaSimpleProperty

level - Variable in class org.kahina.logic.sat.insertionmus.iterativ.simpleSAT.main.Variable

lexEntryGrisu(String) - Method in class org.kahina.tralesld.bridge.AuxiliaryTraleInstance

line - Variable in class org.kahina.core.data.text.KahinaLineReference

lines - Variable in class org.kahina.core.data.text.KahinaText

linkEdgeToNode(int, int) - Method in class org.kahina.qtype.QTypeState

linkEdgeToNode(int, int) - Method in class org.kahina.tralesld.TraleSLDState

linkNodes(int, int) - Method in class org.kahina.lp.bridge.LogicProgrammingBridge

Introduces a "secondary edge" to the control flow tree, e.g.

linkNodes(int, int) - Method in class org.kahina.lp.LogicProgrammingState

list - Variable in class org.kahina.core.visual.text.KahinaTextViewPanel

LIST_WINDOW - Static variable in class org.kahina.core.gui.windows.KahinaWindowType

listFeatures(IEntity) - Static method in class org.kahina.tralesld.visual.fs.GraleJUtility

listLength(IList) - Static method in class org.kahina.tralesld.visual.fs.GraleJUtility

listModel - Variable in class org.kahina.core.visual.text.KahinaTextView

listModel - Variable in class org.kahina.logic.sat.muc.visual.PartitionBlockView

listModel - Variable in class org.kahina.logic.sat.visual.cnf.list.KahinaSatInstanceListView

ListUtil - Class in org.kahina.core.util

ListUtil() - Constructor for class org.kahina.core.util.ListUtil

LiteralBlockHandler - Class in org.kahina.logic.sat.muc.data

LiteralBlockHandler(CnfSatInstance) - Constructor for class org.kahina.logic.sat.muc.data.LiteralBlockHandler

literals - Variable in class org.kahina.logic.sat.insertionmus.iterativ.simpleSAT.main.Clause

litIsSat(int) - Method in class org.kahina.logic.sat.insertionmus.iterativ.simpleSAT.main.Variable

vB: literal entspricht der Variablen

livingViews - Variable in class org.kahina.core.gui.KahinaGUI

load(File, Class<S>) - Static method in class org.kahina.core.io.magazine.ObjectMagazine

LOAD_DEFAULT_PERSPECTIVE - Static variable in class org.kahina.core.gui.event.KahinaPerspectiveEvent

LOAD_FILE - Static variable in class org.kahina.logic.sat.freemuc.control.FreeMUCControlEventCommands

LOAD_FILE - Static variable in class org.kahina.logic.sat.muc.control.MUCControlEventCommands

LOAD_FILE_ACTION - Variable in class org.kahina.logic.sat.freemuc.FreeMUCInstance

LOAD_FILE_ACTION - Variable in class org.kahina.logic.sat.muc.MUCInstance

LOAD_PATH - Static variable in class org.kahina.logic.sat.muc.control.MUCControlEventCommands

LOAD_PATH_ACTION - Variable in class org.kahina.logic.sat.muc.MUCInstance

LOAD_PERSPECTIVE - Static variable in class org.kahina.core.gui.event.KahinaPerspectiveEvent

LOAD_RECENT_PERSPECTIVE - Static variable in class org.kahina.core.gui.event.KahinaPerspectiveEvent

LOAD_SESSION - Static variable in class org.kahina.core.control.KahinaSessionEvent

loadBreakpointProfile(List<KahinaBreakpoint>) - Method in class org.kahina.core.gui.breakpoint.BreakpointEditorWindow

loadDefaultHeuristics() - Method in class org.kahina.logic.sat.muc.MUCInstance

loadEmbeddedKahinaInstance() - Method in class org.kahina.tralesld.bridge.AuxiliaryTraleInstance

For testing purposes: Loads another instance of Kahina inside the embedding instance.

loadFormulaFile(File) - Method in class org.kahina.logic.sat.freemuc.FreeMUCInstance

loadFromFile(String) - Static method in class org.kahina.core.data.text.KahinaText

loadFromXMLFile(String) - Static method in class org.kahina.core.gui.KahinaViewRegistry

loadGrisu(String) - Method in class org.kahina.tralesld.visual.fs.TraleSLDFeatureStructureEditor

Display a feature structure directly, shortcutting FS compression.

loadHeuristicsFile(String) - Method in class org.kahina.logic.sat.muc.MUCInstance

loadInstanceItem - Variable in class org.kahina.logic.sat.insertionmus.gui.MusticcaInstanceMenu

loadInstanceItem - Variable in class org.kahina.logic.sat.muc.gui.MusticcaInstanceMenu

loadPerspective(InputStream) - Method in class org.kahina.core.KahinaInstance

loadProject(File) - Method in class org.kahina.core.KahinaDefaultInstance

loadProject(File) - Method in class org.kahina.core.KahinaInstance

loadProject(InputStream) - Method in class org.kahina.logic.sat.freemuc.FreeMUCInstance

loadProject(InputStream) - Method in class org.kahina.logic.sat.insertionmus.MUCInstance

loadProject(InputStream) - Method in class org.kahina.logic.sat.muc.MUCInstance

loadProject(InputStream) - Method in class org.kahina.lp.LogicProgrammingInstance

loadProject(File) - Method in class org.kahina.qtype.QTypeDebuggerInstance

loadProject(File) - Method in class org.kahina.sicstus.SICStusPrologDebuggerInstance

loadProject(File) - Method in class org.kahina.swi.SWIPrologDebuggerInstance

loadProject(File) - Method in class org.kahina.tralesld.TraleSLDInstance

loadProject(File) - Method in class org.kahina.tulipa.TulipaInstance

loadProjectItem - Variable in class org.kahina.core.gui.menus.KahinaProjectMenu

loadSATFile(File) - Method in class org.kahina.logic.sat.insertionmus.MUCInstance

loadSATFile(File) - Method in class org.kahina.logic.sat.muc.MUCInstance

loadSignature(String) - Method in class org.kahina.tralesld.visual.workbench.FeatureWorkbenchViewPanel

loadState(LogicProgrammingState) - Method in class org.kahina.core.gui.breakpoint.ThresholdedBreakpointEditorWindow

loadSteps(File) - Method in class org.kahina.core.KahinaState

logger - Variable in class org.kahina.core.KahinaInstance

LogicProgrammingAgentMatchEvent - Class in org.kahina.lp.control

LogicProgrammingAgentMatchEvent(KahinaControlAgent, ControlAgentType) - Constructor for class org.kahina.lp.control.LogicProgrammingAgentMatchEvent

LogicProgrammingBreakActuator - Class in org.kahina.lp.control

LogicProgrammingBreakActuator(LogicProgrammingInstance<?, ?, ?, ?>) - Constructor for class org.kahina.lp.control.LogicProgrammingBreakActuator

LogicProgrammingBridge - Class in org.kahina.lp.bridge

The logic programming bridge is the most important object that you work with when you connect a logic programming system to Kahina that has tracing capabilities following the procedure box model.

LogicProgrammingBridge(LogicProgrammingInstance<?, ?, ?, ?>) - Constructor for class org.kahina.lp.bridge.LogicProgrammingBridge

LogicProgrammingBridgeEvent - Class in org.kahina.lp.bridge

LogicProgrammingBridgeEvent(int, int) - Constructor for class org.kahina.lp.bridge.LogicProgrammingBridgeEvent

LogicProgrammingBridgeEvent(int, int, String) - Constructor for class org.kahina.lp.bridge.LogicProgrammingBridgeEvent

LogicProgrammingBridgeEvent(int, int, int) - Constructor for class org.kahina.lp.bridge.LogicProgrammingBridgeEvent

LogicProgrammingBridgeEvent(int, int, String, int) - Constructor for class org.kahina.lp.bridge.LogicProgrammingBridgeEvent

LogicProgrammingBridgeEventType - Class in org.kahina.lp.bridge

LogicProgrammingBridgeEventType() - Constructor for class org.kahina.lp.bridge.LogicProgrammingBridgeEventType

LogicProgrammingCompleteActuator - Class in org.kahina.lp.control

LogicProgrammingCompleteActuator(LogicProgrammingInstance<?, ?, ?, ?>) - Constructor for class org.kahina.lp.control.LogicProgrammingCompleteActuator

LogicProgrammingControlAgent - Class in org.kahina.lp.data.agent

LogicProgrammingControlAgent(LogicProgrammingInstance<?, ?, ?, ?>) - Constructor for class org.kahina.lp.data.agent.LogicProgrammingControlAgent

LogicProgrammingControlAgent - Class in org.kahina.lp.data.breakpoint

LogicProgrammingControlAgent(LogicProgrammingInstance<?, ?, ?, ?>) - Constructor for class org.kahina.lp.data.breakpoint.LogicProgrammingControlAgent

LogicProgrammingControlAgentProfile - Class in org.kahina.lp.data.agent

LogicProgrammingControlAgentProfile(KahinaControlActuator) - Constructor for class org.kahina.lp.data.agent.LogicProgrammingControlAgentProfile

LogicProgrammingControlAgentProfile - Class in org.kahina.lp.data.breakpoint

LogicProgrammingControlAgentProfile(KahinaControlActuator) - Constructor for class org.kahina.lp.data.breakpoint.LogicProgrammingControlAgentProfile

LogicProgrammingCreepActuator - Class in org.kahina.lp.control

LogicProgrammingCreepActuator(LogicProgrammingInstance<?, ?, ?, ?>) - Constructor for class org.kahina.lp.control.LogicProgrammingCreepActuator

LogicProgrammingFailActuator - Class in org.kahina.lp.control

LogicProgrammingFailActuator(LogicProgrammingInstance<?, ?, ?, ?>) - Constructor for class org.kahina.lp.control.LogicProgrammingFailActuator

LogicProgrammingGUI - Class in org.kahina.lp.gui

LogicProgrammingGUI(Class<? extends KahinaStep>, LogicProgrammingInstance<?, ?, ?, ?>) - Constructor for class org.kahina.lp.gui.LogicProgrammingGUI

LogicProgrammingInstance<S extends LogicProgrammingState,G extends LogicProgrammingGUI,B extends LogicProgrammingBridge,P extends LogicProgrammingProject> - Class in org.kahina.lp

LogicProgrammingInstance() - Constructor for class org.kahina.lp.LogicProgrammingInstance

LogicProgrammingLineReference - Class in org.kahina.lp.data.text

LogicProgrammingLineReference() - Constructor for class org.kahina.lp.data.text.LogicProgrammingLineReference

LogicProgrammingLineReference(KahinaTextModel, int, int, int, int) - Constructor for class org.kahina.lp.data.text.LogicProgrammingLineReference

LogicProgrammingMainWindow - Class in org.kahina.lp.gui

LogicProgrammingMainWindow(KahinaWindowManager, KahinaInstance<?, ?, ?, ?>) - Constructor for class org.kahina.lp.gui.LogicProgrammingMainWindow

LogicProgrammingMainWindow(KahinaWindowManager, KahinaInstance<?, ?, ?, ?>, int) - Constructor for class org.kahina.lp.gui.LogicProgrammingMainWindow

LogicProgrammingProfile - Class in org.kahina.lp.profiler

LogicProgrammingProfile() - Constructor for class org.kahina.lp.profiler.LogicProgrammingProfile

LogicProgrammingProfiler - Class in org.kahina.lp.profiler

LogicProgrammingProfiler(LogicProgrammingInstance<?, ?, ?, ?>, Mapper<String, ProfileEntry>, LogicProgrammingProfile) - Constructor for class org.kahina.lp.profiler.LogicProgrammingProfiler

LogicProgrammingProfileWindow - Class in org.kahina.lp.gui.profiler

LogicProgrammingProfileWindow(LogicProgrammingProfile) - Constructor for class org.kahina.lp.gui.profiler.LogicProgrammingProfileWindow

LogicProgrammingProject - Class in org.kahina.lp.data.project

LogicProgrammingProject(String, String, LogicProgrammingInstance<?, ?, ?, ?>) - Constructor for class org.kahina.lp.data.project.LogicProgrammingProject

LogicProgrammingSkipActuator - Class in org.kahina.lp.control

LogicProgrammingSkipActuator(LogicProgrammingInstance<?, ?, ?, ?>) - Constructor for class org.kahina.lp.control.LogicProgrammingSkipActuator

LogicProgrammingState - Class in org.kahina.lp

LogicProgrammingState(KahinaInstance<?, ?, ?, ?>) - Constructor for class org.kahina.lp.LogicProgrammingState

LogicProgrammingStep - Class in org.kahina.lp

LogicProgrammingStep() - Constructor for class org.kahina.lp.LogicProgrammingStep

LogicProgrammingStep(LogicProgrammingStep) - Constructor for class org.kahina.lp.LogicProgrammingStep

LogicProgrammingStepType - Class in org.kahina.lp

LogicProgrammingStepType() - Constructor for class org.kahina.lp.LogicProgrammingStepType

LogicProgrammingTreeBehavior - Class in org.kahina.lp.behavior

LogicProgrammingTreeBehavior(KahinaTree, KahinaInstance<?, ?, ?, ?>, KahinaTree) - Constructor for class org.kahina.lp.behavior.LogicProgrammingTreeBehavior

LPBRIDGE - Static variable in interface org.kahina.core.control.KahinaEventTypes

lvl - Variable in class org.kahina.logic.sat.insertionmus.iterativ.simpleSAT.main.CDCL

M

M - Variable in class org.kahina.logic.sat.insertionmus.algorithms.AlgorithmData

main(String[]) - Static method in class org.kahina.core.io.util.ResourceList

list the resources that match args[0]

main(String[]) - Static method in class org.kahina.core.test.BreakpointEditorTest

main(String[]) - Static method in class org.kahina.core.test.KahinaChartTest

main(String[]) - Static method in class org.kahina.core.test.KahinaDAGTest

main(String[]) - Static method in class org.kahina.core.test.KahinaGraphTest

main(String[]) - Static method in class org.kahina.core.test.KahinaRecursiveChartTest

main(String[]) - Static method in class org.kahina.core.test.KahinaSourceCodeEditorTest

main(String[]) - Static method in class org.kahina.core.test.KahinaTreeTest

main(String[]) - Static method in class org.kahina.logic.sat.freemuc.FreeMUCInstance

main(String[]) - Static method in class org.kahina.logic.sat.insertionmus.algorithms.BasicAlgorithm

Simple testfunction for this algorithm.

main(String[]) - Static method in class org.kahina.logic.sat.insertionmus.algorithms.IncrementalBasicAlgorithm

Simple testfunction for this algorithm.

main(String[]) - Static method in class org.kahina.logic.sat.insertionmus.algorithms.MaarenWieringa.AdvancedAlgorithm

main(String[]) - Static method in class org.kahina.logic.sat.insertionmus.algorithms.MaarenWieringa.FasterAdvancedAlgorithm

main(String[]) - Static method in class org.kahina.logic.sat.insertionmus.iterativ.simpleSAT.benchmarkAll

main(String[]) - Static method in class org.kahina.logic.sat.insertionmus.iterativ.simpleSAT.benchmarkLearnMoreVsDefault

main(String[]) - Static method in class org.kahina.logic.sat.insertionmus.iterativ.simpleSAT.optimization.CDCLOptimisationMultiThreaded

main(String[]) - Static method in class org.kahina.logic.sat.insertionmus.iterativ.simpleSAT.optimization.DefaultVSCustom

main(String[]) - Static method in class org.kahina.logic.sat.insertionmus.iterativ.simpleSAT.testAll

main(String[]) - Static method in class org.kahina.logic.sat.insertionmus.MUCInstance

main(String[]) - Static method in class org.kahina.logic.sat.io.cnf.CfgInstanceGenerator

main(String[]) - Static method in class org.kahina.logic.sat.io.cnf.CfgToSatConverter

main(String[]) - Static method in class org.kahina.logic.sat.io.cnf.DimacsSymbolConverter

main(String[]) - Static method in class org.kahina.logic.sat.io.free.DaimlerToDimacsCNF

main(String[]) - Static method in class org.kahina.logic.sat.io.free.UnsatInstanceGenerator

main(String[]) - Static method in class org.kahina.logic.sat.muc.io.MUCExtension

main(String[]) - Static method in class org.kahina.logic.sat.muc.MUCInstance

main(String[]) - Static method in class org.kahina.logic.sat.muc.test.CfgParseViaSat

main(String[]) - Static method in class org.kahina.logic.sat.muc.test.ClauseBlockPartitioner

main(String[]) - Static method in class org.kahina.logic.sat.muc.test.MinUnsatCore

main(String[]) - Static method in class org.kahina.logic.sat.muc.test.MUCTestRunner

main(String[]) - Static method in class org.kahina.logic.sat.muc.test.UCReducerTest

main(String[]) - Static method in class org.kahina.logic.sat.test.BooleanFormulaTest

main(String[]) - Static method in class org.kahina.logic.sat.test.CnfSatInstanceListViewer

main(String[]) - Static method in class org.kahina.logic.sat.test.InstanceSizeStatistics

main(String[]) - Static method in class org.kahina.logic.sat.test.LeanKernelExtractor

main(String[]) - Static method in class org.kahina.logic.sat.test.LeanKernelStatistics

main(String[]) - Static method in class org.kahina.logic.sat.test.LearnedUnitsExtractor

main(String[]) - Static method in class org.kahina.logic.sat.test.NecessaryClauseStatistics

main(String[]) - Static method in class org.kahina.logic.sat.test.RandomMUSStatistics

main(String[]) - Static method in class org.kahina.logic.sat.test.ResolutionProofDAGViewer

main(String[]) - Static method in class org.kahina.logic.sat.test.ResolutionProofRelevanceExtractor

main(String[]) - Static method in class org.kahina.logic.sat.test.ResolutionProofTreeViewer

main(String[]) - Static method in class org.kahina.logic.sat.test.ResolutionVariableExtractor

main(String[]) - Static method in class org.kahina.parse.test.ContextFreeGrammarTest

main(String[]) - Static method in class org.kahina.qtype.QTypeDebuggerInstance

main(String[]) - Static method in class org.kahina.sicstus.SICStusPrologDebuggerInstance

main(String[]) - Static method in class org.kahina.swi.SWIPrologDebuggerInstance

main(String[]) - Static method in class org.kahina.tralesld.bridge.AuxiliaryTraleInstance

main(String[]) - Static method in class org.kahina.tralesld.TraleSLDInstance

main(String[]) - Static method in class org.kahina.tralesld.visual.workbench.FeatureWorkbenchViewPanel

MAIN_WINDOW - Static variable in class org.kahina.core.gui.windows.KahinaWindowType

mainChartView - Variable in class org.kahina.qtype.gui.QTypeGUI

mainChartView - Variable in class org.kahina.tralesld.gui.TraleSLDGUI

mainDAGView - Variable in class org.kahina.tulipa.gui.TulipaGUI

mainFile - Variable in class org.kahina.core.data.project.KahinaProject

mainPanel - Variable in class org.kahina.core.gui.windows.KahinaWindow

mainTreeView - Variable in class org.kahina.lp.gui.LogicProgrammingGUI

mainWindow - Variable in class org.kahina.core.gui.KahinaWindowManager

makeEditorPanel(KahinaGUI) - Method in class org.kahina.core.visual.KahinaView

makeEditorPanel(TraleSLDState) - Method in class org.kahina.tralesld.visual.fs.TraleSLDFeatureStructureView

makeJPanel(String) - Method in class org.kahina.tralesld.visual.fs.FSVisualizationUtility

makePanel() - Method in class org.kahina.core.edit.breakpoint.KahinaBreakpointEditor

makePanel() - Method in class org.kahina.core.edit.breakpoint.KahinaBreakpointProfileEditor

makePanel() - Method in class org.kahina.core.visual.agent.KahinaControlAgentProfileView

makePanel() - Method in class org.kahina.core.visual.agent.KahinaControlAgentView

makePanel() - Method in class org.kahina.core.visual.chart.KahinaChartView

makePanel() - Method in class org.kahina.core.visual.chart.KahinaRecursiveChartView

makePanel() - Method in class org.kahina.core.visual.dag.ColoredPathDAGView

makePanel() - Method in class org.kahina.core.visual.dag.KahinaDAGView

makePanel() - Method in class org.kahina.core.visual.graph.KahinaGraphView

makePanel() - Method in class org.kahina.core.visual.KahinaDefaultView

makePanel() - Method in class org.kahina.core.visual.KahinaEmptyView

makePanel() - Method in class org.kahina.core.visual.KahinaView

Returns the panel that represents this view in the GUI.

makePanel() - Method in class org.kahina.core.visual.project.KahinaProjectView

makePanel() - Method in class org.kahina.core.visual.source.KahinaJEditSourceCodeView

makePanel() - Method in class org.kahina.core.visual.text.KahinaTextView

makePanel() - Method in class org.kahina.core.visual.tree.KahinaLayeredTreeView

makePanel() - Method in class org.kahina.core.visual.tree.KahinaListTreeView

makePanel() - Method in class org.kahina.core.visual.tree.KahinaTreeView

makePanel() - Method in class org.kahina.logic.sat.freemuc.visual.SATCheckingFormulaTreeView

makePanel() - Method in class org.kahina.logic.sat.insertionmus.visual.MUCStepViewContaining

makePanel() - Method in class org.kahina.logic.sat.insertionmus.visual.MUCStepViewRemaining

makePanel() - Method in class org.kahina.logic.sat.insertionmus.visual.UCReducerListViewPanel

makePanel() - Method in class org.kahina.logic.sat.muc.visual.MetaInstanceView

makePanel() - Method in class org.kahina.logic.sat.muc.visual.MUCStepController

makePanel() - Method in class org.kahina.logic.sat.muc.visual.MUCStepView

makePanel() - Method in class org.kahina.logic.sat.muc.visual.PartitionBlockView

makePanel() - Method in class org.kahina.logic.sat.muc.visual.RecursiveBlockView

makePanel() - Method in class org.kahina.logic.sat.muc.visual.UCReducerListView

makePanel() - Method in class org.kahina.logic.sat.visual.cnf.graph.KahinaSatInstanceGraphView

makePanel() - Method in class org.kahina.logic.sat.visual.cnf.list.KahinaSatInstanceListView

makePanel() - Method in class org.kahina.logic.sat.visual.free.FormulaTreeView

makePanel() - Method in class org.kahina.parse.visual.project.TestSetView

makePanel() - Method in class org.kahina.qtype.visual.bindings.QTypeGoalView

makePanel() - Method in class org.kahina.sicstus.visual.bindings.SICStusPrologVariableBindingSetView

makePanel() - Method in class org.kahina.swi.visual.bindings.SWIPrologVariableBindingSetView

makePanel() - Method in class org.kahina.tralesld.visual.fs.TraleSLDFeatureStructureView

makePanel() - Method in class org.kahina.tralesld.visual.fs.TraleSLDVariableBindingSetView

makePanel() - Method in class org.kahina.tralesld.visual.signature.TraleSLDSignatureAppropriatenessView

makePanel() - Method in class org.kahina.tralesld.visual.signature.TraleSLDSignatureHierarchyView

makePanel() - Method in class org.kahina.tralesld.visual.signature.TraleSLDSignatureUsageView

makePanel() - Method in class org.kahina.tralesld.visual.workbench.FeatureWorkbenchView

makePanel() - Method in class org.kahina.tulipa.visual.grammar.TulipaGrammarView

map(String) - Method in class org.kahina.core.profiler.DefaultProfileEntryMapper

map(F) - Method in interface org.kahina.core.util.Mapper

map(String) - Method in class org.kahina.tralesld.profiler.TraleSLDProfileEntryMapper

mapInstance - Variable in class org.kahina.logic.sat.insertionmus.algorithms.CombinedAlgorithm

Mapper<F,T> - Interface in org.kahina.core.util

marker - Variable in class org.kahina.core.visual.tree.KahinaTreeViewListener

MARKING_COLOR - Static variable in class org.kahina.core.visual.graph.KahinaGraphView

markNode(int) - Method in class org.kahina.core.visual.tree.KahinaTreeViewMarker

matchCountByBreakpoint - Variable in class or