Constant Field Values

Contents

• org.kahina.*

org.kahina.*

org.kahina.core.KahinaInstance<S extends KahinaState,G extends KahinaGUI,B extends KahinaBridge,P extends KahinaProject>

Modifier and Type	Constant Field	Value
protected static final boolean	VERBOSE	false

org.kahina.core.control.KahinaEventTypes

Modifier and Type	Constant Field	Value
public static final java.lang.String	ACTIVATION	"GUI element activation"
public static final java.lang.String	CONTROL	"control"
public static final java.lang.String	DIALOG	"dialog"
public static final java.lang.String	LPBRIDGE	"logic programming bridge"
public static final java.lang.String	PERSPECTIVE	"perspective"
public static final java.lang.String	PROJECT	"project"
public static final java.lang.String	REDRAW	"redraw"
public static final java.lang.String	SELECTION	"select"
public static final java.lang.String	SESSION	"session"
public static final java.lang.String	STEP_DESCRIPTION	"stepdescription"
public static final java.lang.String	STEP_FOCUS	"stepfocus"
public static final java.lang.String	STEP_UPDATE	"step update"
public static final java.lang.String	SYSTEM	"system"
public static final java.lang.String	TREE	"tree"
public static final java.lang.String	TREE_MATCH	"treeMatch"
public static final java.lang.String	UPDATE	"update"
public static final java.lang.String	WARN	"warn"
public static final java.lang.String	WINDOW	"window"

org.kahina.core.control.KahinaSessionEvent

Modifier and Type	Constant Field	Value
public static final int	LOAD_SESSION	1
public static final int	SAVE_SESSION	0

org.kahina.core.control.KahinaSimpleProperty

Modifier and Type	Constant Field	Value
public static final int	CAPTION	1
public static final int	CONJUNCTION	-2
public static final int	CONTAINS	6
public static final int	DISJUNCTION	-3
public static final int	EDGE_LABEL	2
public static final int	ENDS_WITH	7
public static final int	EQUALITY	3
public static final int	GREATER	2
public static final int	GREATER_OR_EQUAL	1
public static final int	ID	4
public static final int	IDENTITY	0
public static final int	IMPLICATION	-4
public static final int	LESS	-2
public static final int	LESS_OR_EQUAL	-1
public static final int	MATCHING	4
public static final int	NEGATION	-1
public static final int	STARTS_WITH	5
public static final int	STATUS	3

org.kahina.core.control.KahinaSystemEvent

Modifier and Type	Constant Field	Value
public static final int	APPLY_BREAKPOINTS	1
public static final int	NODE_COUNT	2
public static final int	QUIT	0

org.kahina.core.data.agent.KahinaBreakpointType

Modifier and Type	Constant Field	Value
public static final int	CREEP_POINT	4
public static final int	FAIL_POINT	5
public static final int	PRIMARY_BREAKPOINT	0
public static final int	PRIMARY_WARN_POINT	7
public static final int	PROFILE_POINT	3
public static final int	SECONDARY_BREAKPOINT	1
public static final int	SECONDARY_WARN_POINT	8
public static final int	SKIP_POINT	2

org.kahina.core.data.dag.KahinaDAGEventType

Modifier and Type	Constant Field	Value
public static final int	NEW_NODE	0

org.kahina.core.data.tree.KahinaMemTree

Modifier and Type	Constant Field	Value
public static final boolean	VERBOSE	false

org.kahina.core.data.tree.KahinaTreeEventType

Modifier and Type	Constant Field	Value
public static final int	LAYER	1
public static final int	NEW_NODE	0

org.kahina.core.edit.breakpoint.BreakpointEditorEvent

Modifier and Type	Constant Field	Value
public static final int	ACTIVATE_BREAKPOINT	3
public static final int	APPLY_QUIT	11
public static final int	BREAKPOINT_NAME_UPDATE	10
public static final int	CHANGE_NODE_SELECTION_MODE	6
public static final int	DEACTIVATE_BREAKPOINT	4
public static final int	EXPORT_BREAKPOINT	1
public static final int	EXPORT_BREAKPOINT_PROFILE	12
public static final int	IMPORT_BREAKPOINT	2
public static final int	IMPORT_BREAKPOINT_PROFILE	13
public static final int	NEW_BREAKPOINT	0
public static final int	REMOVE_BREAKPOINT	5
public static final int	SYNCHRONIZE_EDITOR_VIEWS	9
public static final int	TEST_BREAKPOINTS	8
public static final int	TREE_NODE_UPDATE	7
public static final int	TREE_PATTERN_CHANGE	7

