Constant Field Values

it.univr.*

it.univr.di.Debug

Modifier and Type	Constant Field	Value
public static final boolean	ON	true

it.univr.di.cstnu.algorithms.AbstractCSTN<E>

Modifier and Type	Constant Field	Value
static final String	VERSIONandDATE	"Version 1.2 - December, 17 2021"
public static final String	ZERO_NODE_NAME	"Z"

it.univr.di.cstnu.algorithms.CSTN

Modifier and Type	Constant Field	Value
public static final String	VERSIONandDATE	"Version 7.1 - June 16, 2022"

it.univr.di.cstnu.algorithms.CSTN2CSTN0

Modifier and Type	Constant Field	Value
public static final String	VERSIONandDATE	"Version 1.1 - November, 20 2017"

it.univr.di.cstnu.algorithms.CSTNEpsilon

Modifier and Type	Constant Field	Value
public static final String	VERSIONandDATE	"Version 1.1 - October, 11 2017"

it.univr.di.cstnu.algorithms.CSTNEpsilon3R

Modifier and Type	Constant Field	Value
public static final String	VERSIONandDATE	"Version 1.0 - November, 22 2017"

it.univr.di.cstnu.algorithms.CSTNEpsilon3RwoNodeLabels

Modifier and Type	Constant Field	Value
public static final String	VERSIONandDATE	"Version 1.0 - November, 17 2017"

it.univr.di.cstnu.algorithms.CSTNEpsilonwoNodeLabels

Modifier and Type	Constant Field	Value
public static final String	VERSIONandDATE	"Version 1.0 - November, 15 2017"

it.univr.di.cstnu.algorithms.CSTNIR

Modifier and Type	Constant Field	Value
public static final String	VERSIONandDATE	"Version 1.1 - October, 10 2017"

it.univr.di.cstnu.algorithms.CSTNIR3R

Modifier and Type	Constant Field	Value
public static final String	VERSIONandDATE	"Version 6.4 - November 22, 2017"

it.univr.di.cstnu.algorithms.CSTNIR3RwoNodeLabels

Modifier and Type	Constant Field	Value
public static final String	VERSIONandDATE	"Version 1.3 - November 22, 2017"

it.univr.di.cstnu.algorithms.CSTNIRwoNodeLabels

Modifier and Type	Constant Field	Value
public static final String	VERSIONandDATE	"Version 2.1 - November 22, 2017"

it.univr.di.cstnu.algorithms.CSTNPotential

Modifier and Type	Constant Field	Value
public static final String	VERSIONandDATE	"Version 4.1 - December 31, 2021"

it.univr.di.cstnu.algorithms.CSTNPSU

Modifier and Type	Constant Field	Value
static final String	VERSIONandDATE	"Version 2.4 - Jun, 20 2023"

it.univr.di.cstnu.algorithms.CSTNU

Modifier and Type	Constant Field	Value
public static final String	VERSIONandDATE	"Version 6.6 - October, 19 2024"

it.univr.di.cstnu.algorithms.CSTNU2CSTN

Modifier and Type	Constant Field	Value
public static final String	VERSIONandDATE	"Version 1.5 - October, 19 2024"

it.univr.di.cstnu.algorithms.CSTNwoNodeLabel

Modifier and Type	Constant Field	Value
public static final String	VERSIONandDATE	"Version 1.6 - November, 17 2017"

it.univr.di.cstnu.algorithms.OSTNU

Modifier and Type	Constant Field	Value
public static final String	VERSIONandDATE	"Version 1.0 - March 16, 2025"

it.univr.di.cstnu.algorithms.PCSTNU

Modifier and Type	Constant Field	Value
public static final String	VERSIONandDATE	"Version 1.9 - October 19, 2024"

it.univr.di.cstnu.algorithms.PSTN

Modifier and Type	Constant Field	Value
public static final String	FILE_NAME_SUFFIX	".pstn"
static final String	VERSIONandDATE	"Version 0.2 - October 04, 2024"
public static final String	ZERO_NODE_NAME	"Z"

it.univr.di.cstnu.algorithms.PSTN.PSTNCheckStatus

Modifier and Type	Constant Field	Value
public static final long	serialVersionUID	1L

