Modifier and Type | Constant Field | Value |
---|---|---|
public static final String |
LANGUAGE_EQUIVALENCE_ITERATION_STEP |
"[language equivalence] Iteration step: " |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final String |
LANGUAGE_INCLUSION_ITERATION_STEP |
"[language inclusion] Iteration step: " |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final String |
SIMULATION_ITERATION_STEP |
"[simulation] Iteration step: " |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final String |
UNIVERSALITY_ITERATION_STEP |
"[universality] Iteration step: " |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final String |
_serializedATN |
"\u0003\uacf5\uee8c\u4f5d\u8b0d\u4a45\u78bd\u1b2f\u3378\u0002\u001a\u00ea\b\u0001\u0004\u0002\t\u0002\u0004\u0003\t\u0003\u0004\u0004\t\u0004\u0004\u0005\t\u0005\u0004\u0006\t\u0006\u0004\u0007\t\u0007\u0004\b\t\b\u0004\t\t\t\u0004\n\t\n\u0004\u000b\t\u000b\u0004\f\t\f\u0004\r\t\r\u0004\u000e\t\u000e\u0004\u000f\t\u000f\u0004\u0010\t\u0010\u0004\u0011\t\u0011\u0004\u0012\t\u0012\u0004\u0013\t\u0013\u0004\u0014\t\u0014\u0004\u0015\t\u0015\u0004\u0016\t\u0016\u0004\u0017\t\u0017\u0004\u0018\t\u0018\u0004\u0019\t\u0019\u0004\u001a\t\u001a\u0004\u001b\t\u001b\u0004\u001c\t\u001c\u0003\u0002\u0003\u0002\u0003\u0003\u0003\u0003\u0003\u0003\u0003\u0004\u0003\u0004\u0003\u0005\u0003\u0005\u0003\u0006\u0003\u0006\u0003\u0007\u0003\u0007\u0003\b\u0003\b\u0003\b\u0003\t\u0003\t\u0003\n\u0003\n\u0003\u000b\u0003\u000b\u0003\f\u0003\f\u0003\f\u0003\f\u0003\f\u0003\f\u0003\f\u0003\r\u0003\r\u0003\r\u0003\r\u0003\r\u0003\r\u0003\u000e\u0003\u000e\u0003\u000e\u0003\u000e\u0003\u000e\u0003\u000e\u0003\u000e\u0003\u000e\u0003\u000f\u0003\u000f\u0003\u000f\u0003\u000f\u0003\u000f\u0003\u0010\u0003\u0010\u0003\u0010\u0003\u0010\u0003\u0010\u0003\u0011\u0003\u0011\u0003\u0011\u0003\u0011\u0003\u0011\u0003\u0011\u0003\u0011\u0003\u0011\u0003\u0011\u0003\u0012\u0005\u0012y\n\u0012\u0003\u0012\u0003\u0012\u0006\u0012}\n\u0012\r\u0012\u000e\u0012~\u0003\u0012\u0006\u0012\u0082\n\u0012\r\u0012\u000e\u0012\u0083\u0003\u0012\u0003\u0012\u0007\u0012\u0088\n\u0012\f\u0012\u000e\u0012\u008b\u000b\u0012\u0005\u0012\u008d\n\u0012\u0005\u0012\u008f\n\u0012\u0003\u0013\u0003\u0013\u0003\u0014\u0003\u0014\u0003\u0014\u0003\u0014\u0007\u0014\u0097\n\u0014\f\u0014\u000e\u0014\u009a\u000b\u0014\u0003\u0014\u0003\u0014\u0003\u0015\u0003\u0015\u0003\u0015\u0007\u0015\u00a1\n\u0015\f\u0015\u000e\u0015\u00a4\u000b\u0015\u0003\u0016\u0003\u0016\u0003\u0017\u0003\u0017\u0003\u0017\u0007\u0017\u00ab\n\u0017\f\u0017\u000e\u0017\u00ae\u000b\u0017\u0003\u0017\u0003\u0017\u0003\u0018\u0003\u0018\u0007\u0018\u00b4\n\u0018\f\u0018\u000e\u0018\u00b7\u000b\u0018\u0003\u0018\u0003\u0018\u0003\u0019\u0003\u0019\u0003\u0019\u0003\u0019\u0007\u0019\u00bf\n\u0019\f\u0019\u000e\u0019\u00c2\u000b\u0019\u0003\u0019\u0003\u0019\u0003\u0019\u0003\u0019\u0003\u0019\u0003\u001a\u0003\u001a\u0003\u001a\u0003\u001a\u0007\u001a\u00cd\n\u001a\f\u001a\u000e\u001a\u00d0\u000b\u001a\u0003\u001a\u0005\u001a\u00d3\n\u001a\u0003\u001a\u0003\u001a\u0003\u001a\u0003\u001a\u0003\u001b\u0003\u001b\u0007\u001b\u00db\n\u001b\f\u001b\u000e\u001b\u00de\u000b\u001b\u0003\u001b\u0003\u001b\u0003\u001b\u0003\u001b\u0003\u001c\u0006\u001c\u00e5\n\u001c\r\u001c\u000e\u001c\u00e6\u0003\u001c\u0003\u001c\u0007\u0098\u00b5\u00c0\u00ce\u00dc\u001d\u0003\u0003\u0001\u0005\u0004\u0001\u0007\u0005\u0001\t\u0006\u0001\u000b\u0007\u0001\r\b\u0001\u000f\t\u0001\u0011\n\u0001\u0013\u000b\u0001\u0015\f\u0001\u0017\r\u0001\u0019\u000e\u0001\u001b\u000f\u0001\u001d\u0010\u0001\u001f\u0011\u0001!\u0012\u0001#\u0013\u0001%\u0002\u0001\'\u0014\u0001)\u0015\u0001+\u0002\u0001-\u0016\u0001/\u0002\u00011\u0017\u00023\u0018\u00035\u0019\u00047\u001a\u0005\u0003\u0002\u0015\u0004\u0002UUuu\u0004\u0002VVvv\u0004\u0002TTtt\u0004\u0002KKkk\u0004\u0002EEee\u0004\u0002IIii\u0004\u0002CCcc\u0004\u0002RRrr\u0004\u0002JJjj\u0004\u0002FFff\u0004\u0002PPpp\u0004\u0002QQqq\u0004\u0002GGgg\u0004\u0002WWww\u0004\u0002DDdd\u0003\u00022;\u0006\u0002C\\aac|\u0082\u0101\u0004\u0002>>@@\u0005\u0002\u000b\f\u000f\u000f\"\"\u00f8\u0002\u0003\u0003\u0002\u0002\u0002\u0002\u0005\u0003\u0002\u0002\u0002\u0002\u0007\u0003\u0002\u0002\u0002\u0002\t\u0003\u0002\u0002\u0002\u0002\u000b\u0003\u0002\u0002\u0002\u0002\r\u0003\u0002\u0002\u0002\u0002\u000f\u0003\u0002\u0002\u0002\u0002\u0011\u0003\u0002\u0002\u0002\u0002\u0013\u0003\u0002\u0002\u0002\u0002\u0015\u0003\u0002\u0002\u0002\u0002\u0017\u0003\u0002\u0002\u0002\u0002\u0019\u0003\u0002\u0002\u0002\u0002\u001b\u0003\u0002\u0002\u0002\u0002\u001d\u0003\u0002\u0002\u0002\u0002\u001f\u0003\u0002\u0002\u0002\u0002!\u0003\u0002\u0002\u0002\u0002#\u0003\u0002\u0002\u0002\u0002\'\u0003\u0002\u0002\u0002\u0002)\u0003\u0002\u0002\u0002\u0002-\u0003\u0002\u0002\u0002\u00021\u0003\u0002\u0002\u0002\u00023\u0003\u0002\u0002\u0002\u00025\u0003\u0002\u0002\u0002\u00027\u0003\u0002\u0002\u0002\u00039\u0003\u0002\u0002\u0002\u0005;\u0003\u0002\u0002\u0002\u0007>\u0003\u0002\u0002\u0002\t@\u0003\u0002\u0002\u0002\u000bB\u0003\u0002\u0002\u0002\rD\u0003\u0002\u0002\u0002\u000fF\u0003\u0002\u0002\u0002\u0011I\u0003\u0002\u0002\u0002\u0013K\u0003\u0002\u0002\u0002\u0015M\u0003\u0002\u0002\u0002\u0017O\u0003\u0002\u0002\u0002\u0019V\u0003\u0002\u0002\u0002\u001b\\\u0003\u0002\u0002\u0002\u001dd\u0003\u0002\u0002\u0002\u001fi\u0003\u0002\u0002\u0002!n\u0003\u0002\u0002\u0002#x\u0003\u0002\u0002\u0002%\u0090\u0003\u0002\u0002\u0002\'\u0092\u0003\u0002\u0002\u0002)\u009d\u0003\u0002\u0002\u0002+\u00a5\u0003\u0002\u0002\u0002-\u00a7\u0003\u0002\u0002\u0002/\u00b1\u0003\u0002\u0002\u00021\u00ba\u0003\u0002\u0002\u00023\u00c8\u0003\u0002\u0002\u00025\u00d8\u0003\u0002\u0002\u00027\u00e4\u0003\u0002\u0002\u00029:\u0007_\u0002\u0002:\u0004\u0003\u0002\u0002\u0002;<\u0007/\u0002\u0002<=\u0007@\u0002\u0002=\u0006\u0003\u0002\u0002\u0002>?\u0007}\u0002\u0002?\b\u0003\u0002\u0002\u0002@A\u0007.\u0002\u0002A\n\u0003\u0002\u0002\u0002BC\u0007]\u0002\u0002C\f\u0003\u0002\u0002\u0002DE\u0007<\u0002\u0002E\u000e\u0003\u0002\u0002\u0002FG\u0007/\u0002\u0002GH\u0007/\u0002\u0002H\u0010\u0003\u0002\u0002\u0002IJ\u0007?\u0002\u0002J\u0012\u0003\u0002\u0002\u0002KL\u0007\u007f\u0002\u0002L\u0014\u0003\u0002\u0002\u0002MN\u0007=\u0002\u0002N\u0016\u0003\u0002\u0002\u0002OP\t\u0002\u0002\u0002PQ\t\u0003\u0002\u0002QR\t\u0004\u0002\u0002RS\t\u0005\u0002\u0002ST\t\u0006\u0002\u0002TU\t\u0003\u0002\u0002U\u0018\u0003\u0002\u0002\u0002VW\t\u0007\u0002\u0002WX\t\u0004\u0002\u0002XY\t\b\u0002\u0002YZ\t\t\u0002\u0002Z[\t\n\u0002\u0002[\u001a\u0003\u0002\u0002\u0002\\]\t\u000b\u0002\u0002]^\t\u0005\u0002\u0002^_\t\u0007\u0002\u0002_`\t\u0004\u0002\u0002`a\t\b\u0002\u0002ab\t\t\u0002\u0002bc\t\n\u0002\u0002c\u001c\u0003\u0002\u0002\u0002de\t\f\u0002\u0002ef\t\r\u0002\u0002fg\t\u000b\u0002\u0002gh\t\u000e\u0002\u0002h\u001e\u0003\u0002\u0002\u0002ij\t\u000e\u0002\u0002jk\t\u000b\u0002\u0002kl\t\u0007\u0002\u0002lm\t\u000e\u0002\u0002m \u0003\u0002\u0002\u0002no\t\u0002\u0002\u0002op\t\u000f\u0002\u0002pq\t\u0010\u0002\u0002qr\t\u0007\u0002\u0002rs\t\u0004\u0002\u0002st\t\b\u0002\u0002tu\t\t\u0002\u0002uv\t\n\u0002\u0002v\"\u0003\u0002\u0002\u0002wy\u0007/\u0002\u0002xw\u0003\u0002\u0002\u0002xy\u0003\u0002\u0002\u0002y\u008e\u0003\u0002\u0002\u0002z|\u00070\u0002\u0002{}\u0005%\u0013\u0002|{\u0003\u0002\u0002\u0002}~\u0003\u0002\u0002\u0002~|\u0003\u0002\u0002\u0002~\u007f\u0003\u0002\u0002\u0002\u007f\u008f\u0003\u0002\u0002\u0002\u0080\u0082\u0005%\u0013\u0002\u0081\u0080\u0003\u0002\u0002\u0002\u0082\u0083\u0003\u0002\u0002\u0002\u0083\u0081\u0003\u0002\u0002\u0002\u0083\u0084\u0003\u0002\u0002\u0002\u0084\u008c\u0003\u0002\u0002\u0002\u0085\u0089\u00070\u0002\u0002\u0086\u0088\u0005%\u0013\u0002\u0087\u0086\u0003\u0002\u0002\u0002\u0088\u008b\u0003\u0002\u0002\u0002\u0089\u0087\u0003\u0002\u0002\u0002\u0089\u008a\u0003\u0002\u0002\u0002\u008a\u008d\u0003\u0002\u0002\u0002\u008b\u0089\u0003\u0002\u0002\u0002\u008c\u0085\u0003\u0002\u0002\u0002\u008c\u008d\u0003\u0002\u0002\u0002\u008d\u008f\u0003\u0002\u0002\u0002\u008ez\u0003\u0002\u0002\u0002\u008e\u0081\u0003\u0002\u0002\u0002\u008f$\u0003\u0002\u0002\u0002\u0090\u0091\t\u0011\u0002\u0002\u0091&\u0003\u0002\u0002\u0002\u0092\u0098\u0007$\u0002\u0002\u0093\u0094\u0007^\u0002\u0002\u0094\u0097\u0007$\u0002\u0002\u0095\u0097\u000b\u0002\u0002\u0002\u0096\u0093\u0003\u0002\u0002\u0002\u0096\u0095\u0003\u0002\u0002\u0002\u0097\u009a\u0003\u0002\u0002\u0002\u0098\u0099\u0003\u0002\u0002\u0002\u0098\u0096\u0003\u0002\u0002\u0002\u0099\u009b\u0003\u0002\u0002\u0002\u009a\u0098\u0003\u0002\u0002\u0002\u009b\u009c\u0007$\u0002\u0002\u009c(\u0003\u0002\u0002\u0002\u009d\u00a2\u0005+\u0016\u0002\u009e\u00a1\u0005+\u0016\u0002\u009f\u00a1\u0005%\u0013\u0002\u00a0\u009e\u0003\u0002\u0002\u0002\u00a0\u009f\u0003\u0002\u0002\u0002\u00a1\u00a4\u0003\u0002\u0002\u0002\u00a2\u00a0\u0003\u0002\u0002\u0002\u00a2\u00a3\u0003\u0002\u0002\u0002\u00a3*\u0003\u0002\u0002\u0002\u00a4\u00a2\u0003\u0002\u0002\u0002\u00a5\u00a6\t\u0012\u0002\u0002\u00a6,\u0003\u0002\u0002\u0002\u00a7\u00ac\u0007>\u0002\u0002\u00a8\u00ab\u0005/\u0018\u0002\u00a9\u00ab\n\u0013\u0002\u0002\u00aa\u00a8\u0003\u0002\u0002\u0002\u00aa\u00a9\u0003\u0002\u0002\u0002\u00ab\u00ae\u0003\u0002\u0002\u0002\u00ac\u00aa\u0003\u0002\u0002\u0002\u00ac\u00ad\u0003\u0002\u0002\u0002\u00ad\u00af\u0003\u0002\u0002\u0002\u00ae\u00ac\u0003\u0002\u0002\u0002\u00af\u00b0\u0007@\u0002\u0002\u00b0.\u0003\u0002\u0002\u0002\u00b1\u00b5\u0007>\u0002\u0002\u00b2\u00b4\u000b\u0002\u0002\u0002\u00b3\u00b2\u0003\u0002\u0002\u0002\u00b4\u00b7\u0003\u0002\u0002\u0002\u00b5\u00b6\u0003\u0002\u0002\u0002\u00b5\u00b3\u0003\u0002\u0002\u0002\u00b6\u00b8\u0003\u0002\u0002\u0002\u00b7\u00b5\u0003\u0002\u0002\u0002\u00b8\u00b9\u0007@\u0002\u0002\u00b90\u0003\u0002\u0002\u0002\u00ba\u00bb\u00071\u0002\u0002\u00bb\u00bc\u0007,\u0002\u0002\u00bc\u00c0\u0003\u0002\u0002\u0002\u00bd\u00bf\u000b\u0002\u0002\u0002\u00be\u00bd\u0003\u0002\u0002\u0002\u00bf\u00c2\u0003\u0002\u0002\u0002\u00c0\u00c1\u0003\u0002\u0002\u0002\u00c0\u00be\u0003\u0002\u0002\u0002\u00c1\u00c3\u0003\u0002\u0002\u0002\u00c2\u00c0\u0003\u0002\u0002\u0002\u00c3\u00c4\u0007,\u0002\u0002\u00c4\u00c5\u00071\u0002\u0002\u00c5\u00c6\u0003\u0002\u0002\u0002\u00c6\u00c7\b\u0019\u0002\u0002\u00c72\u0003\u0002\u0002\u0002\u00c8\u00c9\u00071\u0002\u0002\u00c9\u00ca\u00071\u0002\u0002\u00ca\u00ce\u0003\u0002\u0002\u0002\u00cb\u00cd\u000b\u0002\u0002\u0002\u00cc\u00cb\u0003\u0002\u0002\u0002\u00cd\u00d0\u0003\u0002\u0002\u0002\u00ce\u00cf\u0003\u0002\u0002\u0002\u00ce\u00cc\u0003\u0002\u0002\u0002\u00cf\u00d2\u0003\u0002\u0002\u0002\u00d0\u00ce\u0003\u0002\u0002\u0002\u00d1\u00d3\u0007\u000f\u0002\u0002\u00d2\u00d1\u0003\u0002\u0002\u0002\u00d2\u00d3\u0003\u0002\u0002\u0002\u00d3\u00d4\u0003\u0002\u0002\u0002\u00d4\u00d5\u0007\f\u0002\u0002\u00d5\u00d6\u0003\u0002\u0002\u0002\u00d6\u00d7\b\u001a\u0003\u0002\u00d74\u0003\u0002\u0002\u0002\u00d8\u00dc\u0007%\u0002\u0002\u00d9\u00db\u000b\u0002\u0002\u0002\u00da\u00d9\u0003\u0002\u0002\u0002\u00db\u00de\u0003\u0002\u0002\u0002\u00dc\u00dd\u0003\u0002\u0002\u0002\u00dc\u00da\u0003\u0002\u0002\u0002\u00dd\u00df\u0003\u0002\u0002\u0002\u00de\u00dc\u0003\u0002\u0002\u0002\u00df\u00e0\u0007\f\u0002\u0002\u00e0\u00e1\u0003\u0002\u0002\u0002\u00e1\u00e2\b\u001b\u0004\u0002\u00e26\u0003\u0002\u0002\u0002\u00e3\u00e5\t\u0014\u0002\u0002\u00e4\u00e3\u0003\u0002\u0002\u0002\u00e5\u00e6\u0003\u0002\u0002\u0002\u00e6\u00e4\u0003\u0002\u0002\u0002\u00e6\u00e7\u0003\u0002\u0002\u0002\u00e7\u00e8\u0003\u0002\u0002\u0002\u00e8\u00e9\b\u001c\u0005\u0002\u00e98\u0003\u0002\u0002\u0002\u0015\u0002x~\u0083\u0089\u008c\u008e\u0096\u0098\u00a0\u00a2\u00aa\u00ac\u00b5\u00c0\u00ce\u00d2\u00dc\u00e6" |
public static final int |
COMMENT |
21 |
public static final int |
DIGRAPH |
13 |
public static final int |
EDGE |
15 |
public static final int |
GRAPH |
12 |
public static final int |
HTML_STRING |
20 |
public static final int |
ID |
19 |
public static final int |
LINE_COMMENT |
22 |
public static final int |
NODE |
14 |
public static final int |
NUMBER |
17 |
public static final int |
PREPROC |
23 |
public static final int |
STRICT |
11 |
public static final int |
STRING |
18 |
public static final int |
SUBGRAPH |
16 |
public static final int |
T__0 |
10 |
public static final int |
T__1 |
9 |
public static final int |
T__2 |
8 |
public static final int |
T__3 |
7 |
public static final int |
T__4 |
6 |
public static final int |
T__5 |
5 |
public static final int |
T__6 |
4 |
public static final int |
T__7 |
3 |
public static final int |
T__8 |
2 |
public static final int |
T__9 |
1 |
public static final int |
WS |
24 |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final String |
_serializedATN |
"\u0003\uacf5\uee8c\u4f5d\u8b0d\u4a45\u78bd\u1b2f\u3378\u0003\u001a\u0082\u0004\u0002\t\u0002\u0004\u0003\t\u0003\u0004\u0004\t\u0004\u0004\u0005\t\u0005\u0004\u0006\t\u0006\u0004\u0007\t\u0007\u0004\b\t\b\u0004\t\t\t\u0004\n\t\n\u0004\u000b\t\u000b\u0004\f\t\f\u0004\r\t\r\u0004\u000e\t\u000e\u0004\u000f\t\u000f\u0003\u0002\u0005\u0002 \n\u0002\u0003\u0002\u0003\u0002\u0005\u0002$\n\u0002\u0003\u0002\u0003\u0002\u0003\u0002\u0003\u0002\u0003\u0003\u0003\u0003\u0005\u0003,\n\u0003\u0007\u0003.\n\u0003\f\u0003\u000e\u00031\u000b\u0003\u0003\u0004\u0003\u0004\u0003\u0004\u0003\u0004\u0003\u0004\u0003\u0004\u0003\u0004\u0003\u0004\u0005\u0004;\n\u0004\u0003\u0005\u0003\u0005\u0003\u0005\u0003\u0006\u0003\u0006\u0005\u0006B\n\u0006\u0003\u0006\u0006\u0006E\n\u0006\r\u0006\u000e\u0006F\u0003\u0007\u0003\u0007\u0003\u0007\u0005\u0007L\n\u0007\u0003\u0007\u0005\u0007O\n\u0007\u0006\u0007Q\n\u0007\r\u0007\u000e\u0007R\u0003\b\u0003\b\u0005\bW\n\b\u0003\b\u0003\b\u0005\b[\n\b\u0003\t\u0003\t\u0003\t\u0005\t`\n\t\u0006\tb\n\t\r\t\u000e\tc\u0003\n\u0003\n\u0003\u000b\u0003\u000b\u0005\u000bj\n\u000b\u0003\f\u0003\f\u0005\fn\n\f\u0003\r\u0003\r\u0003\r\u0003\r\u0005\rt\n\r\u0003\u000e\u0003\u000e\u0005\u000ex\n\u000e\u0005\u000ez\n\u000e\u0003\u000e\u0003\u000e\u0003\u000e\u0003\u000e\u0003\u000f\u0003\u000f\u0003\u000f\u0002\u0010\u0002\u0004\u0006\b\n\f\u000e\u0010\u0012\u0014\u0016\u0018\u001a\u001c\u0002\u0006\u0003\u0002\u000e\u000f\u0004\u0002\u000e\u000e\u0010\u0011\u0004\u0002\u0004\u0004\t\t\u0003\u0002\u0013\u0016\u0089\u0002\u001f\u0003\u0002\u0002\u0002\u0004/\u0003\u0002\u0002\u0002\u0006:\u0003\u0002\u0002\u0002\b<\u0003\u0002\u0002\u0002\nD\u0003\u0002\u0002\u0002\fP\u0003\u0002\u0002\u0002\u000eV\u0003\u0002\u0002\u0002\u0010a\u0003\u0002\u0002\u0002\u0012e\u0003\u0002\u0002\u0002\u0014g\u0003\u0002\u0002\u0002\u0016k\u0003\u0002\u0002\u0002\u0018o\u0003\u0002\u0002\u0002\u001ay\u0003\u0002\u0002\u0002\u001c\u007f\u0003\u0002\u0002\u0002\u001e \u0007\r\u0002\u0002\u001f\u001e\u0003\u0002\u0002\u0002\u001f \u0003\u0002\u0002\u0002 !\u0003\u0002\u0002\u0002!#\t\u0002\u0002\u0002\"$\u0005\u001c\u000f\u0002#\"\u0003\u0002\u0002\u0002#$\u0003\u0002\u0002\u0002$%\u0003\u0002\u0002\u0002%&\u0007\u0005\u0002\u0002&\'\u0005\u0004\u0003\u0002\'(\u0007\u000b\u0002\u0002(\u0003\u0003\u0002\u0002\u0002)+\u0005\u0006\u0004\u0002*,\u0007\f\u0002\u0002+*\u0003\u0002\u0002\u0002+,\u0003\u0002\u0002\u0002,.\u0003\u0002\u0002\u0002-)\u0003\u0002\u0002\u0002.1\u0003\u0002\u0002\u0002/-\u0003\u0002\u0002\u0002/0\u0003\u0002\u0002\u00020\u0005\u0003\u0002\u0002\u00021/\u0003\u0002\u0002\u00022;\u0005\u0014\u000b\u00023;\u0005\u000e\b\u00024;\u0005\b\u0005\u000256\u0005\u001c\u000f\u000267\u0007\n\u0002\u000278\u0005\u001c\u000f\u00028;\u0003\u0002\u0002\u00029;\u0005\u001a\u000e\u0002:2\u0003\u0002\u0002\u0002:3\u0003\u0002\u0002\u0002:4\u0003\u0002\u0002\u0002:5\u0003\u0002\u0002\u0002:9\u0003\u0002\u0002\u0002;\u0007\u0003\u0002\u0002\u0002<=\t\u0003\u0002\u0002=>\u0005\n\u0006\u0002>\t\u0003\u0002\u0002\u0002?A\u0007\u0007\u0002\u0002@B\u0005\f\u0007\u0002A@\u0003\u0002\u0002\u0002AB\u0003\u0002\u0002\u0002BC\u0003\u0002\u0002\u0002CE\u0007\u0003\u0002\u0002D?\u0003\u0002\u0002\u0002EF\u0003\u0002\u0002\u0002FD\u0003\u0002\u0002\u0002FG\u0003\u0002\u0002\u0002G\u000b\u0003\u0002\u0002\u0002HK\u0005\u001c\u000f\u0002IJ\u0007\n\u0002\u0002JL\u0005\u001c\u000f\u0002KI\u0003\u0002\u0002\u0002KL\u0003\u0002\u0002\u0002LN\u0003\u0002\u0002\u0002MO\u0007\u0006\u0002\u0002NM\u0003\u0002\u0002\u0002NO\u0003\u0002\u0002\u0002OQ\u0003\u0002\u0002\u0002PH\u0003\u0002\u0002\u0002QR\u0003\u0002\u0002\u0002RP\u0003\u0002\u0002\u0002RS\u0003\u0002\u0002\u0002S\r\u0003\u0002\u0002\u0002TW\u0005\u0016\f\u0002UW\u0005\u001a\u000e\u0002VT\u0003\u0002\u0002\u0002VU\u0003\u0002\u0002\u0002WX\u0003\u0002\u0002\u0002XZ\u0005\u0010\t\u0002Y[\u0005\n\u0006\u0002ZY\u0003\u0002\u0002\u0002Z[\u0003\u0002\u0002\u0002[\u000f\u0003\u0002\u0002\u0002\\_\u0005\u0012\n\u0002]`\u0005\u0016\f\u0002^`\u0005\u001a\u000e\u0002_]\u0003\u0002\u0002\u0002_^\u0003\u0002\u0002\u0002`b\u0003\u0002\u0002\u0002a\\\u0003\u0002\u0002\u0002bc\u0003\u0002\u0002\u0002ca\u0003\u0002\u0002\u0002cd\u0003\u0002\u0002\u0002d\u0011\u0003\u0002\u0002\u0002ef\t\u0004\u0002\u0002f\u0013\u0003\u0002\u0002\u0002gi\u0005\u0016\f\u0002hj\u0005\n\u0006\u0002ih\u0003\u0002\u0002\u0002ij\u0003\u0002\u0002\u0002j\u0015\u0003\u0002\u0002\u0002km\u0005\u001c\u000f\u0002ln\u0005\u0018\r\u0002ml\u0003\u0002\u0002\u0002mn\u0003\u0002\u0002\u0002n\u0017\u0003\u0002\u0002\u0002op\u0007\b\u0002\u0002ps\u0005\u001c\u000f\u0002qr\u0007\b\u0002\u0002rt\u0005\u001c\u000f\u0002sq\u0003\u0002\u0002\u0002st\u0003\u0002\u0002\u0002t\u0019\u0003\u0002\u0002\u0002uw\u0007\u0012\u0002\u0002vx\u0005\u001c\u000f\u0002wv\u0003\u0002\u0002\u0002wx\u0003\u0002\u0002\u0002xz\u0003\u0002\u0002\u0002yu\u0003\u0002\u0002\u0002yz\u0003\u0002\u0002\u0002z{\u0003\u0002\u0002\u0002{|\u0007\u0005\u0002\u0002|}\u0005\u0004\u0003\u0002}~\u0007\u000b\u0002\u0002~\u001b\u0003\u0002\u0002\u0002\u007f\u0080\t\u0005\u0002\u0002\u0080\u001d\u0003\u0002\u0002\u0002\u0015\u001f#+/:AFKNRVZ_cimswy" |
public static final int |
COMMENT |
21 |
public static final int |
DIGRAPH |
13 |
public static final int |
EDGE |
15 |
public static final int |
GRAPH |
12 |
public static final int |
HTML_STRING |
20 |
public static final int |
ID |
19 |
public static final int |
LINE_COMMENT |
22 |
public static final int |
NODE |
14 |
public static final int |
NUMBER |
17 |
public static final int |
PREPROC |
23 |
public static final int |
RULE_a_list |
5 |
public static final int |
RULE_attr_list |
4 |
public static final int |
RULE_attr_stmt |
3 |
public static final int |
RULE_edge_stmt |
6 |
public static final int |
RULE_edgeop |
8 |
public static final int |
RULE_edgeRHS |
7 |
public static final int |
RULE_graph |
0 |
public static final int |
RULE_id |
13 |
public static final int |
RULE_node_id |
10 |
public static final int |
RULE_node_stmt |
9 |
public static final int |
RULE_port |
11 |
public static final int |
RULE_stmt |
2 |
public static final int |
RULE_stmt_list |
1 |
public static final int |
RULE_subgraph |
12 |
public static final int |
STRICT |
11 |
public static final int |
STRING |
18 |
public static final int |
SUBGRAPH |
16 |
public static final int |
T__0 |
10 |
public static final int |
T__1 |
9 |
public static final int |
T__2 |
8 |
public static final int |
T__3 |
7 |
public static final int |
T__4 |
6 |
public static final int |
T__5 |
5 |
public static final int |
T__6 |
4 |
public static final int |
T__7 |
3 |
public static final int |
T__8 |
2 |
public static final int |
T__9 |
1 |
public static final int |
WS |
24 |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final String |
ARITY_TOKEN |
":" |
public static final String |
COMMENT_TOKEN |
"#" |
public static final String |
CONNECT_PARAMETER |
"\\((\\p{Alpha}+|A):(\\d+)\\)" |
public static final String |
CONNECT_TOKEN |
"connect" |
public static final String |
FUSE_TOKEN |
"fuse" |
public static final String |
INTERFACE_PATTERN |
"interface\\s*=\\s*(\\d+)" |
public static final String |
INTERFACE_SIZE_TOKEN |
"interface" |
public static final String |
LABEL_PATTERN |
"\\p{Alpha}+|A" |
public static final String |
LETTER_A_TOKEN |
"a" |
public static final String |
LETTER_B_TOKEN |
"b" |
public static final String |
LETTER_C_TOKEN |
"c" |
public static final String |
NUMBER_PATTERN |
"\\d+" |
public static final String |
OPERATION_PATTERN |
"(connect\\((\\p{Alpha}+|A):(\\d+)\\)|fuse|perm|res|trans|vertex)" |
public static final String |
PERM_TOKEN |
"perm" |
public static final String |
RES_TOKEN |
"res" |
public static final String |
TRANS_TOKEN |
"trans" |
public static final String |
TRANSITION_PATTERN |
"connect|fuse|perm|res|trans|vertex" |
public static final String |
VERTEX_TOKEN |
"vertex" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final String |
ACTIVATED_KEY |
"raven.text.activated" |
public static final String |
ADD_DESCRIPTION_KEY |
"raven.command.add" |
public static final String |
ALIAS_DESCRIPTION_KEY |
"raven.command.alias" |
public static final String |
AUTOMATON_ADDED_KEY |
"raven.text.automatonAdded" |
public static final String |
AUTOMATON_DESCRIPTION_KEY |
"raven.command.automaton" |
public static final String |
AUTOMATON_KEY |
"raven.text.automaton" |
public static final String |
AUTOMATON_NAME_IS_EMPTY_KEY |
"raven.text.automatonNameIsEmpty" |
public static final String |
AUTOMATON_NAME_IS_NULL_KEY |
"raven.text.automatonNameIsNull" |
public static final String |
AUTOMATON_NOT_FOUND_KEY |
"raven.text.automatonNotFound" |
public static final String |
AUTOMATON_SAVED_KEY |
"raven.text.automatonSaved" |
public static final String |
BDD_SIZE_KEY |
"raven.text.bddSize" |
public static final String |
CHECK_INVARIANT_ANTICHAIN |
"raven.text.checkInvariantAntichain" |
public static final String |
CHECK_INVARIANT_BISIMULATION_UP_TO |
"raven.text.checkInvariantBisimulationUpTo" |
public static final String |
CHECK_INVARIANT_SIMULATION_ANTICHAIN |
"raven.text.checkInvariantSimulationAntichain" |
public static final String |
COMPUTATION_INTERRUPTED_KEY |
"raven.text.computationInterrupted" |
public static final String |
COMPUTING_COSPAN_DECOMPOSITION_KEY |
"raven.text.computeCospanDecomposition" |
public static final String |
COMPUTING_GRAPH_DECOMPOSITION_KEY |
"raven.text.computeGraphDecomposition" |
public static final String |
COMPUTING_LANGUAGE_INCLUSION_KEY |
"raven.text.computeLanguageInclusion" |
public static final String |
COSPAN_ADDED_KEY |
"raven.text.cospanAdded" |
public static final String |
COSPAN_ALREADY_EXISTS_EXCEPTION_KEY |
"raven.exception.cospanAlreadyExists" |
public static final String |
COSPAN_DECOMPOSITION_ALREADY_EXISTS_EXCEPTION_KEY |
"raven.exception.cospanDecompositionAlreadyExists" |
public static final String |
COSPAN_DECOMPOSITION_FAILED_EXCEPTION_KEY |
"raven.exception.decompositionFailed" |
public static final String |
COSPAN_DEFINITION_MODE_COMMANDS_KEY |
"raven.command.cospanDefinitionModeCommands" |
public static final String |
COSPAN_DEFINITION_MODE_STARTED_KEY |
"raven.command.cospanDefinitionModeStarted" |
public static final String |
COSPAN_KEY |
"raven.text.cospan" |
public static final String |
COSPAN_NOT_FOUND_KEY |
"raven.text.cospanNotFound" |
public static final String |
COSPAN_OR_DECOMPOSITION_NOT_FOUND_KEY |
"raven.text.cospanOrDecompositionNotFound" |
public static final String |
COSPAN_SAVED_KEY |
"raven.text.cospanSaved" |
public static final String |
COUNTER_EXAMPLE_FOUND_KEY |
"raven.text.counterExampleFound" |
public static final String |
DATA_CAN_NOT_BE_SAVED_KEY |
"raven.text.dataCanNotBeSaved" |
public static final String |
DATA_NOT_FOUND_EXCEPTION_KEY |
"raven.exception.dataNotFound" |
public static final String |
DATA_NOT_FOUND_KEY |
"raven.text.dataNotExisting" |
public static final String |
DATA_REMOVED_KEY |
"raven.text.dataRemoved" |
public static final String |
DATA_RENAMED_SUCCESSFULLY_KEY |
"raven.text.dataRenamedSuccessfully" |
public static final String |
DATA_RENAMING_FAILED_KEY |
"raven.exception.dataRenamingFailed" |
public static final String |
DEACTIVATED_KEY |
"raven.text.deactivated" |
public static final String |
DECOMPOSITION_ADDED_KEY |
"raven.text.decompositionAdded" |
public static final String |
DECOMPOSITION_DEFINITION_MODE_COMMANDS_KEY |
"raven.command.decompositionDefinitionModeCommands" |
public static final String |
DECOMPOSITION_KEY |
"raven.text.decomposition" |
public static final String |
DECOMPOSITION_NOT_FOUND_KEY |
"raven.text.decompositionNotFound" |
public static final String |
DECOMPOSITION_PRINTED_KEY |
"raven.text.decompositionPrinted" |
public static final String |
DECOMPOSITION_SAVED_KEY |
"raven.text.decompositionSaved" |
public static final String |
DEFINE_DESCRIPTION_KEY |
"raven.command.define" |
public static final String |
DELETE_DESCRIPTION_KEY |
"raven.command.delete" |
public static final String |
DENSITY_MUST_NOT_BE_GREATER_THAN_HUNDRED_KEY |
"raven.text.densityMustNotBeGreaterThanHundred" |
public static final String |
DENSITY_MUST_NOT_BE_LESS_THAN_ZERO_KEY |
"raven.text.densityMustNotBeLessThanZero" |
public static final String |
DIFFERENT_INNER_INTERFACES_KEY |
"raven.text.differentInnerInterfaces" |
public static final String |
DIFFERENT_MAXIMUM_INTERFACES_KEY |
"raven.text.differentMaximumInterfaces" |
public static final String |
DIFFERENT_SIGNATURES_KEY |
"raven.text.differentSignatures" |
public static final String |
DIRECTORY_NOT_CREATED_KEY |
"raven.exception.directoryNotCreated" |
public static final String |
DIVISOR_LESS_THAN_ONE_KEY |
"raven.exception.divisorLessOne" |
public static final String |
EDGE_DESCRIPTION_KEY |
"raven.command.edge" |
public static final String |
EDGE_KEY |
"raven.text.edge" |
public static final String |
ELAPSED_TIME_KEY |
"raven.text.elapsedTime" |
public static final String |
EMPTINESS_DESCRIPTION_KEY |
"raven.command.emptiness" |
public static final String |
EMPTINESS_DOES_HOLD_KEY |
"raven.text.emptinessDoesHold" |
public static final String |
EMPTINESS_DOES_NOT_HOLD_KEY |
"raven.text.emptinessDoesHold" |
public static final String |
EMPTY_STRING_KEY |
"raven.exception.emptyString" |
public static final String |
ENCODING_KEY |
"raven.text.encoding" |
public static final String |
END_DESCRIPTION_KEY |
"raven.command.end" |
public static final String |
EXCEPTION_DURING_UPDATE_KEY |
"raven.exception.exceptionDuringUpdate" |
public static final String |
EXCEPTION_OCCURED_KEY |
"raven.exception.exceptionOccured" |
public static final String |
EXIT_DEFINITION_MODE_DESCRIPTION_KEY |
"raven.command.exitDefinitionMode" |
public static final String |
EXIT_DESCRIPTION_KEY |
"raven.command.exit" |
public static final String |
FILE_ALREADY_EXISTING_KEY |
"raven.text.fileAlreadyExisting" |
public static final String |
FILE_NOT_FOUND_KEY |
"raven.exception.fileNotFound" |
public static final String |
FORMULA_ADDED_KEY |
"raven.text.formulaAdded" |
public static final String |
FORMULA_ALREADY_EXISTS_EXCEPTION |
"raven.exception.formulaAlreadyExists" |
public static final String |
GET_ADDITIONAL_HELP_DESCRIPTION_KEY |
"raven.command.getAdditionalHelp" |
public static final String |
GET_HELP_DESCRIPTION_KEY |
"raven.command.getHelp" |
public static final String |
GOODBYE_KEY |
"raven.text.goodbye" |
public static final String |
GRAPH_ADDED_KEY |
"raven.text.graphAdded" |
public static final String |
GRAPH_ALREADY_EXISTS_EXCEPTION |
"raven.exception.graphAlreadyExists" |
public static final String |
GRAPH_DECOMPOSITION_KEY |
"raven.text.graphDecomposition" |
public static final String |
GRAPH_DEFINITION_MODE_COMMANDS_KEY |
"raven.command.graphDefinitionModeCommands" |
public static final String |
GRAPH_NOT_FOUND_KEY |
"raven.text.graphNotFound" |
public static final String |
GRAPH_PRINTED_KEY |
"raven.text.graphPrinted" |
public static final String |
GRAPH_SAVED_KEY |
"raven.text.graphSaved" |
public static final String |
HELP_DESCRIPTION_KEY |
"raven.command.help" |
public static final String |
ILLEGAL_OPERATION_KEY |
"raven.exception.illegalOperation" |
public static final String |
INFO_DESCRIPTION_KEY |
"raven.command.info" |
public static final String |
INFORMATION_KEY |
"raven.text.information" |
public static final String |
INNER_INTERFACE_DESCRIPTION_KEY |
"raven.command.innerInterface" |
public static final String |
INNER_INTERFACE_KEY |
"raven.text.innerInterface" |
public static final String |
INTERFACE_SIZES_KEY |
"raven.text.interfaceSizes" |
public static final String |
INVARIANT_DESCRIPTION_KEY |
"raven.command.invariant" |
public static final String |
IS_AN_INVARIANT_KEY |
"raven.text.isAnInvariant" |
public static final String |
IS_NOT_AN_INVARIANT_KEY |
"raven.text.isNotAnInvariant" |
public static final String |
LABEL_MUST_NOT_BE_EMPTY_KEY |
"raven.text.labelMustNotBeEmpty" |
public static final String |
LANGUAGE_INCLUSION_DESCRIPTION_KEY |
"raven.command.languageInclusion" |
public static final String |
LANGUAGE_INCLUSION_DOES_HOLD |
"raven.text.languageInclusionDoesHold" |
public static final String |
LANGUAGE_INCLUSION_DOES_NOT_HOLD |
"raven.text.languageInclusionDoesNotHold" |
public static final String |
LEFT_HAND_SIDE_KEY |
"raven.text.leftHandSide" |
public static final String |
LENGTH_KEY |
"raven.text.length" |
public static final String |
LOAD_DESCRIPTION_KEY |
"raven.command.load" |
public static final String |
MAXIMUM_GREATER_THAN_MAXIMUM_INTERFACE_KEY |
"raven.exception.maximumGreaterThanMaximumInterface" |
public static final String |
MAXIMUM_INTERFACE_KEY |
"raven.text.maximumInterface" |
public static final String |
MAXIMUM_LESS_THAN_ZERO_KEY |
"raven.exception.maximumLessZero" |
public static final String |
MEMBERSHIP_DESCRIPTION_KEY |
"raven.command.membership" |
public static final String |
MIDDLE_GRAPH_KEY |
"raven.text.middleGraph" |
public static final String |
MINIMUM_GREATER_THAN_MAXIMUM_INTERFACE_KEY |
"raven.exception.minimumGreaterThanMaximumInterface" |
public static final String |
MINIMUM_LESS_THAN_ZERO_KEY |
"raven.exception.minimumLessZero" |
public static final String |
MISSING_ILLEGAL_ARGUMENT_DESCRIPTION_KEY |
"raven.command.missingIllegalArgument" |
public static final String |
NAME_KEY |
"raven.text.name" |
public static final String |
NAME_MUST_NOT_BE_EMPTY_KEY |
"raven.text.nameMustNotBeEmpty" |
public static final String |
NO_DOCUMENTATION_KEY |
"raven.text.noDocumentation" |
public static final String |
NO_PRINT_ACTION_AVAILABLE_DESCRIPTION_KEY |
"raven.command.noPrintActionAvailable" |
public static final String |
NO_UPDATE_AVAILABLE_KEY |
"raven.text.noUpdateAvailable" |
public static final String |
NODE_ALREADY_EXISTING_KEY |
"raven.text.nodeAlreadyExisting" |
public static final String |
NODE_ALREADY_IN_OUTER_INTERFACE_KEY |
"raven.text.nodeAlreadyInOuterInterface" |
public static final String |
NODE_DESCRIPTION_KEY |
"raven.command.node" |
public static final String |
NODE_KEY |
"raven.text.node" |
public static final String |
NODE_NOT_EXISTING_KEY |
"raven.text.nodeNotExisting" |
public static final String |
NULL_POINTER_KEY |
"raven.exception.nullPointer" |
public static final String |
OPERATION_KEY |
"raven.text.operation" |
public static final String |
OUT_OF_MEMORY_KEY |
"raven.exception.outOfMemory" |
public static final String |
OUTER_INTERFACE_DESCRIPTION_KEY |
"raven.command.outerInterface" |
public static final String |
OUTER_INTERFACE_KEY |
"raven.text.outerInterface" |
public static final String |
OVERWRITE_FILE_KEY |
"raven.text.overwriteFile" |
public static final String |
PATH_DECOMPOSITION_ADDED_KEY |
"raven.text.pathDecompositionAdded" |
public static final String |
PATH_DECOMPOSITION_KEY |
"raven.text.pathDecomposition" |
public static final String |
PRINT_DESCRIPTION_KEY |
"raven.command.print" |
public static final String |
PRINTDOT_DESCRIPTION_KEY |
"raven.command.printDot" |
public static final String |
QUIT_DESCRIPTION_KEY |
"raven.command.quit" |
public static final String |
RANDOMGRAPH_DESCRIPTION_KEY |
"raven.command.randomgraph" |
public static final String |
REACHABILITY_DESCRIPTION_KEY |
"raven.command.reachability" |
public static final String |
REMAINDER_GREATER_OR_EQUAL_THAN_DIVISOR_KEY |
"raven.exception.remainderGreaterOrEqualDivisor" |
public static final String |
REMAINDER_LESS_THAN_ZERO_KEY |
"raven.exception.remainderLessZero" |
public static final String |
REMOVE_DESCRIPTION_KEY |
"raven.command.remove" |
public static final String |
RENAME_DESCRIPTION_KEY |
"raven.command.rename" |
public static final String |
REPOSITORY_DESCRIPTION_KEY |
"raven.command.repository" |
public static final String |
RIGHT_HAND_SIDE_KEY |
"raven.text.rightHandSide" |
public static final String |
RUN_DESCRIPTION_KEY |
"raven.command.run" |
public static final String |
RUNNING_SCRIPTS_IN_SCRIPT_MODE_KEY |
"raven.text.runningScriptsInScriptMode" |
public static final String |
SAVE_DESCRIPTION_KEY |
"raven.command.save" |
public static final String |
SAVING_ERROR_OCCURED |
"raven.exception.savingFile" |
public static final String |
SET_DESCRIPTION_KEY |
"raven.command.set" |
public static final String |
SHOW_DESCRIPTION_KEY |
"raven.command.show" |
public static final String |
SIGNATURE_ADDED_KEY |
"raven.text.signatureAdded" |
public static final String |
SIGNATURE_DESCRIPTION_KEY |
"raven.command.signature" |
public static final String |
SIGNATURE_KEY |
"raven.text.signature" |
public static final String |
SIGNATURE_NOT_FOUND_KEY |
"raven.text.signatureNotFound" |
public static final String |
SIGNATURE_SAVED_KEY |
"raven.text.signatureSaved" |
public static final String |
SIMULATION_DESCRIPTION_KEY |
"raven.command.simulation" |
public static final String |
SLOPPY_MODE_SET_KEY |
"raven.text.sloppyModeChanged" |
public static final String |
STATES_KEY |
"raven.text.states" |
public static final String |
STATES_PRINTED_KEY |
"raven.text.statesPrinted" |
public static final String |
TABLE_HEADER_NAME_KEY |
"raven.text.tableHeaderName" |
public static final String |
TABLE_HEADER_TYPE_KEY |
"raven.text.tableHeaderType" |
public static final String |
TEST_DESCRIPTION_KEY |
"raven.command.test" |
public static final String |
TIME_MODE_SET_KEY |
"raven.text.timeModeChanged" |
public static final String |
TOTAL_KEY |
"raven.text.total" |
public static final String |
TRANSITION_GRAPH_PRINTED_KEY |
"raven.text.transitionGraphPrinted" |
public static final String |
TREE_DECOMPOSITION_ADDED_KEY |
"raven.text.treeDecompositionAdded" |
public static final String |
TREE_DECOMPOSITION_KEY |
"raven.text.treeDecomposition" |
public static final String |
TYPE_KEY |
"raven.text.type" |
public static final String |
UNIVERSALITY_DESCRIPTION_KEY |
"raven.command.universality" |
public static final String |
UNIVERSALITY_DOES_HOLD |
"raven.text.universalityDoesHold" |
public static final String |
UNIVERSALITY_DOES_NOT_HOLD |
"raven.text.universalityDoesNotHold" |
public static final String |
UNKNOWN_COMMAND_DESCRIPTION_KEY |
"raven.command.unknownCommand" |
public static final String |
UNKNOWN_NODE_KEY |
"raven.text.unknownNode" |
public static final String |
UNKNOWN_VARIABLE_DESCRIPTION_KEY |
"raven.command.unknownVariable" |
public static final String |
UPDATE_AVAILABLE |
"raven.text.updateAvailable" |
public static final String |
UPDATE_BUILD_PARSER_FAILED_KEY |
"raven.text.updateBuildParserFailed" |
public static final String |
UPDATE_DESCRIPTION_KEY |
"raven.command.update" |
public static final String |
UPDATE_DOWNLOAD_WAS_CORRUPTED_KEY |
"raven.text.updateDownloadCorrupted" |
public static final String |
UPDATE_FAILED_KEY |
"raven.text.updateFailed" |
public static final String |
UPDATE_FILES_NOT_FOUND_KEY |
"raven.text.updateFilesNotFound" |
public static final String |
UPDATE_IOERROR_OCCURRED_KEY |
"raven.text.updateIOErrorOccurred" |
public static final String |
UPDATE_LOCATION_INVALID_KEY |
"raven.text.updateLocationInvalid" |
public static final String |
UPDATE_SCHEMA_FILE_CORRUPTED_KEY |
"raven.text.updateSchemaCorrupted" |
public static final String |
UPDATE_SCHEMA_FILE_NOT_FOUND_KEY |
"raven.text.updateSchemaNotFound" |
public static final String |
UPDATE_SUCCESSFUL |
"raven.text.updateSuccessful" |
public static final String |
VERBOSE_MODE_SET_KEY |
"raven.text.verboseModeChanged" |
public static final String |
WIDTH_GREATER_THAN_MAXIMUM_INTERFACE_KEY |
"raven.text.widthGreaterThanMaximumInterface" |
public static final String |
WRONG_PARAMETER_DESCRIPTION_KEY |
"raven.command.wrongParameter" |
public static final String |
YES_OR_NO_OPTION |
"raven.text.yesOrNoOption" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final String |
DEFAULT_EDGE_LABEL_STRING |
"A" |
public static final String |
DEFAULT_EDGE_NAME |
"e" |
public static final String |
DEFAULT_NODE_NAME |
"n" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final String |
ARITY_TOKEN |
":" |
public static final String |
CONNECT_TOKEN |
"connect" |
public static final String |
DEFAULT_EDGE_LABEL |
"A" |
public static final String |
FUSE_TOKEN |
"fuse" |
public static final String |
PERM_TOKEN |
"perm" |
public static final String |
RES_TOKEN |
"res" |
public static final String |
TRANS_TOKEN |
"trans" |
public static final String |
VERTEX_TOKEN |
"vertex" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final String |
NAME_PATTERN |
"\\w+" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final String |
AUTOMATON_MAIN_FILE |
"general.obj" |
public static final String |
FINAL_STATES_FILE |
"final.bdd" |
public static final String |
INITIAL_STATES_FILE |
"initial.bdd" |
public static final String |
NON_FINAL_STATES_FILE |
"nonFinal.bdd" |
public static final String |
STATES_FILE |
"states.bdd" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final String |
ACCEPT_LABEL_KEY |
"raven.label.accept" |
public static final String |
ADD_EDGE_LABEL_KEY |
"raven.label.addEdge" |
public static final String |
ADD_NODE_LABEL_KEY |
"raven.label.addNode" |
public static final String |
ADD_OPERATION_KEY |
"raven.label.addOperation" |
public static final String |
ADD_TO_REPOSITORY_LABEL_KEY |
"raven.label.addToRepository" |
public static final String |
ALGORITHM_LABEL_KEY |
"raven.label.algorithm" |
public static final String |
ALPHABETS_MUST_BE_EQUAL_TEXT_EXCEPTION_KEY |
"raven.exception.alphabetsMustBeEqual.text" |
public static final String |
ALPHABETS_MUST_BE_EQUAL_TITLE_EXCEPTION_KEY |
"raven.exception.alphabetsMustBeEqual.title" |
public static final String |
ALREADY_IN_REPOSITORY_TEXT_EXCEPTION_KEY |
"raven.exception.AlreadyInRepository.text" |
public static final String |
APPLY_SIGNATURE_LABEL_KEY |
"raven.label.applySignature" |
public static final String |
ARITY_LABEL_KEY |
"raven.label.arity" |
public static final String |
AUTOMATA_MUST_NOT_BE_EQUAL_TEXT_EXCEPTION_KEY |
"raven.exception.automataMustNotBeEqual.text" |
public static final String |
AUTOMATA_MUST_NOT_BE_EQUAL_TITLE_EXCEPTION_KEY |
"raven.exception.automataMustNotBeEqual.title" |
public static final String |
AUTOMATON_ADDED_MESSAGE_KEY |
"raven.message.automatonAdded" |
public static final String |
AUTOMATON_CREATION_ADVANCED_PROPERTIES_TEXT_KEY |
"raven.dialog.automatonCreation.advancedProperties" |
public static final String |
AUTOMATON_CREATION_AUTOMATON_PROPERTIES_TEXT_KEY |
"raven.dialog.automatonCreation.automatonProperties" |
public static final String |
AUTOMATON_CREATION_DIALOG_TITLE_KEY |
"raven.dialog.automatonCreation.title" |
public static final String |
AUTOMATON_CREATION_PROPERTIES_TEXT_KEY |
"raven.dialog.automatonCreation.generalProperties" |
public static final String |
AUTOMATON_FILE_EXTENSION_KEY |
"raven.label.automatonFileExtension" |
public static final String |
AUTOMATON_LABEL_KEY |
"raven.label.automaton" |
public static final String |
AUTOMATON_LOAD_DIALOG_TITLE_KEY |
"raven.dialog.automatonLoad.title" |
public static final String |
AUTOMATON_NAME_LABEL_KEY |
"raven.label.automatonName" |
public static final String |
AUTOMATON_PROPERTIES_LABEL_KEY |
"raven.label.automatonProperties" |
public static final String |
AUTOMATON_RUN_DIALOG_TITLE_KEY |
"raven.dialog.automatonRun.title" |
public static final String |
AUTOMATON_SAVE_DIALOG_TITLE_KEY |
"raven.dialog.automatonSave.title" |
public static final String |
AUTOMATON_SAVED_TEXT_KEY |
"raven.dialog.automatonSaved.text" |
public static final String |
AUTOMATON_SAVED_TITLE_KEY |
"raven.dialog.automatonSaved.title" |
public static final String |
AUTOMATON_TYPE_LABEL_KEY |
"raven.label.automatonType" |
public static final String |
BACKWARD_LABEL_KEY |
"raven.label.backward" |
public static final String |
BDD_DIALOG_TITLE_KEY |
"raven.dialog.bddDialog.title" |
public static final String |
BIT_LABEL_KEY |
"raven.label.bit" |
public static final String |
CANCEL_LABEL_KEY |
"raven.label.cancel" |
public static final String |
CLOSE_LABEL_KEY |
"raven.label.close" |
public static final String |
COLOR_BIT_LABEL_KEY |
"raven.label.colorBit" |
public static final String |
COMMAND_LINE_LABEL_KEY |
"raven.label.commandLine" |
public static final String |
COMPUTE_COUNTER_EXAMPLE_LABEL_KEY |
"raven.label.computecounterexample" |
public static final String |
COMPUTING_LABEL_KEY |
"raven.label.computing" |
public static final String |
CONNECTION_BIT_LABEL_KEY |
"raven.label.connectionBit" |
public static final String |
COSPAN_ADDED_MESSAGE_KEY |
"raven.message.cospanAdded" |
public static final String |
COSPAN_CREATION_DIALOG_TITLE_KEY |
"raven.dialog.cospanCreation.title" |
public static final String |
COSPAN_DECOMPOSITION_LABEL_KEY |
"raven.label.CospanDecomposition" |
public static final String |
COSPAN_GXL_FILE_EXTENSION_KEY |
"raven.label.cospanGxlFileExtension" |
public static final String |
COSPAN_LABEL_KEY |
"raven.label.Cospan" |
public static final String |
COSPAN_NAME_LABEL_KEY |
"raven.label.cospanName" |
public static final String |
COSPAN_PREVIEW |
"raven.label.cospanPreview" |
public static final String |
COSPAN_SAVE_DIALOG_TITLE_KEY |
"raven.dialog.cospanSave.title" |
public static final String |
COSPAN_SAVED_TEXT_KEY |
"raven.dialog.cospanSaved.text" |
public static final String |
COSPAN_SAVED_TITLE_KEY |
"raven.dialog.cospanSaved.title" |
public static final String |
COUNTER_BIT_LABEL_KEY |
"raven.label.counterBit" |
public static final String |
COUNTER_BITS_LABEL_KEY |
"raven.label.counterBits" |
public static final String |
COUNTEREXAMPLE_LABEL_KEY |
"raven.label.counterexample" |
public static final String |
COVER_BIT_LABEL_KEY |
"raven.label.coverBit" |
public static final String |
COVER_SIZE_BITS_LABEL_KEY |
"raven.label.coverSizeBits" |
public static final String |
CREATE_AUTOMATON_LABEL_KEY |
"raven.label.createAutomaton" |
public static final String |
CREATE_COSPAN_LABEL_KEY |
"raven.label.createCospan" |
public static final String |
CREATE_DECOMPOSITION_LABEL_KEY |
"raven.label.createDecomposition" |
public static final String |
CREATE_GRAPH_LABEL_KEY |
"raven.label.createGraph" |
public static final String |
CREATE_RANDOM_GRAPH_DIALOG_TEXT_KEY |
"raven.dialog.createRandomGraph.text" |
public static final String |
CREATE_RANDOM_GRAPH_DIALOG_TITLE_KEY |
"raven.dialog.createRandomGraph.title" |
public static final String |
CREATE_RANDOM_GRAPH_LABEL_KEY |
"raven.label.createRandomGraph" |
public static final String |
CREATE_SIGNATURE_LABEL_KEY |
"raven.label.createSignature" |
public static final String |
CURRENT_INTERFACE_LABEL_KEY |
"raven.label.currentInterface" |
public static final String |
DATA_INFORMATION_PANEL_KEY |
"raven.label.dataInformationPanel" |
public static final String |
DATA_NOT_FOUND_TEXT_EXCEPTION_KEY |
"raven.exception.dataNotFound.text" |
public static final String |
DATA_NOT_FOUND_TITLE_EXCEPTION_KEY |
"raven.exception.dataNotFound.title" |
public static final String |
DATA_REMOVED_MESSAGE_KEY |
"raven.message.dataRemoved" |
public static final String |
DATA_TYPE_PREFIX_KEY |
"raven.data." |
public static final String |
DECOMPOSITION_ADDED_MESSAGE_KEY |
"raven.message.decompositionAdded" |
public static final String |
DECOMPOSITION_CREATION_DIALOG_TITLE_KEY |
"raven.dialog.decompositionCreation.title" |
public static final String |
DECOMPOSITION_FILE_EXTENSION_KEY |
"raven.label.decompositionFileExtension" |
public static final String |
DECOMPOSITION_LABEL_KEY |
"raven.label.decomposition" |
public static final String |
DECOMPOSITION_LENGTH_LABEL_KEY |
"raven.label.decompositionLength" |
public static final String |
DECOMPOSITION_LOAD_DIALOG_TITLE_KEY |
"raven.dialog.decompositionLoad.title" |
public static final String |
DECOMPOSITION_NAME_LABEL_KEY |
"raven.label.decompositionName" |
public static final String |
DECOMPOSITION_PREVIEW |
"raven.label.decompositionPreview" |
public static final String |
DECOMPOSITION_SAVE_DIALOG_TITLE_KEY |
"raven.dialog.decompositionSave.title" |
public static final String |
DECOMPOSITION_SAVED_TEXT_KEY |
"raven.dialog.decompositionSaved.text" |
public static final String |
DECOMPOSITION_SAVED_TITLE_KEY |
"raven.dialog.decompositionSaved.title" |
public static final String |
DECOMPOSTION_ADDED_DIALOG_TEXT_KEY |
"raven.dialog.decompositionAdded.text" |
public static final String |
DECOMPOSTION_ADDED_DIALOG_TITLE_KEY |
"raven.dialog.decompositionAdded.title" |
public static final String |
DEFAULT_LABEL_KEY |
"raven.label.default" |
public static final String |
DELETE_FORBIDDEN_TEXT_KEY |
"raven.dialog.deleteForbidden.text" |
public static final String |
DELETE_FORBIDDEN_TITLE_KEY |
"raven.dialog.deleteForbidden.title" |
public static final String |
DELETE_LABEL_KEY |
"raven.label.delete" |
public static final String |
DIVISOR_LABEL_KEY |
"raven.label.divisor" |
public static final String |
DOMINATED_BIT_LABEL_KEY |
"raven.label.dominatedBit" |
public static final String |
DOMINATING_SET_SIZE_LABEL_KEY |
"raven.label.dominatingSetSize" |
public static final String |
DOT_ERROR_OCCURRED_TEXT_EXCEPTION_KEY |
"raven.exception.dotErrorOccurred.text" |
public static final String |
DOT_ERROR_OCCURRED_TITLE_EXCEPTION_KEY |
"raven.exception.dotErrorOccurred.title" |
public static final String |
DOT_PATH_NOT_FOUND_TEXT_EXCEPTION_KEY |
"raven.exception.dotPathNotFound.text" |
public static final String |
DOT_PATH_NOT_FOUND_TITLE_EXCEPTION_KEY |
"raven.exception.dotPathNotFound.title" |
public static final String |
EDGE_BIT_LABEL_KEY |
"raven.label.edgeBit" |
public static final String |
EDGE_LABEL_KEY |
"raven.label.edge" |
public static final String |
EDGE_NUMBER_LABEL_KEY |
"raven.label.edgeNumber" |
public static final String |
EDGE_ORDER_LABEL_KEY |
"raven.label.edgeOrder" |
public static final String |
EDGE_SELECTION_LABEL_KEY |
"raven.label.edgeSelection" |
public static final String |
EDGES_LABEL_KEY |
"raven.label.edges" |
public static final String |
EMPTINESS_DOES_HOLD_DIALOG_TEXT_KEY |
"raven.dialog.emptinessDoesHold.text" |
public static final String |
EMPTINESS_DOES_HOLD_DIALOG_TITLE_KEY |
"raven.dialog.emptinessDoesHold.title" |
public static final String |
EMPTINESS_DOES_NOT_HOLD_DIALOG_TEXT_KEY |
"raven.dialog.emptinessDoesNotHold.text" |
public static final String |
EMPTINESS_DOES_NOT_HOLD_DIALOG_TITLE_KEY |
"raven.dialog.emptinessDoesNotHold.title" |
public static final String |
EMPTY_FILENAME_TEXT_EXCEPTION_KEY |
"raven.exception.emptyFilename.text" |
public static final String |
EMPTY_FILENAME_TITLE_EXCEPTION_KEY |
"raven.exception.emptyFilename.title" |
public static final String |
EMPTY_INPUTFIELD_TEXT_EXCEPTION_KEY |
"raven.exception.emptyInputField.text" |
public static final String |
EMPTY_INPUTFIELD_TITLE_EXCEPTION_KEY |
"raven.exception.emptyInputField.title" |
public static final String |
EMPTY_INTERFACE_LABEL_KEY |
"raven.label.emptyInterface" |
public static final String |
EMPTY_LABEL |
"" |
public static final String |
EMPTY_LIST_TEXT_EXCEPTION_KEY |
"raven.exception.emptyList.text" |
public static final String |
EMPTY_LIST_TITLE_EXCEPTION_KEY |
"raven.exception.emptyList.title" |
public static final String |
EMPTY_NAME_TEXT_EXCEPTION_KEY |
"raven.exception.emptyName.text" |
public static final String |
EMPTY_NAME_TITLE_EXCEPTION_KEY |
"raven.exception.emptyName.title" |
public static final String |
ENCODING_BITS_LABEL_KEY |
"raven.label.encodingBits" |
public static final String |
ENCODING_LABEL_KEY |
"raven.label.encoding" |
public static final String |
EXISTING_EDGE_NAME_TEXT_EXCEPTION_KEY |
"raven.exception.existingEdgeName.text" |
public static final String |
EXISTING_EDGE_NAME_TITLE_EXCEPTION_KEY |
"raven.exception.existingEdgeName.title" |
public static final String |
FILE_ALREADY_EXISTING_TEXT_KEY |
"raven.dialog.fileAlreadyExisting.text" |
public static final String |
FILE_ALREADY_EXISTING_TITLE_KEY |
"raven.dialog.fileAlreadyExisting.title" |
public static final String |
FILE_CAN_NOT_BE_OPENED_TEXT_EXCEPTION_KEY |
"raven.exception.fileCanNotBeOpened.text" |
public static final String |
FILE_CAN_NOT_BE_OPENED_TITLE_EXCEPTION_KEY |
"raven.exception.fileCanNotBeOpened.title" |
public static final String |
FILE_MENU_KEY |
"raven.menu.fileMenu" |
public static final String |
FILE_NOT_FOUND_TEXT_EXCEPTION_KEY |
"raven.exception.fileNotFound.text" |
public static final String |
FILE_NOT_FOUND_TITLE_EXCEPTION_KEY |
"raven.exception.fileNotFound.title" |
public static final String |
FIRST_AUTOMATON_LABEL_KEY |
"raven.label.firstAutomaton" |
public static final String |
FORMAT_COUNTER_EXAMPLE_LABEL_KEY |
"raven.label.formatcounterexample" |
public static final String |
FORWARD_LABEL_KEY |
"raven.label.forward" |
public static final String |
GRAPH_ADDED_MESSAGE_KEY |
"raven.message.graphAdded" |
public static final String |
GRAPH_COSPAN_LABEL_KEY |
"raven.label.graphCospan" |
public static final String |
GRAPH_CREATION_DIALOG_TITLE_KEY |
"raven.dialog.graphCreation.title" |
public static final String |
GRAPH_GXL_FILE_EXTENSION_KEY |
"raven.label.graphGxlFileExtension" |
public static final String |
GRAPH_LABEL_KEY |
"raven.label.graph" |
public static final String |
GRAPH_NAME_LABEL_KEY |
"raven.label.graphName" |
public static final String |
GRAPH_PREVIEW |
"raven.label.graphPreview" |
public static final String |
GRAPH_SAVE_DIALOG_TITLE_KEY |
"raven.dialog.graphSave.title" |
public static final String |
GRAPH_SAVED_TEXT_KEY |
"raven.dialog.graphSaved.text" |
public static final String |
GRAPH_SAVED_TITLE_KEY |
"raven.dialog.graphSaved.title" |
public static final String |
HELP_LABEL_KEY |
"raven.label.help" |
public static final String |
INCIDENT_NODES_LABEL_KEY |
"raven.label.incidentNodes" |
public static final String |
INFO_MENU_KEY |
"raven.menu.infoMenu" |
public static final String |
INITIAL_BIT_LABEL_KEY |
"raven.label.initialBit" |
public static final String |
INITIAL_BITS_LABEL_KEY |
"raven.label.initialBits" |
public static final String |
INNER_INTERFACE_LABEL_KEY |
"raven.label.innerInterface" |
public static final String |
INNER_INTERFACE_SIZE_LABEL_KEY |
"raven.label.innerInterfaceSize" |
public static final String |
INNER_INTERFACE_SIZE_SELECTION_TITLE_KEY |
"raven.dialog.innerInterfaceSizeSelection.title" |
public static final String |
INNER_INTERFACE_SIZES_MUST_BE_EQUAL_TEXT_EXCEPTION_KEY |
"raven.exception.innerInterfacesMustBeEqual.text" |
public static final String |
INNER_INTERFACE_SIZES_MUST_BE_EQUAL_TITLE_EXCEPTION_KEY |
"raven.exception.innerInterfacesMustBeEqual.title" |
public static final String |
INPUT_DECOMPOSITION_LABEL_KEY |
"raven.label.inputDecomposition" |
public static final String |
INPUT_GRAPH_DECOMPOSITION_LABEL_KEY |
"raven.label.inputGraphDecomposition" |
public static final String |
INPUT_GRAPH_LABEL_KEY |
"raven.label.inputGraph" |
public static final String |
INPUT_MISSING_TEXT_EXCEPTION_KEY |
"raven.exception.inputMissing.text" |
public static final String |
INPUT_MISSING_TITLE_EXCEPTION_KEY |
"raven.exception.inputMissing.title" |
public static final String |
INTERFACE_BITS_LABEL_KEY |
"raven.label.interfaceBits" |
public static final String |
INVALID_INPUT_TEXT_EXCEPTION_KEY |
"raven.exception.invalidInput.text" |
public static final String |
INVALID_INPUT_TITLE_EXCEPTION_KEY |
"raven.exception.invalidInput.title" |
public static final String |
INVALID_LABEL_ARITY_TEXT_EXCEPTION_KEY |
"raven.exception.invalidLabelArity.text" |
public static final String |
INVALID_LABEL_ARITY_TITLE_EXCEPTION_KEY |
"raven.exception.invalidLabelArity.title" |
public static final String |
INVALID_LABEL_TEXT_EXCEPTION_KEY |
"raven.exception.invalidLabel.text" |
public static final String |
INVALID_LABEL_TITLE_EXCEPTION_KEY |
"raven.exception.invalidLabel.title" |
public static final String |
INVALID_NAME_TEXT_EXCEPTION_KEY |
"raven.exception.invalidName.text" |
public static final String |
INVALID_NAME_TITLE_EXCEPTION_KEY |
"raven.exception.invalidName.title" |
public static final String |
INVALID_NUMBER_TEXT_EXCEPTION_KEY |
"raven.exception.invalidNumber.text" |
public static final String |
INVALID_NUMBER_TITLE_EXCEPTION_KEY |
"raven.exception.invalidNumber.title" |
public static final String |
IO_EXCEPTION_TEXT_EXCEPTION_KEY |
"raven.exception.ioExceptionOccurred.text" |
public static final String |
IO_EXCEPTION_TITLE_EXCEPTION_KEY |
"raven.exception.ioExceptionOccurred.title" |
public static final String |
IS_INVARIANT_DIALOG_TEXT_KEY |
"raven.dialog.isInvariant.text" |
public static final String |
IS_INVARIANT_DIALOG_TITLE_KEY |
"raven.dialog.isInvariant.title" |
public static final String |
IS_NOT_INVARIANT_DIALOG_TEXT_KEY |
"raven.dialog.isNotInvariant.text" |
public static final String |
IS_NOT_INVARIANT_DIALOG_TITLE_KEY |
"raven.dialog.isNotInvariant.title" |
public static final String |
ISOLATION_BIT_LABEL_KEY |
"raven.label.isolationBit" |
public static final String |
ISOLATION_BITS_LABEL_KEY |
"raven.label.isolationBits" |
public static final String |
ISOLATION_FLAG_LABEL_KEY |
"raven.label.isolationFlag" |
public static final String |
KEY_LABEL_KEY |
"raven.label.key" |
public static final String |
LABEL_LABEL_KEY |
"raven.label.label" |
public static final String |
LABEL_PREFIX |
"raven.label." |
public static final String |
LANGUAGE_INCLUSION_DOES_HOLD_DIALOG_TEXT_KEY |
"raven.dialog.languageInclusionDoesHold.text" |
public static final String |
LANGUAGE_INCLUSION_DOES_HOLD_DIALOG_TITLE_KEY |
"raven.dialog.languageInclusionDoesHold.title" |
public static final String |
LANGUAGE_INCLUSION_DOES_NOT_HOLD_DIALOG_TEXT_KEY |
"raven.dialog.languageInclusionDoesNotHold.text" |
public static final String |
LANGUAGE_INCLUSION_DOES_NOT_HOLD_DIALOG_TITLE_KEY |
"raven.dialog.languageInclusionDoesNotHold.title" |
public static final String |
LEFT_HAND_DECOMPOSITION_LABEL_KEY |
"raven.label.leftHandDecomposition" |
public static final String |
LEGEND_IN_BOTH_INTERFACES_LABEL_KEY |
"raven.label.legendInBothInterfaces" |
public static final String |
LEGEND_LABEL_KEY |
"raven.label.legend" |
public static final String |
LEGEND_NOT_IN_INTERFACE_LABEL_KEY |
"raven.label.legendNotInInterface" |
public static final String |
LEGEND_ONLY_IN_INNER_INTERFACE_LABEL_KEY |
"raven.label.legendOnlyInInnerInterface" |
public static final String |
LEGEND_ONLY_IN_OUTER_INTERFACE_LABEL_KEY |
"raven.label.legendOnlyInOuterInterface" |
public static final String |
LOAD_AUTOMATON_KEY |
"raven.menu.load.automaton" |
public static final String |
LOAD_COSPAN_DIALOG_TITLE_KEY |
"raven.dialog.loadCospan.title" |
public static final String |
LOAD_COSPAN_KEY |
"raven.menu.load.cospan" |
public static final String |
LOAD_DECOMPOSITION_DIALOG_TITLE_KEY |
"raven.dialog.loadDecomposition.title" |
public static final String |
LOAD_DECOMPOSITION_KEY |
"raven.menu.load.decomposition" |
public static final String |
LOAD_GRAPH_DIALOG_TITLE_KEY |
"raven.dialog.loadGraph.title" |
public static final String |
LOAD_GRAPH_KEY |
"raven.menu.load.graph" |
public static final String |
LOAD_KEY |
"raven.menu.load" |
public static final String |
LOAD_LABEL_KEY |
"raven.label.load" |
public static final String |
LOAD_SIGNATURE_KEY |
"raven.menu.load.signature" |
public static final String |
MAPPING_BIT_LABEL_KEY |
"raven.label.mappingBit" |
public static final String |
MAXIMUM_DOMINATING_SET_SIZE_LABEL_KEY |
"raven.label.maximumDominatingSetSize" |
public static final String |
MAXIMUM_EDGE_LABEL_KEY |
"raven.label.maximumEdge" |
public static final String |
MAXIMUM_INTERFACE_LABEL_KEY |
"raven.label.maximumInterface" |
public static final String |
MAXIMUM_INTERFACE_SIZES_MUST_BE_EQUAL_TEXT_EXCEPTION_KEY |
"raven.exception.maximumInterfacesMustBeEqual.text" |
public static final String |
MAXIMUM_INTERFACE_SIZES_MUST_BE_EQUAL_TITLE_EXCEPTION_KEY |
"raven.exception.maximumInterfacesMustBeEqual.title" |
public static final String |
MAXIMUM_VERTEX_COVER_SIZE_LABEL_KEY |
"raven.label.maximumVertexCoverSize" |
public static final String |
MAXIMUM_VERTEX_LABEL_KEY |
"raven.label.maximumVertex" |
public static final String |
MEMBER_BIT_LABEL_KEY |
"raven.label.memberBit" |
public static final String |
MEMBER_BITS_LABEL_KEY |
"raven.label.memberBits" |
public static final String |
MEMBERSHIP_DOES_HOLD_DIALOG_TEXT_KEY |
"raven.dialog.membershipDoesHold.text" |
public static final String |
MEMBERSHIP_DOES_HOLD_DIALOG_TITLE_KEY |
"raven.dialog.membershipDoesHold.title" |
public static final String |
MEMBERSHIP_DOES_NOT_HOLD_DIALOG_TEXT_KEY |
"raven.dialog.membershipDoesNotHold.text" |
public static final String |
MEMBERSHIP_DOES_NOT_HOLD_DIALOG_TITLE_KEY |
"raven.dialog.membershipDoesNotHold.title" |
public static final String |
MINIMUM_EDGE_LABEL_KEY |
"raven.label.minimumEdge" |
public static final String |
MINIMUM_VERTEX_LABEL_KEY |
"raven.label.minimumVertex" |
public static final String |
NAME_ALREADY_IN_USE_TEXT_EXCEPTION_KEY |
"raven.exception.nameAlreadyInUse.title" |
public static final String |
NAME_ALREADY_IN_USE_TITLE_EXCEPTION_KEY |
"raven.exception.nameAlreadyInUse.title" |
public static final String |
NAME_INVALID_EXCEPTION_KEY |
"raven.exception.nameInvalid.text" |
public static final String |
NAME_LABEL_KEY |
"raven.label.name" |
public static final String |
NEW_EDGE_DIALOG_NO_SELECTION_TEXT_KEY |
"raven.dialog.newEdgeNoSelection.text" |
public static final String |
NEW_EDGE_DIALOG_NO_SELECTION_TITLE_KEY |
"raven.dialog.newEdgeNoSelection.title" |
public static final String |
NEW_EDGE_DIALOG_TITLE_KEY |
"raven.dialog.newEdge.title" |
public static final String |
NEW_LABEL_DIALOG_TITLE_KEY |
"raven.dialog.newLabel.title" |
public static final String |
NO_AUTOMATON_FILE_SELECTED_TEXT_EXCEPTION_KEY |
"raven.exception.noAutomatonFileSelected.text" |
public static final String |
NO_AUTOMATON_FILE_SELECTED_TITLE_EXCEPTION_KEY |
"raven.exception.noAutomatonFileSelected.title" |
public static final String |
NO_AUTOMATON_SELECTED_TEXT_EXCEPTION_KEY |
"raven.exception.noAutomatonSelected.text" |
public static final String |
NO_AUTOMATON_SELECTED_TITLE_EXCEPTION_KEY |
"raven.exception.noAutomatonSelected.title" |
public static final String |
NO_COSPAN_FILE_SELECTED_TEXT_EXCEPTION_KEY |
"raven.exception.noCospanFileSelected.text" |
public static final String |
NO_COSPAN_FILE_SELECTED_TITLE_EXCEPTION_KEY |
"raven.exception.noCospanFileSelected.title" |
public static final String |
NO_COSPAN_SELECTED_TEXT_EXCEPTION_KEY |
"raven.exception.noCospanSelected.text" |
public static final String |
NO_COSPAN_SELECTED_TITLE_EXCEPTION_KEY |
"raven.exception.noCospanSelected.title" |
public static final String |
NO_DECOMPOSITION_FILE_SELECTED_TEXT_EXCEPTION_KEY |
"raven.exception.noDecompositionFileSelected.text" |
public static final String |
NO_DECOMPOSITION_FILE_SELECTED_TITLE_EXCEPTION_KEY |
"raven.exception.noDecompositionFileSelected.title" |
public static final String |
NO_DECOMPOSITION_SELECTED_TEXT_EXCEPTION_KEY |
"raven.exception.noDecompositionSelected.text" |
public static final String |
NO_DECOMPOSITION_SELECTED_TITLE_EXCEPTION_KEY |
"raven.exception.noDecompositionSelected.title" |
public static final String |
NO_EDGE_SELECTED_TEXT_EXCEPTION_KEY |
"raven.exception.noEdgeSelected.text" |
public static final String |
NO_EDGE_SELECTED_TITLE_EXCEPTION_KEY |
"raven.exception.noEdgeSelected.title" |
public static final String |
NO_GRAPH_FILE_SELECTED_TEXT_EXCEPTION_KEY |
"raven.exception.noGraphFileSelected.text" |
public static final String |
NO_GRAPH_FILE_SELECTED_TITLE_EXCEPTION_KEY |
"raven.exception.noGraphFileSelected.title" |
public static final String |
NO_GRAPH_SELECTED_TEXT_EXCEPTION_KEY |
"raven.exception.noGraphSelected.text" |
public static final String |
NO_GRAPH_SELECTED_TITLE_EXCEPTION_KEY |
"raven.exception.noGraphSelected.title" |
public static final String |
NO_GXL_CHOSEN_TEXT_EXCEPTION_KEY |
"raven.exception.noGxlSelected.text" |
public static final String |
NO_HELP_AVAILABLE_TEXT_KEY |
"raven.dialog.help.notAvailable.text" |
public static final String |
NO_HELP_AVAILABLE_TITLE_KEY |
"raven.dialog.help.notAvailable.title" |
public static final String |
NO_INFORMATION_AVAILABLE_LABEL_KEY |
"raven.label.noInformationAvailable" |
public static final String |
NO_KEY_SELECTED_TEXT_KEY |
"raven.dialog.noKeySelected.text" |
public static final String |
NO_KEY_SELECTED_TITLE_KEY |
"raven.dialog.noKeySelected.title" |
public static final String |
NO_LABEL_KEY |
"raven.label.no" |
public static final String |
NO_LOOP_GRAPH_TEXT_EXCEPTION_KEY |
"raven.exception.noLoopGraph.text" |
public static final String |
NO_LOOP_GRAPH_TITLE_EXCEPTION_KEY |
"raven.exception.noLoopGraph.title" |
public static final String |
NO_NODE_SELECTED_TEXT_EXCEPTION_KEY |
"raven.exception.noNodeSelected.text" |
public static final String |
NO_NODE_SELECTED_TITLE_EXCEPTION_KEY |
"raven.exception.noNodeSelected.title" |
public static final String |
NO_OPERATION_SELECTED_TEXT_EXCEPTION_KEY |
"raven.exception.noOperationSelected.text" |
public static final String |
NO_OPERATION_SELECTED_TEXT_KEY |
"raven.dialog.noOperationSelected.text" |
public static final String |
NO_OPERATION_SELECTED_TITLE_EXCEPTION_KEY |
"raven.exception.noOperationSelected.title" |
public static final String |
NO_OPERATION_SELECTED_TITLE_KEY |
"raven.dialog.noOperationSelected.title" |
public static final String |
NO_SIGNATURE_AVAILABLE_TEXT_EXCEPTION_KEY |
"raven.exception.noSignatureAvailable.text" |
public static final String |
NO_SIGNATURE_AVAILABLE_TITLE_EXCEPTION_KEY |
"raven.exception.noSignatureAvailable.title" |
public static final String |
NO_SIGNATURE_FILE_SELECTED_TEXT_EXCEPTION_KEY |
"raven.exception.noSignatureFileSelected.text" |
public static final String |
NO_SIGNATURE_FILE_SELECTED_TITLE_EXCEPTION_KEY |
"raven.exception.noSignatureFileSelected.title" |
public static final String |
NO_SIGNATURE_SELECTED_TEXT_EXCEPTION_KEY |
"raven.exception.noSignatureSelected.text" |
public static final String |
NO_SIGNATURE_SELECTED_TITLE_EXCEPTION_KEY |
"raven.exception.noSignatureSelected.title" |
public static final String |
NO_SIGNATURE_USED_TEXT_EXCEPTION_KEY |
"raven.exception.noSignatureUsed.text" |
public static final String |
NO_SIGNATURE_USED_TITLE_EXCEPTION_KEY |
"raven.exception.noSignatureUsed.title" |
public static final String |
NO_UPDATE_AVAILABLE_TEXT_KEY |
"raven.dialog.update.notAvailable.text" |
public static final String |
NO_UPDATE_AVAILABLE_TITLE_KEY |
"raven.dialog.update.notAvailable.title" |
public static final String |
NODE_LABEL_KEY |
"raven.label.node" |
public static final String |
NODE_NUMBER_LABEL_KEY |
"raven.label.nodeNumber" |
public static final String |
NODE_ORDER_LABEL_KEY |
"raven.label.nodeOrder" |
public static final String |
NODES_LABEL_KEY |
"raven.label.nodes" |
public static final String |
NONE_LABEL_KEY |
"raven.label.none" |
public static final String |
NUMBER_OF_BDD_NODES_LABEL_KEY |
"raven.label.numberOfBDDNodes" |
public static final String |
NUMBER_OF_COLORS_LABEL_KEY |
"raven.label.numberOfColors" |
public static final String |
NUMBER_OF_EDGES_LABEL_KEY |
"raven.label.numberOfEdges" |
public static final String |
NUMBER_OF_FINAL_STATES_LABEL_KEY |
"raven.label.numberOfFinalStates" |
public static final String |
NUMBER_OF_INITIAL_STATES_LABEL_KEY |
"raven.label.numberOfInitialStates" |
public static final String |
NUMBER_OF_NODES_LABEL_KEY |
"raven.label.numberOfNodes" |
public static final String |
NUMBER_OF_STATES_LABEL_KEY |
"raven.label.numberOfStates" |
public static final String |
OPERATION_NOT_APPLICABLE_TEXT_EXCEPTION_KEY |
"raven.exception.operationNotApplicable.text" |
public static final String |
OPERATION_NOT_APPLICABLE_TITLE_EXCEPTION_KEY |
"raven.exception.operationNotApplicable.title" |
public static final String |
OPERATIONS_LABEL_KEY |
"raven.label.operations" |
public static final String |
OUTER_INTERFACE_LABEL_KEY |
"raven.label.outerInterface" |
public static final String |
OUTER_INTERFACE_SIZE_LABEL_KEY |
"raven.label.outerInterfaceSize" |
public static final String |
OUTER_INTERFACE_SIZES_MUST_BE_EQUAL_TEXT_EXCEPTION_KEY |
"raven.exception.outerInterfacesMustBeEqual.text" |
public static final String |
OUTER_INTERFACE_SIZES_MUST_BE_EQUAL_TITLE_EXCEPTION_KEY |
"raven.exception.outerInterfacesMustBeEqual.title" |
public static final String |
OUTPUT_LABEL_KEY |
"raven.label.output" |
public static final String |
OUTPUT_TYPE_LABEL_KEY |
"raven.label.outputtype" |
public static final String |
PATH_BIT_LABEL_KEY |
"raven.label.pathBit" |
public static final String |
PROBLEM_LABEL_KEY |
"raven.label.problem" |
public static final String |
PROPERTIES_DIALOG_TITLE_KEY |
"raven.dialog.propertyDialog.title" |
public static final String |
QUIT_LABEL_KEY |
"raven.label.quit" |
public static final String |
RAVEN_SCRIPT_FILE_EXTENSION_KEY |
"raven.label.ravenScriptFileExtension" |
public static final String |
RAVEN_SCRIPT_FILES_LABEL_KEY |
"raven.label.ravenScriptFiles" |
public static final String |
READY_FOR_COMPUTATION_LABEL_KEY |
"raven.label.readyForComputation" |
public static final String |
REMAINDER_BIT_LABEL_KEY |
"raven.label.remainderBit" |
public static final String |
REMAINDER_BITS_LABEL_KEY |
"raven.label.remainderBits" |
public static final String |
REMAINDER_EDGES_LABEL_KEY |
"raven.label.remainderEdges" |
public static final String |
REMAINDER_VERTICES_LABEL_KEY |
"raven.label.remainderVertices" |
public static final String |
REMOVE_EDGE_LABEL_KEY |
"raven.label.removeEdge" |
public static final String |
REMOVE_FROM_REPOSITORY_LABEL_KEY |
"raven.label.removeFromRepository" |
public static final String |
REMOVE_NODE_LABEL_KEY |
"raven.label.removeNode" |
public static final String |
RENAME_NOT_SUCCESSFULL_TEXT_EXCEPTION_KEY |
"raven.exception.renameNotSuccessfull.text" |
public static final String |
RENAME_NOT_SUCCESSFULL_TITLE_EXCEPTION_KEY |
"raven.exception.renameNotSuccessfull.title" |
public static final String |
REPOSITORY_MENU_KEY |
"raven.menu.repositoryMenu" |
public static final String |
REPOSITORY_PANEL_LABEL |
"raven.label.repositoryPanel" |
public static final String |
RIGHT_HAND_DECOMPOSITION_LABEL_KEY |
"raven.label.rightHandDecomposition" |
public static final String |
RUN_MENU_KEY |
"raven.menu.runMenu" |
public static final String |
SAVE_AUTOMATON_ACTION_KEY |
"raven.action.save.automaton" |
public static final String |
SAVE_AUTOMATON_KEY |
"raven.menu.save.automaton" |
public static final String |
SAVE_COSPAN_ACTION_KEY |
"raven.action.save.cospan" |
public static final String |
SAVE_COSPAN_KEY |
"raven.menu.save.cospan" |
public static final String |
SAVE_DECOMPOSITION_ACTION_KEY |
"raven.action.save.decomposition" |
public static final String |
SAVE_DECOMPOSITION_KEY |
"raven.menu.save.decomposition" |
public static final String |
SAVE_GRAPH_ACTION_KEY |
"raven.action.save.graph" |
public static final String |
SAVE_GRAPH_KEY |
"raven.menu.save.graph" |
public static final String |
SAVE_KEY |
"raven.menu.save" |
public static final String |
SAVE_LABEL_KEY |
"raven.label.save" |
public static final String |
SAVE_SIGNATURE_ACTION_KEY |
"raven.action.save.signature" |
public static final String |
SAVE_SIGNATURE_KEY |
"raven.menu.save.signature" |
public static final String |
SEARCHTYPE_LABEL_KEY |
"raven.label.searchtype" |
public static final String |
SECOND_AUTOMATON_LABEL_KEY |
"raven.label.secondAutomaton" |
public static final String |
SHIFT_DOWN_LABEL_KEY |
"raven.label.shiftDown" |
public static final String |
SHIFT_LEFT_LABEL_KEY |
"raven.label.shiftLeft" |
public static final String |
SHIFT_RIGHT_LABEL_KEY |
"raven.label.shiftRight" |
public static final String |
SHIFT_UP_LABEL_KEY |
"raven.label.shiftUp" |
public static final String |
SHOW_BDD_LABEL_KEY |
"raven.label.showBDD" |
public static final String |
SHOW_ENCODING_LABEL_KEY |
"raven.label.showEncoding" |
public static final String |
SHOW_RUN_LABEL_KEY |
"raven.label.showRun" |
public static final String |
SHOW_SUBGRAPH_LABEL_KEY |
"raven.label.showSubgraph" |
public static final String |
SIGNATURE_ADDED_MESSAGE_KEY |
"raven.message.signatureAdded" |
public static final String |
SIGNATURE_CREATION_DIALOG_TITLE_KEY |
"raven.dialog.signatureCreation.title" |
public static final String |
SIGNATURE_FILE_EXTENSION_KEY |
"raven.label.signatureFileExtension" |
public static final String |
SIGNATURE_LABEL_KEY |
"raven.label.signature" |
public static final String |
SIGNATURE_LOAD_DIALOG_TITLE_KEY |
"raven.dialog.signatureLoad.title" |
public static final String |
SIGNATURE_NAME_LABEL_KEY |
"raven.label.signatureName" |
public static final String |
SIGNATURE_SAVE_DIALOG_TITLE_KEY |
"raven.dialog.signatureSave.title" |
public static final String |
SIGNATURE_SAVED_TEXT_KEY |
"raven.dialog.signatureSaved.text" |
public static final String |
SIGNATURE_SAVED_TITLE_KEY |
"raven.dialog.signatureSaved.title" |
public static final String |
SIGNATURE_SELECTION_TITLE_KEY |
"raven.dialog.signatureSelection.title" |
public static final String |
SIMULATION_CREATED_TEXT_KEY |
"raven.dialog.simulationCreated.text" |
public static final String |
SIMULATION_NOT_CREATED_TEXT_KEY |
"raven.dialog.simulationNotCreated.text" |
public static final String |
SIZE_BIT_LABEL_KEY |
"raven.label.sizeBit" |
public static final String |
SOURCE_NODES_LABEL_KEY |
"raven.label.sourceNodes" |
public static final String |
SOURCE_PATH_BIT_LABEL_KEY |
"raven.label.sourcePathBit" |
public static final String |
SOURCE_PATH_BITS_LABEL_KEY |
"raven.label.sourcePathBits" |
public static final String |
SUBGRAPH_LABEL_KEY |
"raven.label.subgraph" |
public static final String |
SUCCESSOR_INTERFACE_LABEL_KEY |
"raven.label.successorInterface" |
public static final String |
SVG_FILE_EXTENSION_LABEL_KEY |
"raven.label.svgFileExtension" |
public static final String |
TARGET_NODES_LABEL_KEY |
"raven.label.targetNodes" |
public static final String |
TECHNIQUE_PANEL_LABEL |
"raven.label.techniquePanel" |
public static final String |
TYPE_LABEL_KEY |
"raven.label.type" |
public static final String |
UNION_LABEL_KEY |
"raven.label.union" |
public static final String |
UNIVERSALITY_DOES_HOLD_DIALOG_TEXT_KEY |
"raven.dialog.universalityDoesHold.text" |
public static final String |
UNIVERSALITY_DOES_HOLD_DIALOG_TITLE_KEY |
"raven.dialog.universalityDoesHold.title" |
public static final String |
UNIVERSALITY_DOES_NOT_HOLD_DIALOG_TEXT_KEY |
"raven.dialog.universalityDoesNotHold.text" |
public static final String |
UNIVERSALITY_DOES_NOT_HOLD_DIALOG_TITLE_KEY |
"raven.dialog.universalityDoesNotHold.title" |
public static final String |
UNKNOWN_DATA_ADDED_MESSAGE_KEY |
"raven.message.unknownDataAdded" |
public static final String |
UPDATE_AVAILABLE_TEXT_KEY |
"raven.dialog.update.updateNow.text" |
public static final String |
UPDATE_AVAILABLE_TITLE_KEY |
"raven.dialog.update.updateNow.title" |
public static final String |
UPDATE_ERROR_TEXT_EXCEPTION_KEY |
"raven.exception.updateError.text" |
public static final String |
UPDATE_ERROR_TITLE_EXCEPTION_KEY |
"raven.exception.updateError.title" |
public static final String |
UPDATE_INFORMATION_LABEL_KEY |
"raven.label.updateInformation" |
public static final String |
UPDATE_MENU_KEY |
"raven.menu.infoMenu.update" |
public static final String |
UPDATE_PROPERTY_DIALOG_TITLE_KEY |
"raven.dialog.updateProperty.title" |
public static final String |
VALUE_GREATER_THAN_TEXT_EXCEPTION_KEY |
"raven.exception.valueGreaterThan.text" |
public static final String |
VALUE_GREATER_THAN_TITLE_EXCEPTION_KEY |
"raven.exception.valueGreaterThan.title" |
public static final String |
VALUE_LABEL_KEY |
"raven.label.value" |
public static final String |
VALUE_MUST_BE_NON_NEGATIVE_TEXT_EXCEPTION_KEY |
"raven.exception.noNegativeValue.text" |
public static final String |
VALUE_MUST_BE_NON_NEGATIVE_TITLE_EXCEPTION_KEY |
"raven.exception.noNegativeValue.title" |
public static final String |
VALUE_MUST_BE_POSITIVE_TEXT_EXCEPTION_KEY |
"raven.exception.noNonPositiveValue.text" |
public static final String |
VALUE_MUST_BE_POSITIVE_TITLE_EXCEPTION_KEY |
"raven.exception.noNonPositiveValue.title" |
public static final String |
VAR_PROP_MENU_KEY |
"raven.menu.infoMenu.varandprop" |
public static final String |
VERSION_MENU_KEY |
"raven.menu.infoMenu.version" |
public static final String |
VERTEX_BIT_LABEL_KEY |
"raven.label.vertexBit" |
public static final String |
VERTEX_LABEL_KEY |
"raven.label.vertex" |
public static final String |
YES_LABEL_KEY |
"raven.label.yes" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final int |
ACCEPT_BUTTON |
200 |
public static final int |
ACCEPT_CANCEL_LAYOUT |
100 |
public static final String |
ACCEPT_LABEL |
"RavenDialogAcceptButton" |
public static final int |
ACCEPT_OPTION |
300 |
public static final int |
CANCEL_BUTTON |
201 |
public static final String |
CANCEL_LABEL |
"RavenDialogCancelButton" |
public static final int |
CANCEL_LAYOUT |
101 |
public static final int |
CANCEL_OPTION |
301 |
public static final int |
CLOSE_BUTTON |
202 |
public static final String |
CLOSE_LABEL |
"RavenDialogCloseButton" |
public static final int |
CLOSE_LAYOUT |
102 |
public static final int |
CLOSE_OPTION |
302 |
public static final int |
LOAD_BUTTON |
204 |
public static final int |
LOAD_CANCEL_LAYOUT |
104 |
public static final String |
LOAD_LABEL |
"RavenDialogLoadButton" |
public static final int |
LOAD_OPTION |
304 |
public static final int |
NO_BUTTON |
206 |
public static final String |
NO_LABEL |
"RavenDialogNoButton" |
public static final int |
NO_OPTION |
306 |
public static final int |
SAVE_BUTTON |
203 |
public static final int |
SAVE_CANCEL_LAYOUT |
103 |
public static final String |
SAVE_LABEL |
"RavenDialogSaveButton" |
public static final int |
SAVE_OPTION |
303 |
public static final int |
YES_BUTTON |
205 |
public static final String |
YES_LABEL |
"RavenDialogYesButton" |
public static final int |
YES_NO_CANCEL_LAYOUT |
106 |
public static final int |
YES_NO_LAYOUT |
105 |
public static final int |
YES_OPTION |
305 |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final String |
BDD_HIGH_EDGE_STYLE |
"ravenBDDHighEdgeStyle" |
public static final String |
BDD_LOW_EDGE_STYLE |
"ravenBDDLowEdgeStyle" |
public static final String |
BDD_TERMINAL_ONE_STYLE |
"ravenBDDTerminalOneStyle" |
public static final String |
BDD_TERMINAL_ZERO_STYLE |
"ravenBDDTerminalZeroStyle" |
public static final String |
BDD_VERTEX_STYLE |
"ravenBDDVertexStyle" |
public static final int |
BLACK |
1 |
public static final int |
BLUE |
4 |
public static final String |
COSPAN_EDGE_STYLE_RED |
"ravenCospanEdgeStyleRed" |
public static final int |
CYAN |
6 |
public static final String |
DOT_FINAL_TOKEN |
"final" |
public static final String |
DOT_INITIAL_FINAL_TOKEN |
"initialFinal" |
public static final String |
DOT_INITIAL_TOKEN |
"initial" |
public static final int |
GRAY |
9 |
public static final int |
GREEN |
3 |
public static final String |
HYPERGRAPH_EDGE_STYLE |
"ravenHypergraphEdgeStyle" |
public static final String |
HYPERGRAPH_INNER_OUTER_VERTEX_STYLE |
"ravenHypergraphInnerOuterVertexStyle" |
public static final String |
HYPERGRAPH_INNER_VERTEX_STYLE |
"ravenHypergraphInnerVertexStyle" |
public static final String |
HYPERGRAPH_OUTER_VERTEX_STYLE |
"ravenHypergraphOuterVertexStyle" |
public static final String |
HYPERGRAPH_TENTACLE_STYLE |
"ravenHypergraphTentacleStyle" |
public static final String |
HYPERGRAPH_VERTEX_STYLE |
"ravenHypergraphVertexStyle" |
public static final String |
INNER_INTERFACE_BACKGROUND_STYLE |
"ravenInnerInterfaceStyle" |
public static final String |
INTERFACE_NO_BACKGROUND_STYLE |
"ravenInterfaceNoBackgroundStyle" |
public static final String |
INTERFACE_VERTEX_STYLE |
"ravenInterfaceVertexStyle" |
public static final String |
INTERFACE_WHITE_BACKGROUND_STYLE |
"ravenInterfaceWhiteBackgroundStyle" |
public static final String |
LABEL_STYLE |
"ravenLabelStyle" |
public static final int |
MAGENTA |
8 |
public static final String |
NO_VERTEX_STYLE |
"ravenNoVertexStyle" |
public static final int |
ORANGE |
7 |
public static final String |
OUTER_INTERFACE_BACKGROUND_STYLE |
"ravenOuterInterfaceStyle" |
public static final int |
RED |
2 |
public static final int |
WHITE |
0 |
public static final int |
YELLOW |
5 |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final String |
AUTOMATON_FILE_EXTENSION |
"aut" |
public static final String |
BDD_FILE_EXTENSION |
"bdd" |
public static final String |
COSPAN_GXL_FILE_EXTENSION |
"cos" |
public static final String |
DECOMPOSITION_FILE_EXTENSION |
"dec" |
public static final String |
DEFAULT_COLORABILITY_ENCODING |
"Colorability.encoding" |
public static final String |
DEFAULT_DOMINATING_SET_ENCODING |
"DominatingSet.encoding" |
public static final String |
DEFAULT_VERTEX_COVER_ENCODING |
"VertexCover.encoding" |
public static final String |
DOT_BDD_LAYOUTER |
"dot" |
public static final String |
DOT_FILE_EXTENSION |
"dot" |
public static final String |
DOT_GRAPH_LAYOUTER |
"neato" |
public static final String |
DOT_RUN_LAYOUTER |
"dot" |
public static final int |
EXIT_CODE_NORMAL_TERMINATION |
0 |
public static final int |
EXIT_CODE_OUT_OF_MEMORY |
8 |
public static final int |
EXIT_CODE_PROPERTIES_FILE_NOT_FOUND |
6 |
public static final int |
EXIT_CODE_PROPERTIES_IO_EXCEPTION |
7 |
public static final int |
EXIT_CODE_SAVE_DIR_CREATION_FAILED |
2 |
public static final int |
EXIT_CODE_SCRIPT_DIR_CREATION_FAILED |
3 |
public static final int |
EXIT_CODE_SECURITY_EXCEPTION |
5 |
public static final int |
EXIT_CODE_TEMP_DIR_CREATION_FAILED |
4 |
public static final int |
EXIT_CODE_UNEXPECTED_ERROR |
1 |
public static final String |
FILE_COMMENT_SIGN |
"#" |
public static final String |
GRAPH_GXL_FILE_EXTENSION |
"gxl" |
public static final String |
GXL_DTD_URI |
"http://www.gupro.de/GXL/gxl-1.0.dtd" |
public static final String |
JAR_FILE_EXTENSION |
"jar" |
public static final String |
PROPERTY_DEFAULT_LEVEL |
".level" |
public static final String |
PROPERTY_DOT_PATH |
"dot" |
public static final String |
PROPERTY_DOWNLOAD_BETA_VERSION |
"_beta" |
public static final String |
PROPERTY_FILE_HANDLER_FORMATTER |
"java.util.logging.FileHandler.formatter" |
public static final String |
PROPERTY_FILE_HANDLER_LEVEL |
"java.util.logging.FileHandler.level" |
public static final String |
PROPERTY_FILE_HANDLER_LIMIT |
"java.util.logging.FileHandler.limit" |
public static final String |
PROPERTY_FILE_HANDLER_PATTERN |
"java.util.logging.FileHandler.pattern" |
public static final String |
PROPERTY_HANDLERS |
"handlers" |
public static final String |
PROPERTY_RAVEN_LOGGING_HANDLER_LEVEL |
"de.uni_due.inf.ti.raven.main.RavenLoggingHandler.level" |
public static final String |
PROPERTY_SLOPPY_MODE |
"_sloppy" |
public static final String |
PROPERTY_TIME |
"_time" |
public static final String |
PROPERTY_VERBOSE |
"_verbose" |
public static final String |
RAVEN_SCRIPT_FILE_EXTENSION |
"txt" |
public static final String |
RAVEN_UPDATE_FILE |
"raven-update.xml" |
public static final String |
SERIALIZATION_FILE_EXTENSION |
"obj" |
public static final String |
SIGNATURE_FILE_EXTENSION |
"sig" |
public static final String |
SVG_FILE_EXTENSION |
"svg" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final int |
STATUS_CODE_BUILDING_PARSER_FAILED |
4 |
public static final int |
STATUS_CODE_DOWNLOAD_CORRUPTED |
8 |
public static final int |
STATUS_CODE_FAILED_FOR_UNKNOWN_REASON |
10 |
public static final int |
STATUS_CODE_IOERROR_OCCURRED |
6 |
public static final int |
STATUS_CODE_NO_UPDATE_AVAILABLE |
1 |
public static final int |
STATUS_CODE_SUCCESS |
7 |
public static final int |
STATUS_CODE_UPDATE_AVAILABLE |
0 |
public static final int |
STATUS_CODE_UPDATE_FILES_NOT_FOUND |
9 |
public static final int |
STATUS_CODE_UPDATE_LOCATION_INVALID |
5 |
public static final int |
STATUS_CODE_UPDATE_SCHEMA_FILE_CORRUPTED |
3 |
public static final int |
STATUS_CODE_UPDATE_SCHEMA_FILE_NOT_FOUND |
2 |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final String |
ADDING_NODE_NOT_POSSIBLE_EXCEPTION |
"The interface must not contain the maximum number of nodes to add a new node." |
public static final String |
ALPHABETS_MUST_BE_EQUAL_EXCEPTION |
"The alphabets of the automata must be equal." |
public static final String |
AUTOMATA_MUST_NOT_BE_EQUAL_EXCEPTION |
"The automata must not be equal." |
public static final String |
AUTOMATON_MUST_NOT_BE_NULL_EXCEPTION |
"The automaton must not be null." |
public static final String |
AUTOMATON_TYPE_MUST_NOT_BE_NULL_EXCEPTION |
"The automaton type must not be null." |
public static final String |
BDD_DOMAIN_MUST_NOT_BE_NULL_EXCEPTION |
"The BDD Domain must not be null." |
public static final String |
BDD_MUST_NEITHER_BE_ZERO_NOR_ONE_EXCEPTION |
"The state must not be the Zero-BDD or One-BDD." |
public static final String |
BDD_MUST_NOT_BE_NULL_EXCEPTION |
"The BDD must not be null." |
public static final String |
BOUND_MUST_NOT_BE_NEGATIVE_EXCEPTION |
"The bound must not be negative." |
public static final String |
CANCEL_NON_RUNNING_ACTION_EXCEPTION |
"The action can not be cancelled, since it does not run." |
public static final String |
COSPAN_MUST_NOT_BE_NULL_EXCEPTION |
"The cospan must not be null." |
public static final String |
COSPAN_NAME_MUST_NOT_BE_NULL_EXCEPTION |
"The cospan name must not be null." |
public static final String |
COSPAN_NOT_FOUND_EXCEPTION |
"Cospan not found." |
public static final String |
DATA_MUST_NOT_BE_NULL_EXCEPTION |
"The data must not be null." |
public static final String |
DECOMPOSITION_INCOMPATIBLE_EXCEPTION |
"Decomposition is incompatible to automaton." |
public static final String |
DECOMPOSITION_INCOMPATIBLE_TO_ALPHABET_EXCEPTION |
"The operations of the decomposition must be contained in the alphabet." |
public static final String |
DECOMPOSITION_MUST_NOT_BE_NULL_EXCEPTION |
"The decomposition must not be null." |
public static final String |
DENSITY_MUST_NOT_BE_GREATER_THAN_ONE_EXCEPTION |
"The density must not be greater than 1." |
public static final String |
DENSITY_MUST_NOT_BE_LESS_THAN_ZERO_EXCEPTION |
"The density must not be less than 0." |
public static final String |
DIFFERENT_ALPHABETS_EXCEPTION |
"Alphabets do not match!" |
public static final String |
DIFFERENT_MAXIMUM_INTERFACES_EXCEPTION |
"Maximum interface sizes are different." |
public static final String |
DIVISOR_MUST_BE_POSITIVE_EXCEPTION |
"The divisor must be positive." |
public static final String |
DOT_FILE_NOT_FOUND_EXCEPTION |
"DOT-File not found." |
public static final String |
DUPLICATE_NAME_EXCEPTION |
"The name is already existing." |
public static final String |
EDGE_MUST_NOT_BE_NULL_EXCEPTION |
"The edge must not be null." |
public static final String |
EDGE_NOT_EXISTING_EXCEPTION |
"Edge not existing." |
public static final String |
EDGE_ORDER_MUST_NOT_BE_NULL_EXCEPTION |
"The edge order must not be null." |
public static final String |
EDGE_SET_MUST_NOT_BE_NULL_EXCEPTION |
"The edge set must not be null." |
public static final String |
ENCODING_LENGTH_MUST_NOT_BE_NEGATIVE_EXCEPTION |
"The encoding length size must not be negative." |
public static final String |
ENCODING_MUST_NOT_BE_NULL_EXCEPTION |
"The encoding must not be null." |
public static final String |
ENCODING_NAME_MUST_NOT_BE_EMPTY_EXCEPTION |
"The encoding name must not be empty." |
public static final String |
ENCODING_NAME_MUST_NOT_BE_NULL_EXCEPTION |
"The encoding name must not be null." |
public static final String |
FILE_NOT_FOUND_EXCEPTION |
"The file can not be found." |
public static final String |
FILENAME_MUST_NOT_BE_EMPTY_EXCEPTION |
"The file name must not be empty." |
public static final String |
FILENAME_MUST_NOT_BE_NULL_EXCEPTION |
"The file name must not be null." |
public static final String |
FIRST_AUTOMATON_MUST_NOT_BE_NULL_EXCEPTION |
"The first automaton must not be null." |
public static final String |
FIRST_ENCODING_MUST_NOT_BE_NULL_EXCEPTION |
"The first BDD encodings must not be null." |
public static final String |
GRAPH_MUST_NOT_BE_NULL_EXCEPTION |
"The graph must not be null." |
public static final String |
GRAPH_NAME_MUST_NOT_BE_NULL_EXCEPTION |
"The graph name must not be null." |
public static final String |
GRAPH_NOT_FOUND_EXCEPTION |
"Graph not found." |
public static final String |
GXL_TAG_MUST_NOT_BE_NULL_EXCEPTION |
"GXL Tag must not be null." |
public static final String |
ID_MUST_NOT_BE_EMPTY_EXCEPTION |
"The ID must not be empty." |
public static final String |
ID_MUST_NOT_BE_NULL_EXCEPTION |
"The ID must not be null." |
public static final String |
ILLEGAL_ARITY_EXCEPTION |
"The arity must be in the range of 0 and the current interface size (both inclusive)." |
public static final String |
ILLEGAL_AUTOMATON_EXCEPTION |
"Illegal automaton." |
public static final String |
ILLEGAL_BIT_POSITION_EXCEPTION |
"Illegal bit position for encoding" |
public static final String |
ILLEGAL_COLOR_EXCEPTION |
"Illegal color." |
public static final String |
ILLEGAL_COUNTER_EXCEPTION |
"The counter must be in the range of 0 and the bound (both inclusive)." |
public static final String |
ILLEGAL_DOMINATING_SET_SIZE_EXCEPTION |
"Illegal dominating set size." |
public static final String |
ILLEGAL_EDGE_LABEL_ARITY_EXCEPTION |
"The edge label has the wrong arity." |
public static final String |
ILLEGAL_EDGE_LABEL_EXCEPTION |
"This edge label is not permitted." |
public static final String |
ILLEGAL_EDGE_NUMBER_EXCEPTION |
"The edge number must be in the range of 0 (inclusive) and the number of edges (exclusive)." |
public static final String |
ILLEGAL_EDGE_ORDER_EXCEPTION |
"The edge order must exactly contain the edges of the graph." |
public static final String |
ILLEGAL_EVENT_TYPE_EXCEPTION |
"The event type is illegal." |
public static final String |
ILLEGAL_GXL_TAG_EXCEPTION |
"The GXL Tag is not allowed here." |
public static final String |
ILLEGAL_INTERFACE_NODE_EXCEPTION |
"Illegal interface node." |
public static final String |
ILLEGAL_INTERFACE_SIZE_EXCEPTION |
"The interface size must be in the range of 0 and the maximum interface size (both inclusive)." |
public static final String |
ILLEGAL_LETTER_EXCEPTION |
"The letter is illegal, i.e. it is not contained in the signature." |
public static final String |
ILLEGAL_NAME_EXCEPTION |
"Illegal name." |
public static final String |
ILLEGAL_NODE_ORDER_EXCEPTION |
"The node order must exactly contain the nodes of the graph." |
public static final String |
ILLEGAL_OPERATION_STRING_EXCEPTION |
"Unparsable operation string." |
public static final String |
ILLEGAL_RANGE_EXCEPTION |
"Invalid range for column span" |
public static final String |
ILLEGAL_REMAINDER_EXCEPTION |
"The remainder must be in the range of 0 (inclusive) and the divisor (exclusive)." |
public static final String |
ILLEGAL_SEARCH_TYPE_EXCEPTION |
"Illegal search type for this algorithm." |
public static final String |
ILLEGAL_VERTEX_COVER_SIZE_EXCEPTION |
"The size of the vertex cover must be in the range of 0 and the maximum size (both inclusive)." |
public static final String |
INAPPLICABLE_OPERATION_EXCEPTION |
"The Operation is incompatible to automaton." |
public static final String |
INCIDENT_NODES_MUST_BE_CONTAINED_EXCEPTION |
"Incident nodes must be contained in this graph." |
public static final String |
INCIDENT_NODES_MUST_NOT_BE_NULL_EXCEPTION |
"Incident nodes must not be null." |
public static final String |
INDEX_OUT_OF_BOUNDS_EXCEPTION |
"The index is out of bounds." |
public static final String |
INNER_INTERFACE_MUST_BE_CONTAINED_IN_GRAPH_EXCEPTION |
"All nodes of the inner interface must be contained in the graph." |
public static final String |
INNER_INTERFACE_MUST_NOT_BE_NULL_EXCEPTION |
"The inner interface must not be null." |
public static final String |
INNER_INTERFACE_SIZE_MUST_NOT_BE_GREATER_THAN_THE_MAXIMUM_INTERFACE_EXCEPTION |
"The inner interface size must not be greater than the maximum interface." |
public static final String |
INNER_INTERFACE_SIZE_MUST_NOT_BE_NEGATIVE_EXCEPTION |
"The inner interface size must not be negative." |
public static final String |
INNER_INTERFACE_SIZES_MUST_NOT_BE_DIFFERENT_EXCEPTION |
"The inner interface sizes must not be different." |
public static final String |
INTERFACE_SIZE_MUST_BE_GREATER_THAN_ONE_EXCEPTION |
"The interface must contain at least two nodes." |
public static final String |
INTERFACE_SIZE_MUST_BE_GREATER_THAN_TWO_EXCEPTION |
"The interface must contain at least three nodes." |
public static final String |
INTERFACE_SIZE_MUST_BE_GREATER_THAN_ZERO_EXCEPTION |
"The interface must contain at least one nodes." |
public static final String |
IO_EXCEPTION_OCCURRED_EXCEPTION |
"An I/O error occured. Furhter information can be found in the log file." |
public static final String |
LABEL_MUST_NOT_BE_EMPTY_EXCEPTION |
"The label must not be empty." |
public static final String |
LABEL_MUST_NOT_BE_NULL_EXCEPTION |
"The label must not be null." |
public static final String |
LETTER_MUST_NOT_BE_NULL_EXCEPTION |
"The letter must not be null." |
public static final String |
LHS_MUST_NOT_BE_NULL_EXCEPTION |
"The left-hand side must not be null." |
public static final String |
LOAD_TYPE_MUST_NOT_BE_NULL_EXCEPTION |
"The load type must not be null" |
public static final String |
MAXIMUM_DOMINATING_SET_SIZE_MUST_BE_POSITIVE_EXCEPTION |
"The maximum size of the dominating set must be positive." |
public static final String |
MAXIMUM_INTERFACE_SIZE_MUST_NOT_BE_NEGATIVE_EXCEPTION |
"The maximum interface size must not be negative." |
public static final String |
MAXIMUM_INTERFACE_SIZES_MUST_NOT_BE_DIFFERENT_EXCEPTION |
"The maximum interface sizes must not be different." |
public static final String |
MAXIMUM_NUMBER_OF_EDGES_MUST_POSITIVE_EXCEPTION |
"The maximum number of edges must be positive." |
public static final String |
MAXIMUM_NUMBER_OF_VERTICES_MUST_NOT_BE_NEGATIVE_EXCEPTION |
"The maximum number of vertices must not be negative." |
public static final String |
MAXIMUM_VERTEX_COVER_SIZE_MUST_BE_POSITIVE_EXCEPTION |
"The maximum size of the vertex cover must not be negative or zero." |
public static final String |
MINIMUM_NUMBER_OF_EDGES_MUST_NOT_BE_NEGATIVE_EXCEPTION |
"The minimum number of edges must not be negative." |
public static final String |
MINIMUM_NUMBER_OF_VERTICES_MUST_NOT_BE_NEGATIVE_EXCEPTION |
"The minimum numbers of vertices must not be negative." |
public static final String |
NAME_ALREADY_IN_USE_EXCEPTION |
"The name is already in use." |
public static final String |
NAME_MUST_NOT_BE_EMPTY_EXCEPTION |
"The name must not be empty." |
public static final String |
NAME_MUST_NOT_BE_NULL_EXCEPTION |
"The name must not be null." |
public static final String |
NAMES_MUST_NOT_BE_EQUAL_EXCEPTION |
"The name must not be equal." |
public static final String |
NO_NEIGHBOR_MUST_NOT_BE_NULL_EXCEPTION |
"No neighbor must be null." |
public static final String |
NODE_ALREADY_ADDED_EXCEPTION |
"The node has already been added." |
public static final String |
NODE_MUST_NOT_BE_NULL_EXCEPTION |
"The node must not be null." |
public static final String |
NODE_NOT_EXISTING_EXCEPTION |
"Node not existing." |
public static final String |
NODE_ORDER_MUST_NOT_BE_NULL_EXCEPTION |
"The node order must not be null." |
public static final String |
NODE_SET_MUST_NOT_BE_NULL_EXCEPTION |
"The node set must not be null." |
public static final String |
NUMBER_MUST_NOT_BE_NEGATIVE_EXCEPTION |
"The number must not be negative." |
public static final String |
NUMBER_OF_COLORS_MUST_BE_POSITIVE_EXCEPTION |
"The number of colors must be positive." |
public static final String |
NUMBER_OF_NEIGHBORS_MUST_BE_2_OR_LESS_EXCEPTION |
"The number of neighbors must be 2 or less." |
public static final String |
OPERATION_CAN_NOT_BE_ADDED_EXCEPTION |
"The operation can not be added to the decomposition." |
public static final String |
OPERATION_LIST_MUST_NOT_BE_NULL_EXCEPTION |
"The operation list must not be null." |
public static final String |
ORDERING_TYPE_MUST_NOT_BE_NULL_EXCEPTION |
"The ordering type must not be null." |
public static final String |
OUTER_INTERFACE_MUST_BE_CONTAINED_IN_GRAPH_EXCEPTION |
"All nodes of the outer interface must be contained in the graph." |
public static final String |
OUTER_INTERFACE_MUST_NOT_BE_NULL_EXCEPTION |
"The outer interface must not be null." |
public static final String |
OUTER_INTERFACE_SIZE_MUST_NOT_BE_GREATER_THAN_THE_MAXIMUM_INTERFACE_EXCEPTION |
"The outer interface size must not be greater than the maximum interface." |
public static final String |
OUTER_INTERFACE_SIZE_MUST_NOT_BE_NEGATIVE_EXCEPTION |
"The outer interface size must not be negative." |
public static final String |
OUTER_INTERFACE_SIZES_MUST_NOT_BE_DIFFERENT_EXCEPTION |
"The outer interface sizes must not be different." |
public static final String |
PERMUTATION_MUST_NOT_BE_NULL_EXCEPTION |
"The permutation must not be null." |
public static final String |
PERSISTENCE_TYPE_MUST_NOT_BE_NULL_EXCEPTION |
"The persistence type must not be null." |
public static final String |
POSITION_MUST_NOT_BE_LESS_OR_EQUAL_TO_INNER_INTERFACE_SIZE_EXCEPTION |
"The position must not be less or equal to the inner interface size." |
public static final String |
POSITION_MUST_NOT_BE_LESS_OR_EQUAL_TO_OUTER_INTERFACE_SIZE_EXCEPTION |
"The position must not be less or equal to the outer interface size." |
public static final String |
POSITION_MUST_NOT_BE_NEGATIVE_EXCEPTION |
"The position must not be negative." |
public static final String |
PRESET_NODE_SET_MUST_NOT_BE_NULL_EXCEPTION |
"The preset node set must not be null." |
public static final String |
PRINTER_MUST_NOT_BE_NULL_EXCEPTION |
"The printer must not be null." |
public static final String |
REPLACEMENT_NAME_MUST_NOT_BE_EMPTY_EXCEPTION |
"The replacement name must not be empty." |
public static final String |
REPLACEMENT_NAME_MUST_NOT_BE_NULL_EXCEPTION |
"The replacement name must not be null." |
public static final String |
RHS_MUST_NOT_BE_NULL_EXCEPTION |
"The right-hand side must not be null." |
public static final String |
SEARCH_TYPE_MUST_NOT_BE_NULL_EXCEPTION |
"The search type must not be null." |
public static final String |
SECOND_AUTOMATON_MUST_NOT_BE_NULL_EXCEPTION |
"The second automaton must not be null." |
public static final String |
SECOND_ENCODING_MUST_NOT_BE_NULL_EXCEPTION |
"The second BDD encodings must not be null." |
public static final String |
SET_OF_LETTERS_MUST_NOT_BE_NULL_EXCEPTION |
"The set of letters must not be null." |
public static final String |
SIGNATURE_MUST_NOT_BE_NULL_EXCEPTION |
"The signature must not be null." |
public static final String |
SOURCE_NODE_RANGE_EXCEPTION |
"The source node must be in the range of 0 (inclusive) and the inner interface size (exclusive)." |
public static final String |
SOURCE_NODE_SET_MUST_NOT_BE_NULL_EXCEPTION |
"The source nodes must not be null." |
public static final String |
SOURCE_NODE_SIZE_MUST_NOT_BE_GREATER_THAN_INNER_INTERFACE_EXCEPTION |
"The number of source nodes must not be greater than the inner interface size." |
public static final String |
TARGET_NODE_RANGE_EXCEPTION |
"The target node must be in the range of 0 (inclusive) and the outer interface size (exclusive)." |
public static final String |
TARGET_NODE_SET_MUST_NOT_BE_NULL_EXCEPTION |
"The target nodes must not be null." |
public static final String |
TARGET_NODE_SIZE_MUST_NOT_BE_GREATER_THAN_OUTER_INTERFACE_EXCEPTION |
"The number of target nodes must not be greater than the outer interface size." |
public static final String |
TEXT_AREA_MUST_NOT_BE_NULL_EXCEPTION |
"The text area must not be null." |
public static final String |
WIDTH_MUST_NOT_BE_NEGATIVE_EXCEPTION |
"The width must not be negative." |