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.pb.constraints.pb.MaxWatchPb

Modifier and Type	Constant Field	Value
public static final int	LIMIT_FOR_MAP	100

org.sat4j.pb.core.PBSolverCautious

Modifier and Type	Constant Field	Value
public static final int	BOUND	10

org.sat4j.pb.core.PBSolverResCP

Modifier and Type	Constant Field	Value
public static final long	MAXCONFLICTS	100000L

org.sat4j.pb.reader.JSONPBReader

Modifier and Type	Constant Field	Value
public static final String	OBJECTIVE_FUNCTION	"(\\[(\'min\'|\'max\'),(\\[(\\[(-?\\d+),(-?\\d+)\\](,\\[(-?\\d+),(-?\\d+)\\])*)?\\])\\])"
public static final String	PB	"(\\[(\\[(\\[(-?\\d+),(-?\\d+)\\](,\\[(-?\\d+),(-?\\d+)\\])*)?\\]),\'[=<>]=?\',-?\\d+\\])"
public static final String	WCLAUSE	"(\\[(\\[(-?\\d+),(-?\\d+)\\](,\\[(-?\\d+),(-?\\d+)\\])*)?\\])"
public static final String	WLITERAL	"\\[(-?\\d+),(-?\\d+)\\]"

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.sat.SimplifierCommandComponent

Modifier and Type	Constant Field	Value
public static final String	SIMPLIFICATION_EXPENSIVE	"Expensive reason simplification"
public static final String	SIMPLIFICATION_NO	"No reason simplification"
public static final String	SIMPLIFICATION_SIMPLE	"Simple reason simplification"

org.sat4j.sat.Solvers

Modifier and Type	Constant Field	Value
public static final String	CLEANING	"CLEANING"
public static final String	LEARNING	"LEARNING"
public static final String	ORDERS	"ORDERS"
public static final String	PARAMS	"PARAMS"
public static final String	PHASE	"PHASE"
public static final String	RESTARTS	"RESTARTS"
public static final String	SIMP	"SIMP"

org.sat4j.sat.VerySimpleCommandPanel

Modifier and Type	Constant Field	Value
public static final String	CLEAN	"Clean"
public static final String	RESTART	"Restart"

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