it.univr.di.cstnu.algorithms.STN

Modifier and Type	Constant Field	Value
public static final String	FILE_NAME_SUFFIX	".stn"
static final String	VERSIONandDATE	"Version 1.4.1 - January 17, 2023"
public static final String	ZERO_NODE_NAME	"Z"

it.univr.di.cstnu.algorithms.STN.STNCheckStatus

Modifier and Type	Constant Field	Value
public static final long	serialVersionUID	2L

it.univr.di.cstnu.algorithms.STNU

Modifier and Type	Constant Field	Value
public static final String	FILE_NAME_SUFFIX	".stnu"
static final String	VERSIONandDATE	"Version 3.0 - January 24, 2026"
public static final String	ZERO_NODE_NAME	"Z"

it.univr.di.cstnu.algorithms.STNU.STNUCheckStatus

Modifier and Type	Constant Field	Value
public static final long	serialVersionUID	1L

it.univr.di.cstnu.algorithms.it.univr.di.cstnu.algorithms.STNU.STNUPath

Modifier and Type	Constant Field	Value
public static final long	serialVersionUID	1L

it.univr.di.cstnu.algorithms.STNURTE

Modifier and Type	Constant Field	Value
static final String	VERSIONandDATE	"Version beta - January 30, 2024"

it.univr.di.cstnu.graph.DenseTCGraph<E>

Modifier and Type	Constant Field	Value
static final float	growFactor	1.7999999523162842f
static final int	INITIAL_DIMENSION	50

it.univr.di.cstnu.graph.GraphAnnotation

Modifier and Type	Constant Field	Value
public static final double	DEFAULT_HEIGHT	80.0
public static final double	DEFAULT_WIDTH	180.0

it.univr.di.cstnu.graph.NetworkFingerprint

Modifier and Type	Constant Field	Value
public static final String	PREFIX	"sha256:v1:"
public static final String	VERSION	"sha256:v1"

it.univr.di.cstnu.graph.STNUEdge

Modifier and Type	Constant Field	Value
public static final String	LC_LABEL	"LC"
public static final String	SEP_CASE	":"
public static final String	UC_LABEL	"UC"

it.univr.di.cstnu.graph.STNUEdge.CaseLabel

Modifier and Type	Constant Field	Value
public static final long	serialVersionUID	1L

it.univr.di.cstnu.graph.STNUEdgeInt

Modifier and Type	Constant Field	Value
public static final long	serialVersionUID	4L

it.univr.di.cstnu.graph.TCGraphMLWriter

Modifier and Type	Constant Field	Value
public static final String	EDGE_CASE_VALUE_KEY	"LabeledValue"
public static final String	EDGE_LABELED_LC_VALUE_KEY	"LowerCaseLabeledValues"
public static final String	EDGE_LABELED_UC_VALUE_KEY	"UpperCaseLabeledValues"
public static final String	EDGE_LABELED_VALUE_KEY	"LabeledValues"
public static final String	EDGE_ROUTE_KEY	"Route"
public static final String	EDGE_TYPE_KEY	"Type"
public static final String	EDGE_VALUE_KEY	"Value"
public static final String	GRAPH_ANNOTATIONS_KEY	"Annotations"
public static final String	GRAPH_CHECK_OUTCOME_KEY	"CheckOutcome"
public static final String	GRAPH_DISPATCHABILITY_OUTCOME_KEY	"DispatchabilityOutcome"
public static final String	GRAPH_NAME_KEY	"Name"
public static final String	GRAPH_nCTG_KEY	"nContingent"
public static final String	GRAPH_nEDGES_KEY	"nEdges"
public static final String	GRAPH_nOBS_KEY	"nObservedProposition"
public static final String	GRAPH_nVERTICES_KEY	"nVertices"
public static final String	GRAPH_OUTCOME_FINGERPRINT_KEY	"OutcomeFingerprint"
public static final String	NETWORK_TYPE_KEY	"NetworkType"
public static final String	NODE_LABEL_KEY	"Label"
public static final String	NODE_LOGNORMALDISTRIBUTION_KEY	"LogNormalDistribution"
public static final String	NODE_OBSERVED_KEY	"Obs"
public static final String	NODE_PARAMETER_KEY	"Parameter"
public static final String	NODE_POTENTIAL_KEY	"Potential"
public static final String	NODE_X_KEY	"x"
public static final String	NODE_Y_KEY	"y"

