Constant Field Values

Contents

• uk.ac.*

uk.ac.*

uk.ac.manchester.cs.jfact.helpers.Helper

Modifier and Type	Constant Field	Value
public static final int	BP_BOTTOM	-1
public static final int	BP_INVALID	0
public static final int	BP_TOP	1
public static final int	INITBRANCHINGLEVELVALUE	1

uk.ac.manchester.cs.jfact.kernel.DlCompletionTree

Modifier and Type	Constant Field	Value
public static final int	BLOCKABLE_LEVEL	2147483647

uk.ac.manchester.cs.jfact.kernel.InAx

Modifier and Type	Constant Field	Value
public static final String	S_ABS_ACTION	"SAbsAction"
public static final String	S_ABS_B_APPLY	"SAbsBApply"
public static final String	S_ABS_C_APPLY	"SAbsCApply"
public static final String	S_ABS_C_ATTEMPT	"SAbsCAttempt"
public static final String	S_ABS_INPUT	"SAbsInput"
public static final String	S_ABS_N_APPLY	"SAbsNApply"
public static final String	S_ABS_N_ATTEMPT	"SAbsNAttempt"
public static final String	S_ABS_R_APPLY	"SAbsRApply"
public static final String	S_ABS_R_ATTEMPT	"SAbsRAttempt"
public static final String	S_ABS_REP_CN	"SAbsRepCN"
public static final String	S_ABS_REP_FORALL	"SAbsRepForall"
public static final String	S_ABS_SPLIT	"SAbsSplit"
public static final String	S_ABS_T_APPLY	"SAbsTApply"

uk.ac.manchester.cs.jfact.kernel.RoleAutomaton

Modifier and Type	Constant Field	Value
public static final int	FINAL_STATE	1
public static final int	INITIAL	0

uk.ac.manchester.cs.jfact.kernel.todolist.ToDoPriorMatrix

Modifier and Type	Constant Field	Value
public static final int	NREGULAROPTIONS	7