org.kahina.core.edit.breakpoint.KahinaBreakpointEditorPanel

Modifier and Type	Constant Field	Value
public static final int	NO_PENDING_OPERATION	-1
public static final int	PENDING_AND_OPERATION	0
public static final int	PENDING_IMPL_OPERATION	2
public static final int	PENDING_OR_OPERATION	1

org.kahina.core.edit.source.KahinaJEditPanel

Modifier and Type	Constant Field	Value
public static final java.lang.String	PROPERTY_DIRTY	"dirty"

org.kahina.core.gui.KahinaDialogEvent

Modifier and Type	Constant Field	Value
public static final int	ABOUT	3
public static final int	CALL_SUBTREE_PROFILE	10
public static final int	COMPILE	14
public static final int	CREEP_POINTS	7
public static final int	EDIT_WARNINGS	12
public static final int	FAIL_POINTS	8
public static final int	FULL_PROFILE	9
public static final int	HELP	2
public static final int	PARSE	13
public static final int	PARSE_OPTIONS	1
public static final int	PRIMARY_BREAKPOINTS	4
public static final int	PRIMARY_WARN_POINTS	15
public static final int	SEARCH_SUBTREE_PROFILE	11
public static final int	SECONDARY_BREAKPOINTS	5
public static final int	SECONDARY_WARN_POINTS	16
public static final int	SKIP_POINTS	6

org.kahina.core.gui.KahinaViewIntegrationType

Modifier and Type	Constant Field	Value
public static final int	HORIZONTAL	0
public static final int	TABBED	2
public static final int	VERTICAL	1

org.kahina.core.gui.event.KahinaPerspectiveEvent

Modifier and Type	Constant Field	Value
public static final int	LOAD_DEFAULT_PERSPECTIVE	3
public static final int	LOAD_PERSPECTIVE	1
public static final int	LOAD_RECENT_PERSPECTIVE	2
public static final int	SAVE_PERSPECTIVE	0

org.kahina.core.gui.event.KahinaWindowEventType

Modifier and Type	Constant Field	Value
public static final int	DISPOSE	15
public static final int	DYNAMIC_CLONE	13
public static final int	FLIP	8
public static final int	FUSE	16
public static final int	HORI_SPLIT	11
public static final int	NEW_DEFAULT	0
public static final int	NEW_HORI_SPLIT	1
public static final int	NEW_LIST	4
public static final int	NEW_TABBED	3
public static final int	NEW_VERT_SPLIT	2
public static final int	REMOVE	6
public static final int	RENAME	7
public static final int	RESTORE_FRAME	17
public static final int	SNAPSHOT_CLONE	14
public static final int	TOGGLE_VISIBLE	5
public static final int	UNDOCK	9
public static final int	UPDATE_VIEW_MENU	12
public static final int	VERT_SPLIT	10

org.kahina.core.gui.windows.KahinaWindowType

Modifier and Type	Constant Field	Value
public static final int	CONTROL_WINDOW	6
public static final int	DEFAULT_WINDOW	0
public static final int	HORI_SPLIT_WINDOW	1
public static final int	LIST_WINDOW	4
public static final int	MAIN_WINDOW	5
public static final int	TABBED_WINDOW	3
public static final int	VERT_SPLIT_WINDOW	2

org.kahina.core.visual.KahinaViewVisibility

Modifier and Type	Constant Field	Value
public static final int	EMBEDDED	1
public static final int	FREE	2
public static final int	INVISIBLE	0

org.kahina.core.visual.chart.KahinaChartViewOptions

Modifier and Type	Constant Field	Value
public static final int	ANCESTORS_ONLY	1
public static final int	ANTIALIASING	0
public static final int	BOTH_ANCESTORS_AND_DESCENDANTS	0
public static final int	BOTTOM_UP_DISPLAY	0
public static final int	DESCENDANTS_ONLY	2
public static final int	FIXED_WIDTH	0
public static final int	MAXIMAL_NECESSARY_WIDTH	2
public static final int	MINIMAL_NECESSARY_WIDTH	1
public static final int	NO_ANTIALIASING	1
public static final int	NO_DEPENDENCIES	3
public static final int	RANGE_COMPLETE	2
public static final int	RANGE_USED_ONLY	1
public static final int	RANGE_USED_OR_CAPTION_DEFINED	0
public static final int	STACK_EDGES_BY_ID	1
public static final int	STACK_EDGES_FILL_SPACE	0
public static final int	TOP_DOWN_DISPLAY	1