it.univr.di.cstnu.gui.CanvasInteraction<E>

Modifier and Type	Constant Field	Value
public static final double	BORDER_RING_FRACTION	0.3

it.univr.di.cstnu.gui.CurvaturePolicy

Modifier and Type	Constant Field	Value
public static final double	ANTIPARALLEL_IMPLICIT_CURVATURE	0.2
public static final double	CLEARANCE	5.0

it.univr.di.cstnu.gui.DefaultGraphStyle

Modifier and Type	Constant Field	Value
public static final double	NODE_LABEL_MARGIN	4.0
public static final double	NODE_RADIUS	15.0
public static final float	NORMAL_STROKE_WIDTH	1.5f
public static final float	SELECTED_STROKE_WIDTH	3.0f

it.univr.di.cstnu.gui.EdgeGeometry

Modifier and Type	Constant Field	Value
public static final double	LABEL_OFFSET	16.0
public static final double	LABEL_T	0.65

it.univr.di.cstnu.gui.EditorController

Modifier and Type	Constant Field	Value
static final double	DRAWING_AREA_MARGIN	10.0

it.univr.di.cstnu.gui.EditorSettings

Modifier and Type	Constant Field	Value
public static final int	DEFAULT_CHECK_TIMEOUT_S	1800

it.univr.di.cstnu.gui.EditorView

Modifier and Type	Constant Field	Value
static final double	CURVATURE_STEP	0.2
static final int	INSPECTOR_INITIAL_HEIGHT	170
static final double	MAX_CURVATURE	2.0
static final double	MIN_CURVATURE	-2.0

it.univr.di.cstnu.gui.GraphCanvas<E>

Modifier and Type	Constant Field	Value
public static final double	DEFAULT_ARROW_LENGTH	10.0
public static final double	DEFAULT_ARROW_WIDTH	8.0
public static final double	DEFAULT_HIT_TOLERANCE_PX	5.0

it.univr.di.cstnu.gui.ViewTransform

Modifier and Type	Constant Field	Value
public static final double	DEFAULT_SCALE	1.0
public static final double	MAX_SCALE	50.0
public static final double	MIN_SCALE	0.01

it.univr.di.cstnu.gui.export.TikzExporter

Modifier and Type	Constant Field	Value
public static final double	PIXELS_PER_CM	37.79527559055118

it.univr.di.cstnu.gui.inspector.InspectorPanel

Modifier and Type	Constant Field	Value
public static final int	MAX_FIELD_PREFERRED_HEIGHT	30
public static final int	TYPICAL_AREA_HEIGHT	350

it.univr.di.cstnu.gui.inspector.LabeledValueTable

Modifier and Type	Constant Field	Value
static final String	LOWER_CASE_SUFFIX	" (lower)"
static final String	UPPER_CASE_SUFFIX	" (upper)"

it.univr.di.cstnu.gui.layout.FruchtermanReingoldLayout

Modifier and Type	Constant Field	Value
public static final int	DEFAULT_MAX_ITERATIONS	300
public static final long	DEFAULT_SEED	42L

it.univr.di.cstnu.util.it.univr.di.cstnu.util.AbstractBenchmarkRunner

Modifier and Type	Constant Field	Value
static final String	CSVSep	";\t"

it.univr.di.cstnu.util.Checker

