- 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
-
- 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
-
- 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
-
- 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
-