|
|||||||||
PREV NEXT | FRAMES NO FRAMES |
verf.mdverif.* |
---|
verf.mdverif.MDVerif | ||
---|---|---|
public static final java.lang.String |
PLUGIN_ID |
"verf.mdverif" |
verf.mdverif.model.entities.MDVerifMode | ||
---|---|---|
public static final int |
TYPE_PAR |
1 |
public static final int |
TYPE_SER |
0 |
verf.mdverif.model.entities.MDVerifTrans | ||
---|---|---|
public static final int |
TYPE_TIME |
0 |
public static final int |
TYPE_TRIG |
1 |
verf.mdverif.model.entities.MDVerifTransCond | ||
---|---|---|
public static final int |
TYPE_IN |
0 |
public static final int |
TYPE_NONE |
-1 |
public static final int |
TYPE_OUT |
1 |
public static final int |
TYPE_TRANS |
2 |
verf.mdverif.sg.MDVerifSG | ||
---|---|---|
public static final int |
BFS_LIMIT |
8 |
verf.mdverif.verifier.MDVerifFormula | ||
---|---|---|
public static final int |
TYPE_IN |
0 |
public static final int |
TYPE_OUT |
1 |
public static final int |
TYPE_RELATION1 |
0 |
public static final int |
TYPE_RELATION2 |
1 |
|
|||||||||
PREV NEXT | FRAMES NO FRAMES |