Constant Field Values

Contents

• it.univr.*

it.univr.*

it.univr.di.Debug

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

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.5.1- January, 17 2023"

it.univr.di.cstnu.algorithms.CSTNU2CSTN

Modifier and Type	Constant Field	Value
public static final String	VERSIONandDATE	"Version 1.4 - January, 21 2019"

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 alpha-February, 14 2024"

it.univr.di.cstnu.algorithms.PCSTNU

Modifier and Type	Constant Field	Value
public static final String	VERSIONandDATE	"Version 0.5 - September, 20 2022"

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.STNU

Modifier and Type	Constant Field	Value
public static final String	FILE_NAME_SUFFIX	".stnu"
static final String	VERSIONandDATE	"Version 2.0.1 - December 27, 2023"
public static final String	ZERO_NODE_NAME	"Z"

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.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.TNGraph<E>

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

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

Modifier and Type	Constant Field	Value
static final String	prefix	"__"

it.univr.di.cstnu.graph.TNGraphMLWriter

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_TYPE_KEY	"Type"
public static final String	EDGE_VALUE_KEY	"Value"
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	NETWORK_TYPE_KEY	"NetworkType"
public static final String	NODE_LABEL_KEY	"Label"
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.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.5, 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	CSVSep	";\t"
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%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%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	"1.0, December, 01 2023"

it.univr.di.cstnu.util.GraphML2Luke

Modifier and Type	Constant Field	Value
static final String	plainSuffix	".plainStnu"
static final String	VERSIONandDATE	"1.0, January, 04 2024"

it.univr.di.cstnu.util.Luke2GraphML

Modifier and Type	Constant Field	Value
static final String	VERSIONandDATE	"1.3, January, 04 2024"

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.05
static final double	X_SHIFT	150.0
static final double	Y_SHIFT	150.0

it.univr.di.cstnu.util.RunMeter

Modifier and Type	Constant Field	Value
static final int	maxMeterSize	50

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	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 double	SON_PROBABILITY	0.8
public static final String	VERSIONandDATE	"Version 2.1 - July, 17 2020"
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.cstnu.visualization.CSTNLayout

Modifier and Type	Constant Field	Value
public static final long	serialVersionUID	1L
public static final String	VERSIONandDATE	"Version 1.0 - October, 20 2017"

it.univr.di.cstnu.visualization.CSTNUStaticLayout<E>

Modifier and Type	Constant Field	Value
public static final String	VERSIONandDATE	"1.1, June, 9 2019"

it.univr.di.cstnu.visualization.ObservableValidator

Modifier and Type	Constant Field	Value
public static final String	VERSIONandDATE	"1.0, June, 9 2019"

it.univr.di.cstnu.visualization.TNEditor

Modifier and Type	Constant Field	Value
public static final String	DERIVED_GRAPH_BIG_VIEWER_NAME	"Resulting network bigger viewer"
public static final String	DISTANCE_VIEWER_NAME	"DistanceViewer"
public static final String	EDITOR_NAME	"Editor"
public static final String	INPUT_GRAPH_BIG_VIEWER_NAME	"Bigger viewer"

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.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'