Constant Field Values

Contents

• org.sat4j.*

org.sat4j.*

org.sat4j.AbstractLauncher

Modifier and Type	Constant Field	Value
public static final String	COMMENT_PREFIX	"c "

org.sat4j.ILauncherMode

Modifier and Type	Constant Field	Value
public static final String	ANSWER_PREFIX	"s "
public static final String	CURRENT_OPTIMUM_VALUE_PREFIX	"o "
public static final String	SOLUTION_PREFIX	"v "

org.sat4j.minisat.constraints.card.MinWatchCard

Modifier and Type	Constant Field	Value
public static final boolean	ATLEAST	true
public static final boolean	ATMOST	false

org.sat4j.minisat.core.ILits

Modifier and Type	Constant Field	Value
public static final int	UNDEFINED	-1

org.sat4j.minisat.restarts.LubyRestarts

Modifier and Type	Constant Field	Value
public static final int	DEFAULT_LUBY_FACTOR	32

org.sat4j.reader.JSONReader<S extends ISolver>

Modifier and Type	Constant Field	Value
public static final String	CARD	"(\\[(\\[(-?(\\d+)(,-?(\\d+))*)?\\]),\'[=<>]=?\',-?\\d+\\])"
public static final String	CLAUSE	"(\\[(-?(\\d+)(,-?(\\d+))*)?\\])"

org.sat4j.reader.ParseFormatException

Modifier and Type	Constant Field	Value
public static final String	PARSING_ERROR	"Parsing Error"

org.sat4j.tools.ExtendedDimacsArrayReader

Modifier and Type	Constant Field	Value
public static final int	AND	4
public static final int	ATLEAST	13
public static final int	ATMOST	14
public static final int	COUNT	15
public static final int	FALSE	1
public static final int	IFF	11
public static final int	IFTHENELSE	12
public static final int	IMPLIES	10
public static final int	NAND	5
public static final int	NOR	7
public static final int	NOT	3
public static final int	OR	6
public static final int	TRUE	2
public static final int	XNOR	9
public static final int	XOR	8