Constant Field Values


Contents
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