edu.uiowa.cs.clc.kind2.results

Class Labels

java.lang.Object

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

public class Labels
extends java.lang.Object

Kind2 labels used in the json output.

Field Summary

Fields

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

Constructor Summary

Constructors

Constructor and Description
Labels()

Method Summary

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

bmcMax

public static final java.lang.String bmcMax

See Also:

Constant Field Values

objectType

public static final java.lang.String objectType

See Also:

Constant Field Values

top

public static final java.lang.String top

See Also:

Constant Field Values

abstractField

public static final java.lang.String abstractField

See Also:

Constant Field Values

concrete

public static final java.lang.String concrete

See Also:

Constant Field Values

assumptions

public static final java.lang.String assumptions

See Also:

Constant Field Values

name

public static final java.lang.String name

See Also:

Constant Field Values

scope

public static final java.lang.String scope

See Also:

Constant Field Values

file

public static final java.lang.String file

See Also:

Constant Field Values

line

public static final java.lang.String line

See Also:

Constant Field Values

kind

public static final java.lang.String kind

See Also:

Constant Field Values

column

public static final java.lang.String column

See Also:

Constant Field Values

imported

public static final java.lang.String imported

See Also:

Constant Field Values

startLine

public static final java.lang.String startLine

See Also:

Constant Field Values

startColumn

public static final java.lang.String startColumn

See Also:

Constant Field Values

endLine

public static final java.lang.String endLine

See Also:

Constant Field Values

endColumn

public static final java.lang.String endColumn

See Also:

Constant Field Values

answer

public static final java.lang.String answer

See Also:

Constant Field Values

value

public static final java.lang.String value

See Also:

Constant Field Values

source

public static final java.lang.String source

See Also:

Constant Field Values

timeout

public static final java.lang.String timeout

See Also:

Constant Field Values

counterExample

public static final java.lang.String counterExample

See Also:

Constant Field Values

blockType

public static final java.lang.String blockType

See Also:

Constant Field Values

streams

public static final java.lang.String streams

See Also:

Constant Field Values

type

public static final java.lang.String type

See Also:

Constant Field Values

classField

public static final java.lang.String classField

See Also:

Constant Field Values

instantValues

public static final java.lang.String instantValues

See Also:

Constant Field Values

subNodes

public static final java.lang.String subNodes

See Also:

Constant Field Values

max

public static final java.lang.String max

See Also:

Constant Field Values

min

public static final java.lang.String min

See Also:

Constant Field Values

input

public static final java.lang.String input

See Also:

Constant Field Values

output

public static final java.lang.String output

See Also:

Constant Field Values

local

public static final java.lang.String local

See Also:

Constant Field Values

trueFor

public static final java.lang.String trueFor

See Also:

Constant Field Values

k

public static final java.lang.String k

See Also:

Constant Field Values

level

public static final java.lang.String level

See Also:

Constant Field Values

size

public static final java.lang.String size

See Also:

Constant Field Values

numerator

public static final java.lang.String numerator

See Also:

Constant Field Values

denominator

public static final java.lang.String denominator

See Also:

Constant Field Values

must

public static final java.lang.String must

See Also:

Constant Field Values

mustComplement

public static final java.lang.String mustComplement

See Also:

Constant Field Values

ivc

public static final java.lang.String ivc

See Also:

Constant Field Values

ivcComplement

public static final java.lang.String ivcComplement

See Also:

Constant Field Values

runtime

public static final java.lang.String runtime

See Also:

Constant Field Values

unit

public static final java.lang.String unit

See Also:

Constant Field Values

nodes

public static final java.lang.String nodes

See Also:

Constant Field Values

elements

public static final java.lang.String elements

See Also:

Constant Field Values

category

public static final java.lang.String category

See Also:

Constant Field Values

equation

public static final java.lang.String equation

See Also:

Constant Field Values

nodeCall

public static final java.lang.String nodeCall

See Also:

Constant Field Values

compositional

public static final java.lang.String compositional

See Also:

Constant Field Values

modular

public static final java.lang.String modular

See Also:

Constant Field Values

enabled

public static final java.lang.String enabled

See Also:

Constant Field Values

Constructor Detail

Labels

public Labels()