Modifier and Type	Constant Field	Value
static final String	CSVSep	";\t"
static final String	GLOBAL_HEADER	"%n%nGlobal statistics%n#Networks;\t#nodes;\t#contingent;\t#propositions;\tavgExeTime[s];\tstd.dev.[s];\tavgRules/Cycles;\tstd.dev.;\tavgAddedEdgesRate;\tstd.dev.;\tavgWaitAndOrdinaryEdgesRate;\tstd.dev.;\tavgNegativeFromCtgEdgesRate;\tstd.dev.;\tavgPartialExeTime[s];\tstdDevPartialExeTime[s];\t%n"
static final String	GLOBAL_HEADER_ROW	"%d;\t%d;\t%d;\t%d;\t%E;\t%E;\t%E;\t%E;\t%E;\t%E;\t%E;\t%E;\t%E;\t%E;\t%E;\t%E;\t%n"
static final String	OUTPUT_HEADER	"fileName;\t#nodes;\t#edges;\t#propositions;\t#ctg;\t#minEdgeValue;\t#maxEdgeValue;\tavgTime[s];\tstd.dev.[s];\t#ruleExecuted/cycles;\tDC"
static final String	OUTPUT_HEADER_CSTN	"fileName;\t#nodes;\t#edges;\t#propositions;\t#ctg;\t#minEdgeValue;\t#maxEdgeValue;\tavgTime[s];\tstd.dev.[s];\t#ruleExecuted/cycles;\tDC;\t#R0;\t#R3;\t#LP;\t#PotentialUpdate;\t"
static final String	OUTPUT_HEADER_CSTNPSU	"fileName;\t#nodes;\t#edges;\t#propositions;\t#ctg;\t#minEdgeValue;\t#maxEdgeValue;\tavgTime[s];\tstd.dev.[s];\t#ruleExecuted/cycles;\tDC;\t#R0;\t#R3;\t#LP;\t#PotentialUpdate;\tPrototypalTime[s];\tPrototypalTimeStdDev[s];\tPrototypal;\t"
static final String	OUTPUT_HEADER_CSTNU	"fileName;\t#nodes;\t#edges;\t#propositions;\t#ctg;\t#minEdgeValue;\t#maxEdgeValue;\tavgTime[s];\tstd.dev.[s];\t#ruleExecuted/cycles;\tDC;\t#R0;\t#R3;\t#LP;\t#PotentialUpdate;\t#LUC+FLUC+LCUC;\t#LLC;\t#LCC;\t#LLR;\t"
static final String	OUTPUT_HEADER_STNU	"fileName;\t#nodes;\t#edges;\t#propositions;\t#ctg;\t#minEdgeValue;\t#maxEdgeValue;\tavgTime[s];\tstd.dev.[s];\t#ruleExecuted/cycles;\tDC;\trateAddedEdges;\trateWaitAndOrdinaryEdge;\tnegativeEdgeFromContingent;\t"
static final String	OUTPUT_ROW_GRAPH	"%s;\t%d;\t%d;\t%d;\t%d;\t%d;\t%d;\t"
static final String	OUTPUT_ROW_TIME	"%E;\t%E;\t%d;\t%s;\t"
static final String	OUTPUT_ROW_TIME_CSTN	"%d;\t%d;\t%d;\t%d;\t"
static final String	OUTPUT_ROW_TIME_STATS_CSTNPSU	"%E;\t%s;\t%s;\t"
static final String	OUTPUT_ROW_TIME_STATS_CSTNU	"%d;\t%d;\t%d;\t%d;\t"
static final String	OUTPUT_ROW_TIME_STNU	"%E;\t%E;\t%E;\t"
static final String	VERSIONandDATE	"3.6, January 13, 2022"

it.univr.di.cstnu.util.CSTNRandomGenerator

Modifier and Type	Constant Field	Value
static final String	BASE_DIR_NAME	"Instances"
static final String	DC_SUB_DIR_NAME	"Consistent"
static final int	MAX_CHECKS	10
static final int	MIN_MAX_WEIGHT	150
static final int	MIN_NODES	4
static final int	MIN_NODES_QLOOP	2
static final int	MIN_PROPOSITIONS	1
static final String	NOT_DC_SUB_DIR_NAME	"NotConsistent"
static final int	QLOOP_VALUE	-1
public static final String	VERSIONandDATE	"Version 1.0 - November, 13 2019"
static final double	WEIGHT_MODIFICATION_FACTOR	0.03

it.univr.di.cstnu.util.CSTNU2CSTNPSU

Modifier and Type	Constant Field	Value
public static final String	VERSIONandDATE	"Version 1.0 - May, 27 2023"

it.univr.di.cstnu.util.CSTNU2UppaalTiga

Modifier and Type	Constant Field	Value
static final String	AND	" && "
static final String	NOT	"!"
static final String	OR	" || "
static final String	VERSIONandDATE	"1.65, January, 13 2021"

