Constant Field Values

Contents

• org.sat4j.*

org.sat4j.*

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+)\\]"