org.kahina.core.visual.dag.KahinaDAGView

Modifier and Type	Constant Field	Value
public static final int	ANTIALIASING	0
public static final int	NO_ANTIALIASING	1
public static final boolean	verbose	false

org.kahina.core.visual.dag.KahinaDAGViewOptions

Modifier and Type	Constant Field	Value
public static final int	ANTIALIASING	0
public static final int	BOX_VERTICES	1
public static final int	BOXED_EDGE_LABELS	3
public static final int	NO_ANTIALIASING	1
public static final int	NO_EDGE_LABELS	0
public static final int	OVAL_EDGE_LABELS	2
public static final int	OVAL_VERTICES	2
public static final int	POINT_VERTICES	0
public static final int	ROOT_POSITION_DEEP	1
public static final int	ROOT_POSITION_FIRST_LINE	0
public static final int	SIMPLE_EDGE_LABELS	1

org.kahina.core.visual.graph.KahinaGraphViewOptions

Modifier and Type	Constant Field	Value
public static final int	ANTIALIASING	0
public static final int	BOX_VERTICES	1
public static final int	BOXED_EDGE_LABELS	3
public static final int	EDGE_COLOR_BETWEEN_NODES_OF_SAME_COLOR	2
public static final int	EDGE_COLOR_FUNCTION_OF_VERTEX_COLOR	1
public static final int	EDGE_COLOR_INDEPENDENT	0
public static final int	EDGE_INTERPRETATION_DIRECTED	0
public static final int	EDGE_INTERPRETATION_UNDIRECTED	1
public static final int	EDGE_SHAPE_ARC	2
public static final int	EDGE_SHAPE_DIRECT	0
public static final int	EDGE_SHAPE_RECTANGULAR	1
public static final int	EDGES_ABOVE_VERTICES	1
public static final int	EDGES_ALL_VISIBLE	0
public static final int	EDGES_WITH_BOTH_NODES_VISIBLE	2
public static final int	EDGES_WITH_ONE_NODE_VISIBLE	1
public static final int	LAYOUT_CIRCULAR	1
public static final int	LAYOUT_GRID	0
public static final int	LAYOUT_SPRING	2
public static final int	NO_ANTIALIASING	1
public static final int	NO_EDGE_LABELS	0
public static final int	OVAL_EDGE_LABELS	2
public static final int	OVAL_VERTICES	2
public static final int	POINT_VERTICES	0
public static final int	SIMPLE_EDGE_LABELS	1
public static final int	SPECIAL_VERTICES_HIGHLIGHTED	0
public static final int	SPECIAL_VERTICES_MIXED	1
public static final int	SPECIAL_VERTICES_NORMAL_COLOR	1
public static final int	SPECIAL_VERTICES_SEPARATE	0
public static final int	VERTICES_ABOVE_EDGES	0
public static final int	VERTICES_ALL_VISIBLE	0
public static final int	VERTICES_EXPLICITLY_VISIBLE	2
public static final int	VERTICES_SPECIAL_VISIBLE	1

org.kahina.core.visual.tree.KahinaTreeViewOptions

Modifier and Type	Constant Field	Value
public static final int	ALWAYS	0
public static final int	ANTIALIASING	0
public static final int	AUTOSCROLL_TO_MARKED_NODE	1
public static final int	BOTTOM_UP_DISPLAY	1
public static final int	BOXED_EDGE_TAGS	3
public static final int	CENTERED_NODES	0
public static final int	COLLAPSE_PRIMARY	1
public static final int	COLLAPSE_SECONDARY	2
public static final int	COMPLETE_LINES	0
public static final int	CONDITIONALLY	4
public static final int	DOTTED_LINES	1
public static final int	EDGY_LINES	1
public static final int	GRAPHICALLY_SEPARATED	2
public static final int	INVISIBLE_LINES	2
public static final int	LEFT_ALIGNED_NODES	1
public static final int	NEVER	3
public static final int	NO_ANTIALIASING	1
public static final int	NO_AUTOSCROLL	0
public static final int	NO_COLLAPSING	0
public static final int	NO_EDGE_TAGS	0
public static final int	NO_SPECIAL_TREATMENT	0
public static final int	NODE_SHAPE_BOX	1
public static final int	NODE_SHAPE_OVAL	2
public static final int	NODE_SHAPE_POINT	0
public static final int	ON_EXTRA_LEVEL	1
public static final int	OVAL_EDGE_TAGS	2
public static final int	PRIMARY_CUT	0
public static final int	RIGHT_ALIGNED_NODES	2
public static final int	SECONDARY_CUT	1
public static final int	SIMPLE_EDGE_TAGS	1
public static final int	STATUS_DEFAULT_NO	2
public static final int	STATUS_DEFAULT_YES	1
public static final int	STRAIGHT_LINES	0
public static final int	TOP_DOWN_DISPLAY	0

