| package org.eclipse.emf.henshin.sam.invcheck; | |
| /** | |
| * Constant definitions for plug-in preferences | |
| */ | |
| public class PreferenceConstants | |
| { | |
| /** | |
| * No comment provided by developer, please add a comment to improve documentation. | |
| */ | |
| public final static String P_RULE_PRIORITY = "rulePriority"; //$NON-NLS-1$ | |
| /** | |
| * No comment provided by developer, please add a comment to improve documentation. | |
| */ | |
| public final static String P_TARGET_GRAPH_PATTERN_OUTPUT = "targetGraphPatternOutput"; //$NON-NLS-1$ | |
| /** | |
| * No comment provided by developer, please add a comment to improve documentation. | |
| */ | |
| public final static String P_GENERATE_EXTENDET_RULES = "generateExtRules"; //$NON-NLS-1$ | |
| /** | |
| * No comment provided by developer, please add a comment to improve documentation. | |
| */ | |
| public final static String P_SHOW_ALL_TGPS = "showAllTGPs"; //$NON-NLS-1$ | |
| /** | |
| * No comment provided by developer, please add a comment to improve documentation. | |
| */ | |
| public final static String P_EVALUATE_PLUGIN = "evaluatePlugin"; //$NON-NLS-1$ | |
| /** | |
| * No comment provided by developer, please add a comment to improve documentation. | |
| */ | |
| public final static String P_DELETE_RESULTS = "deleteResults"; //$NON-NLS-1$ | |
| /** | |
| * No comment provided by developer, please add a comment to improve documentation. | |
| */ | |
| public final static String P_DELETE_GRAPHS_ON_PROJECT_CHANGE = "deleteGraphsOnChange"; //$NON-NLS-1$ | |
| /** | |
| * No comment provided by developer, please add a comment to improve documentation. | |
| */ | |
| public final static String P_SOLVER_STRATEGY = "solverStrategy"; //$NON-NLS-1$ | |
| } | |
| /* | |
| * $Log$ | |
| */ |