it.univr.di.cstnu.util.DispatchabilityBenchmarkRunner

Modifier and Type	Constant Field	Value
static final String	GLOBAL_HEADER	"%n%nGlobal statistics%n#networks;\t#nodes;\t#contingents;\t#avgEdges;\tstdDevEdges;\tavgExeTimeMorris2014[s];\tstdDevExeTimeMorris2014[s];\tavgEdgesMorris2014;\tstdDevEdgesMorris2014;\tavnExeTimeMinDispESTNU_Morris[s];\tstdDevExeTimeMinDispESTNU_Morris[s];\tavgEdgesMinDispESTNU_Morris;\tstdDevEdgesMinDispESTNU_Morris;\tavgExeTimeFD_STNU[s];\tstdDevFD_STNU[s];\tavgEdgesFD_STNU;\tstdDevEdgesFD_STNU;\tavgExeTimeMinDispESTNU_FD_STNU[s];\tstdDevMinDispESTNU_FD_STNU[s];\tavgEdgesMinDispESTNU_FD_STNU;\tstdDevEdgesMinDispESTNU_FD_STNU;\tavgMaxMinEdges;\t%n"
static final String	GLOBAL_HEADER_ROW	"%d;\t%d;\t%d;\t%E;\t%E;\t%E;\t%E;\t%E;\t%E;\t%E;\t%E;\t%E;\t%E;\t%E;\t%E;\t%E;\t%E;\t%E;\t%E;\t%E;\t%E;\t%E;\t%n"
static final String	OUTPUT_HEADER	"fileName;\t#nodes;\t#contingents;\t#edges;\tMorris2014 avgExeTime[s];\tstd.dev.[s];\tMorris2014 #edges;\tDC Morris2014;\tminDispESTNU(Morris) avgExeTime[s];\tstd.dev.;\tminDispESTNU(Morris) #edges;\tmaxMinEdgesMorris;\tFD_STNU avgExeTime[s];\tstd.dev.[s];\tFD_STNU #edges;\tDC FD_STNU;\tminDispESTNU(FD_STNU) avgExeTime[s];\tstd.dev.;\tminDispESTNU(FD_STNU) #edges;\tmaxMinEdgesFD"
static final String	OUTPUT_ROW_ALG_STATS	"%E;\t%E;\t%d;\t%s;\t"
static final String	OUTPUT_ROW_GRAPH	"%s;\t%d;\t%d;\t%d;\t"
static final String	VERSIONandDATE	"4.0, July 17, 2026"

it.univr.di.cstnu.util.GraphAlgs

Modifier and Type	Constant Field	Value
public static final int	BFCT_NONE	-1

it.univr.di.cstnu.util.GraphML2Luke

Modifier and Type	Constant Field	Value
static final String	plainSuffix	".plainStnu"
static final String	VERSIONandDATE	"2.0, May, 22 2026"

it.univr.di.cstnu.util.Luke2GraphML

Modifier and Type	Constant Field	Value
static final String	VERSIONandDATE	"1.4, August, 13 2026"

it.univr.di.cstnu.util.MDEBenchmarkRunner

Modifier and Type	Constant Field	Value
static final String	GLOBAL_HEADER	"%n%nGlobal statistics%n#networks;\t#nodes;\t#contingents;\t#avgEdges;\tstdDevEdges;\tavgExeTimeMDE[s];\tstdDevExeTimeMDE[s];\tavgEdgesMDE;\tstdDevEdgesMDE;\t%n"
static final String	GLOBAL_HEADER_ROW	"%d;\t%d;\t%d;\t%E;\t%E;\t%E;\t%E;\t%E;\t%E;\t%n"
static final String	OUTPUT_HEADER	"fileName;\t#nodes;\t#edges;\t#contingents;\tMDE avgExeTime[s];\tstd.dev.[s];\tMDE #edges;\tMDE status"
static final String	OUTPUT_ROW_ALG_STATS	"%E;\t%E;\t%d;\t%s;\t"
static final String	OUTPUT_ROW_GRAPH	"%s;\t%d;\t%d;\t%d;\t"
static final String	STATUS_OK	"OK"
static final String	VERSIONandDATE	"3.0, August 17, 2026"

