Constant Field Values

Contents

• cobaUI.*
• revisionlogic.*

cobaUI.*

cobaUI.COBAApplet

static final int	H_OFFSET	2
static final int	V_OFFSET	3

cobaUI.cobaUI.ControlText

static final int	DECISION_PENDING	3
static final int	INCONSISTENT_ENTRY	2
static final int	SYNTAX_ERROR	1

cobaUI.cobaUI.ListSent

static final int	CNF	1
static final int	DEFAULT	0
static final int	DNF	2

cobaUI.cobaUI.SentenceList

static final int	CB	3
static final int	Contractor	2
static final int	EB	4
static final int	KB	0
static final int	Revisor	1

revisionlogic.*

revisionlogic.ISent

public static final int	ATOM	0
public static final int	BIIMP	5
public static final int	CONJ	2
public static final int	CONT	7
public static final int	DIS	3
public static final int	IMP	4
public static final int	NEG	1
public static final int	TAUT	6