Constant Field Values

Contents

• org.sat4j.*

org.sat4j.*

org.sat4j.AbstractLauncher

public static final java.lang.String	ANSWER_PREFIX	"s "
public static final java.lang.String	COMMENT_PREFIX	"c "
public static final java.lang.String	SOLUTION_PREFIX	"v "

org.sat4j.ResultsManager

public static final java.lang.String	COMMENT	"#"
public static final java.lang.String	EXT_JU	"WXP"
public static final java.lang.String	SEPARATOR	"="

org.sat4j.minisat.constraints.card.MinWatchCard

public static final boolean	ATLEAST	true
public static final boolean	ATMOST	false

org.sat4j.minisat.constraints.pb.WatchPb

public static final boolean	ATLEAST	true
public static final boolean	ATMOST	false

org.sat4j.minisat.core.ILits

public static final int

UNDEFINED

-1

org.sat4j.minisat.core.IMarkableLits

public static final int

MARKLESS

0

org.sat4j.reader.ExtendedDimacsReader

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