public static final java.lang.String |
COMMA |
"," |
public static final char |
COMMENT |
35 |
public static final char |
DOT |
46 |
public static final java.lang.String |
DUMMY |
".dummy " |
public static final java.lang.String |
END |
"END" |
public static final java.lang.String |
EQUALS |
"=" |
public static final java.lang.String |
INPUTS |
".inputs " |
public static final java.lang.String |
INTERNAL |
".internal " |
public static final java.lang.String |
LPAREN |
"(" |
public static final java.lang.String |
MARKING |
".marking " |
public static final java.lang.String |
MODEL |
".model " |
public static final java.lang.String |
OUTPUTS |
".outputs " |
public static final java.lang.String |
RPAREN |
")" |