it.univr.di.cstnu.util.ObjectArrayFIFOSetQueue<K>

Modifier and Type	Constant Field	Value
public static final int	INITIAL_CAPACITY	4

it.univr.di.cstnu.util.OSTNURandomGenerator

Modifier and Type	Constant Field	Value
static final String	BASE_DIR_NAME	"Instances"
static final String	DC_SUB_DIR_NAME	"Controllable"
static final String	EDGE_NAME_PREFIX	"e"
static final double	EDGE_PROBABILITY	0.2
static final int	LANES	5
static final int	MAX_CHECKS	50
static final int	MAX_CONTINGENT_RANGE	100
static final int	MAX_CONTINGENT_WEIGHT	100
static final int	MIN_MAX_WEIGHT	150
static final int	MIN_NODES	4
static final String	NODE_NAME_PREFIX	"N"
static final String	NOT_DC_SUB_DIR_NAME	"NotControllable"
static final String	OSTNU_SUFFIX	".ostnu"
static final double	SON_PROBABILITY	0.8
public static final String	VERSIONandDATE	"Version 1.0 - April, 06 2024"
static final double	WEIGHT_MODIFICATION_FACTOR	0.04
static final double	X_SHIFT	150.0
static final double	Y_SHIFT	150.0

it.univr.di.cstnu.util.PSTNRTEBenchmarkRunner

Modifier and Type	Constant Field	Value
static final String	CSVSep	";\t"
static final String	GLOBAL_HEADER	"%n%nGlobal statistics%n#networks;\t#nodes;\t#contingents;\t#avgEdges;\tstdDevEdges;\tavgExeTime[s];\tstdDevExeTime[s];\tavgConjunctedProbMass;\tstdDevConjunctedProbMass;\t%%InBoundOK_E;\t%%OutBoundOK_E;\t%%OutBoundNOTOK_E;\t#OutBoundDDuraOK_E;\t#OutBoundDDuraOK_E;\t%%InBoundOK_M;\t%%OutBoundOK_M;\t%%OutBoundNOTOK_M;\t#OutBoundDDuraOK_M;\t#OutBoundDDuraOK_M;\t%n"
static final String	GLOBAL_HEADER_ROW	"%d;\t%d;\t%d;\t%E;\t%E;\t%E;\t%E;\t%E;\t%E;\t%6.4f;\t%6.4f;\t%6.4f;\t%6.4f;\t%6.4f;\t%6.4f;\t%6.4f;\t%6.4f;\t%6.4f;\t%6.4f;\t%n"
static final String	OUTPUT_ROW_ALG_STATS	"%14E;\t%14E;\t%14E;\t%8.4f;\t%8.4f;\t%8.4f;\t%8.4f;\t%8.4f;\t%8.4f;\t%8.4f;\t%8.4f;\t%8.4f;\t%8.4f;\t"
static final String	OUTPUT_ROW_GRAPH	"%31s;\t%6d;\t%4d;\t%5d;\t"
static final String	VERSIONandDATE	"1.0, July, 1 2024"

it.univr.di.cstnu.util.RunMeter

Modifier and Type	Constant Field	Value
static final int	maxMeterSize	50

it.univr.di.cstnu.util.SRNCFinderBenchmarkRunner

Modifier and Type	Constant Field	Value
static final String	CSVSep	";\t"
static final String	GLOBAL_HEADER	"%n%nGlobal statistics%n#network;\t#nodes;\t#contingents;\t#avgEdges;\tstdDevEdges;\tavgExeTimeRUL2021[s];\tstdDevRUL2021[s];\tavgExeTimeSRNCFinder[s];\tstdDevSRNCFinder[s];\tavgSRNCLength;\tstdSRNCLength;\tSRNCSimple [%%];\tavgSRNCExpandedLength;\tstdSRNCExpandedLength;\tmaxEdgeRepetition%n"
static final String	GLOBAL_HEADER_ROW	"%d;\t%d;\t%d;\t%E;\t%E;\t%E;\t%E;\t%E;\t%E;\t%.2f;\t%.2f;\t%4.1f;\t%.2f;\t%.2f;\t%.0f;\t%n"
static final String	OUTPUT_HEADER	"fileName;\t#nodes;\t#contingents;\t#edges;\tRUL2021 avgExeTime[s];\tstd.dev.[s];\tDC;\tSRNCFinder avgExeTime[s];\tstd.dev.;\tDC;\tSRNC EdgeType;\tSRNC value;\tSRNC length;\tSRNC simple;\tSRNC exp length;\tSRNC maxEdgeRep"
static final String	OUTPUT_ROW_ALG_STATS	"%E;\t%E;\t%5s;\t"
static final String	OUTPUT_ROW_GRAPH	"%s;\t%5d;\t%5d;\t%5d;\t"
static final String	OUTPUT_ROW_SRNC_INFO	"%s;\t%4d;\t%4d;\t%5s;\t%4d;\t%2d"
static final String	VERSIONandDATE	"1.0, April, 19 2024"

