Constant Field Values


Contents
org.sat4j.*

org.sat4j.AbstractLauncher
public static final String ANSWER_PREFIX "s "
public static final String COMMENT_PREFIX "c "
public static final String SOLUTION_PREFIX "v "

org.sat4j.minisat.constraints.card.MinWatchCard
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.restarts.LubyRestarts
public static final int DEFAULT_LUBY_FACTOR 32

org.sat4j.reader.ParseFormatException
public static final String PARSING_ERROR "Parsing Error"

org.sat4j.tools.ExtendedDimacsArrayReader
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



Copyright © 2012 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.