org.kahina.logic.sat.freemuc.control.FreeMUCControlEventCommands

Modifier and Type	Constant Field	Value
public static final java.lang.String	CHECK_SAT	"check_sat"
public static final java.lang.String	LOAD_FILE	"load_file"

org.kahina.logic.sat.insertionmus.MUCInstance

Modifier and Type	Constant Field	Value
public static final boolean	CFG_FILTER	false

org.kahina.logic.sat.insertionmus.visual.MUCStepViewListener

Modifier and Type	Constant Field	Value
public static final long	DBL_CLICK_INTERVAL	200L

org.kahina.logic.sat.io.free.BooleanFormulaParser

Modifier and Type	Constant Field	Value
public static final boolean	verbose	false

org.kahina.logic.sat.io.minisat.FreezeFile

Modifier and Type	Constant Field	Value
public static final int	FREEZE	-1
public static final int	UNFREEZE	1

org.kahina.logic.sat.io.minisat.MiniSAT

Modifier and Type	Constant Field	Value
public static final int	FREEZE	-1
public static final int	UNFREEZE	1

org.kahina.logic.sat.io.minisat.MiniSATFiles

Modifier and Type	Constant Field	Value
public static final java.lang.String	tempDirectory	""

org.kahina.logic.sat.muc.MUCInstance

Modifier and Type	Constant Field	Value
public static final boolean	CFG_FILTER	false

org.kahina.logic.sat.muc.MUCStepType

Modifier and Type	Constant Field	Value
public static final int	COMPLETE	1
public static final int	MINIMAL	2
public static final int	REDUCIBLE	3
public static final int	UNKNOWN	0

org.kahina.logic.sat.muc.control.MUCControlEventCommands

Modifier and Type	Constant Field	Value
public static final java.lang.String	EXPORT_DIMACS	"export_dimacs"
public static final java.lang.String	EXPORT_SYMBOLIC_DIMACS	"export_symbolic_dimacs"
public static final java.lang.String	EXPORT_VAR_OCCURRENCES	"export_var_occurrences"
public static final java.lang.String	LOAD_FILE	"load_file"
public static final java.lang.String	LOAD_PATH	"load_path"

org.kahina.logic.sat.muc.test.MinUnsatCore

Modifier and Type	Constant Field	Value
public static final boolean	VERBOSE	false

org.kahina.logic.sat.muc.visual.MetaInstanceViewListener

Modifier and Type	Constant Field	Value
public static final long	DBL_CLICK_INTERVAL	200L

org.kahina.logic.sat.muc.visual.MUCStepControllerPanel

Modifier and Type	Constant Field	Value
public static final long	DBL_CLICK_INTERVAL	200L

org.kahina.logic.sat.muc.visual.MUCStepViewListener

Modifier and Type	Constant Field	Value
public static final long	DBL_CLICK_INTERVAL	200L

org.kahina.logic.sat.muc.visual.PartitionBlockViewListener

Modifier and Type	Constant Field	Value
public static final long	DBL_CLICK_INTERVAL	400L

org.kahina.logic.sat.muc.visual.RecursiveBlockViewListener

Modifier and Type	Constant Field	Value
public static final long	DBL_CLICK_INTERVAL	500L

org.kahina.logic.sat.test.NecessaryClauseStatistics

Modifier and Type	Constant Field	Value
public static final boolean	VERBOSE	true

org.kahina.lp.LogicProgrammingStepType

Modifier and Type	Constant Field	Value
public static final int	CALL	0
public static final int	DET_EXIT	2
public static final int	EXCEPTION	7
public static final int	EXIT	1
public static final int	FAIL	3
public static final int	PSEUDO_BLOCKED	5
public static final int	PSEUDO_UNBLOCKED	6
public static final int	REDO	4