it.univr.di.cstnu.util.STNUAddSemiRigidCycles

Modifier and Type	Constant Field	Value
static final String	EDGE_NAME_PREFIX	"e"
static final String	FILE_NAME_SUFFIX	"_withSRCycles"
public static final String	VERSIONandDATE	"Version 2.0 - August 20, 2026"

it.univr.di.cstnu.util.STNUDensifier

Modifier and Type	Constant Field	Value
static final String	CTG_FILE_NAME_SUFFIX	"SQRT_CTG"
static final String	DENSE_FILE_NAME_SUFFIX	"DENSE"
static final int	HOPS	5
static final int	MAX_CHECKS	50
public static final String	VERSIONandDATE	"Version 2.0 - May, 20 2022"
static final int	WEIGHT	0

it.univr.di.cstnu.util.STNURandomGenerator

Modifier and Type	Constant Field	Value
static final String	BASE_DIR_NAME	"Instances"
static final String	DC_SUB_DIR_NAME	"Controllable"
static final String	EDGE_NAME_PREFIX	"e"
static final double	EDGE_PROBABILITY	0.2
static final int	LANES	5
static final int	MAX_CHECKS	50
static final int	MAX_CONTINGENT_RANGE	10
static final int	MAX_CONTINGENT_WEIGHT	20
static final int	MAX_W_CONNECTION_ATTEMPTS	1000
static final int	MAX_W_EDGE_VALUE	600
static final int	MIN_MAX_WEIGHT	150
static final int	MIN_NODES	4
static final String	NODE_NAME_PREFIX	"N"
static final int	NODES_TO_CONNECT_TO_W	3
static final String	NOT_DC_SUB_DIR_NAME	"NotControllable"
static final double	SON_PROBABILITY	0.8
public static final String	VERSIONandDATE	"Version 3.1 - May, 15 2025"
static final double	WEIGHT_MODIFICATION_FACTOR	0.04
static final double	X_SHIFT	150.0
static final double	Y_SHIFT	150.0

it.univr.di.cstnu.util.STNURTEBenchmarkRunner

