Constant Field Values

Contents

• edu.uiowa.*

edu.uiowa.*

edu.uiowa.cs.clc.kind2.results.Labels

Modifier and Type	Constant Field	Value
public static final java.lang.String	abstractField	"abstract"
public static final java.lang.String	answer	"answer"
public static final java.lang.String	assumptions	"assumptions"
public static final java.lang.String	blockType	"blockType"
public static final java.lang.String	bmcMax	"bmcMax"
public static final java.lang.String	category	"category"
public static final java.lang.String	classField	"class"
public static final java.lang.String	column	"column"
public static final java.lang.String	compositional	"compositional"
public static final java.lang.String	concrete	"concrete"
public static final java.lang.String	counterExample	"counterExample"
public static final java.lang.String	denominator	"den"
public static final java.lang.String	elements	"elements"
public static final java.lang.String	enabled	"enabled"
public static final java.lang.String	endColumn	"endColumn"
public static final java.lang.String	endLine	"endLine"
public static final java.lang.String	equation	"Equation"
public static final java.lang.String	file	"file"
public static final java.lang.String	imported	"imported"
public static final java.lang.String	input	"input"
public static final java.lang.String	instantValues	"instantValues"
public static final java.lang.String	ivc	"ivc"
public static final java.lang.String	ivcComplement	"ivc complement"
public static final java.lang.String	k	"k"
public static final java.lang.String	kind	"kind"
public static final java.lang.String	level	"level"
public static final java.lang.String	line	"line"
public static final java.lang.String	local	"local"
public static final java.lang.String	max	"max"
public static final java.lang.String	min	"min"
public static final java.lang.String	modular	"modular"
public static final java.lang.String	must	"must"
public static final java.lang.String	mustComplement	"must complement"
public static final java.lang.String	name	"name"
public static final java.lang.String	nodeCall	"NodeCall"
public static final java.lang.String	nodes	"nodes"
public static final java.lang.String	numerator	"num"
public static final java.lang.String	objectType	"objectType"
public static final java.lang.String	output	"output"
public static final java.lang.String	runtime	"runtime"
public static final java.lang.String	scope	"scope"
public static final java.lang.String	size	"size"
public static final java.lang.String	source	"source"
public static final java.lang.String	startColumn	"startColumn"
public static final java.lang.String	startLine	"startLine"
public static final java.lang.String	streams	"streams"
public static final java.lang.String	subNodes	"subnodes"
public static final java.lang.String	timeout	"timeout"
public static final java.lang.String	top	"top"
public static final java.lang.String	trueFor	"trueFor"
public static final java.lang.String	type	"type"
public static final java.lang.String	unit	"unit"
public static final java.lang.String	value	"value"