org.kahina.lp.bridge.LogicProgrammingBridgeEventType

Modifier and Type	Constant Field	Value
public static final int	SET_GOAL_DESC	0
public static final int	STEP_CALL	6
public static final int	STEP_DET_EXIT	3
public static final int	STEP_EXCEPTION	7
public static final int	STEP_FAIL	5
public static final int	STEP_NONDET_EXIT	4
public static final int	STEP_REDO	2
public static final int	VIRTUAL_REDO	8

org.kahina.qtype.control.QTypeControlEventCommands

Modifier and Type	Constant Field	Value
public static final java.lang.String	COMPILE	"compile"
public static final java.lang.String	PARSE	"parse"
public static final java.lang.String	REGISTER_EXAMPLE	"register example"
public static final java.lang.String	REGISTER_GRAMMAR	"register grammar"
public static final java.lang.String	REGISTER_SENTENCE	"register sentence"
public static final java.lang.String	RESTART	"restart"
public static final java.lang.String	UPDATE_EXAMPLES	"update examples"

org.kahina.tralesld.TraleSLDStepStatus

Modifier and Type	Constant Field	Value
public static final int	PROGRESS	0

org.kahina.tralesld.TraleSLDStepType

Modifier and Type	Constant Field	Value
public static final int	FINISHED	9
public static final int	RULE_APPLICATION	8

org.kahina.tralesld.bridge.TraleSLDBridge

Modifier and Type	Constant Field	Value
public static final boolean	VERBOSE	false

org.kahina.tralesld.bridge.TraleSLDBridgeEventType

Modifier and Type	Constant Field	Value
public static final int	RULE_APP	0
public static final int	STEP_FINISHED	2

org.kahina.tralesld.control.TraleSLDControlEventCommands

Modifier and Type	Constant Field	Value
public static final java.lang.String	COMPILE	"compile"
public static final java.lang.String	PARSE	"parse"
public static final java.lang.String	REBUILD_SIGNATURE_INFO	"rebuild signature info"
public static final java.lang.String	REGISTER_GRAMMAR	"register grammar"
public static final java.lang.String	REGISTER_SENTENCE	"register sentence"
public static final java.lang.String	RESTART	"restart"
public static final java.lang.String	UPDATE_EXAMPLES	"update examples"

org.kahina.tralesld.control.TraleSLDEventTypes

Modifier and Type	Constant Field	Value
public static final java.lang.String	FS_EDITOR_MESSAGE	"editor message"
public static final java.lang.String	TYPE_SELECTION	"type selection"

org.kahina.tralesld.data.chart.TraleSLDChartEdgeStatus

Modifier and Type	Constant Field	Value
public static final int	FAILED	0
public static final int	PROSPECTIVE	2
public static final int	SUCCESSFUL	1

org.kahina.tralesld.visual.fs.TraleSLDFeatureEditEvent

Modifier and Type	Constant Field	Value
public static final int	COPY_FS	5
public static final int	FAILURE_MESSAGE	2
public static final int	INFO_MESSAGE	0
public static final int	SUCCESS	4
public static final int	SUCCESS_MESSAGE	1
public static final int	UPDATE_FS	6
public static final int	WARNING_MESSAGE	3

org.kahina.tralesld.visual.fs.TraleSLDFeatureStructureEditor

Modifier and Type	Constant Field	Value
public static final int	FREE_MODE	0
public static final int	TF_MODE	1
public static final int	TTF_MODE	2

org.kahina.tulipa.TulipaStepStatus

Modifier and Type	Constant Field	Value
public static final int	PREVENTED_PRODUCTION	3
public static final int	PRODUCTIVE	1
public static final int	UNPRODUCTIVE	2

org.kahina.tulipa.bridge.TulipaBridge

Modifier and Type	Constant Field	Value
public static final boolean	verbose	false

org.kahina.tulipa.bridge.TulipaBridgeCommand

Modifier and Type	Constant Field	Value
public static final int	CREEP	1
public static final int	DO_NOTHING	0
public static final int	FAIL	2

org.kahina.tulipa.bridge.TulipaBridgeEventType

Modifier and Type	Constant Field	Value
public static final int	INIT	6
public static final int	PREDICT	3
public static final int	RESUME	4
public static final int	SCAN	2
public static final int	SCAN_EPSILON	1
public static final int	SET_ITEM_DESC	0
public static final int	START	7
public static final int	SUSPEND	5
public static final int	UNPRODUCTIVE	8