Modifier and Type	Constant Field	Value
static final String	CSVSep	";\t"
static final String	fdMinSuffix	".FD_STNU-checked-minimized.stnu"
static final String	fdSuffix	".FD_STNU-checked.stnu"
static final String	GLOBAL_HEADER	"%n%nGlobal statistics%n#networks;\t#nodes;\t#contingents;\t#avgEdges;\tstdDevEdges;\tavgInitTimeMorris2014[ns];\tstdDevInitTimeMorris2014[ns];\tavgExeTimeMorris2014[ns];\tstdDevExeTimeMorris2014[ns];\tavgEdgesMorris2014;\tstdDevEdgesMorris2014;\tavgInitTimeFD_STNU[ns];\tstdDevInitFD_STNU[ns];\tavgExeTimeFD_STNU[ns];\tstdDevExeFD_STNU[ns];\tavgEdgesFD_STNU;\tstdDevEdgesFD_STNU;\tavgExeTimeMinDispESTNU_FD_STNU[ns];\tstdDevMinDispESTNU_FD_STNU[ns];\tavgInitTimeMinDispESTNU_FD_STNU[ns];\tstdDevInitMinDispESTNU_FD_STNU[ns];\tavgEdgesMinDispESTNU_FD_STNU;\tstdDevEdgesMinDispESTNU_FD_STNU;\t%n"
static final String	GLOBAL_HEADER_ROW	"%d;\t%d;\t%d;\t%E;\t%E;\t%E;\t%E;\t%E;\t%E;\t%E;\t%E;\t%E;\t%E;\t%E;\t%E;\t%E;\t%E;\t%E;\t%E;\t%E;\t%E;\t%E;\t%E;\t%n"
static final String	morrisSuffix	".Morris2014Dispatchable-checked.stnu"
static final String	OUTPUT_HEADER	"fileName;\t#nodes;\t#contingents;\t#edges;\tRTE Morris2014 avgInitTime[ns];\tstd.dev.[ns];\tRTE Morris2014 avgExeTime[ns];\tstd.dev.[ns];\tMorris2014 #edges;\tRTE FD_STNU avgInitTime[ns];\tstd.dev.[ns];\tRTE FD_STNU avgExeTime[ns];\tstd.dev.[ns];\tFD_STNU #edges;\tRTE minDispESTNU(FD_STNU) avgInitTime[ns];\tstd.dev.;\tRTE minDispESTNU(FD_STNU) avgExeTime[ns];\tstd.dev.;\tminDispESTNU(FD_STNU) #edges;\t%n"
static final String	OUTPUT_ROW_ALG_STATS	"%E;\t%E;\t%E;\t%E;\t%d;\t"
static final String	OUTPUT_ROW_GRAPH	"%s;\t%d;\t%d;\t%d;\t"
static final String	stnuSuffix	".stnu"
static final String	VERSIONandDATE	"1.0, February, 27 2024"

it.univr.di.labeledvalue.AbstractLabeledIntMap

Modifier and Type	Constant Field	Value
static final long	serialVersionUID	1L
static final String	valueRE	"([+\\-])?(\u221e|[0-9]+)"

it.univr.di.labeledvalue.ALabel

Modifier and Type	Constant Field	Value
public static final char	ALABEL_SEPARATOR	'\u2219'
public static final byte	MAX_ALABELALPHABET_SIZE	0x40

it.univr.di.labeledvalue.ALabelAlphabet

Modifier and Type	Constant Field	Value
public static final String	ALETTER	"A-Za-z0-9_\u03c9\u03a9? "
public static final String	ALETTER_RANGE	"[A-Za-z0-9_\u03c9\u03a9? ]+"
public static final byte	DEFAULT_BYTE_RET_VALUE	0xff
public static final byte	MAX_ALABELALPHABET_SIZE	0x40
static final long	serialVersionUID	1L

it.univr.di.labeledvalue.Constants

Modifier and Type	Constant Field	Value
public static final String	CLOSE_PAIR	")"
public static final String	CLOSE_TUPLE	"\u276f"
public static final char	EMPTY_LABEL	'\u22a1'
public static final char	EMPTY_UPPER_CASE_LABEL	'\u25c7'
public static final char	INFINITY_SYMBOL	'\u221e'
public static final int	INT_NEG_INFINITE	-2147483647
public static final int	INT_NULL	-2147483648
public static final int	INT_POS_INFINITE	2147483647
public static final String	LabeledValueRE	"[-[0-9]|[0-9]]*"
public static final String	NonNegIntValueRE	"[0-9]+"
public static final char	NOT	'\u00ac'
public static final String	OPEN_PAIR	"("
public static final String	OPEN_TUPLE	"\u276e"
public static final String	StrictlyPositiveIntValueRE	"[1-9]+"
public static final char	UNKNOWN	'\u00bf'

it.univr.di.labeledvalue.Label

Modifier and Type	Constant Field	Value
public static final int	NUMBER_OF_POSSIBLE_PROPOSITIONS	32

it.univr.di.labeledvalue.LabeledIntMap

Modifier and Type	Constant Field	Value
public static final long	serialVersionUID	2L

it.univr.di.labeledvalue.Literal

Modifier and Type	Constant Field	Value
public static final char	ABSENT	'\u0000'
public static final char	NEGATED	'\u00ac'
public static final String	PROPOSITION_RANGE	"[a-zA-F]"
public static final String	PROPOSITIONS	"a-zA-F"
public static final char	STRAIGHT	'\u0001'
public static final char	UNKNOWN	'\u00bf'