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