org.sat4j.pb.reader

Class JSONPBReader

java.lang.Object

org.sat4j.reader.Reader

org.sat4j.reader.JSONReader<IPBSolver>

org.sat4j.pb.reader.JSONPBReader

public class JSONPBReader
extends JSONReader<IPBSolver>

Simple JSON reader for boolean optimization problems. The objective function is represented by an array of weighted literals. Pseudo boolean constraints are represented by an array of weighted literals of the left hand side, a comparator (a string) and an integer. [['min',[[1,1],[20,2],[80,3]]],[-1,-2,-3],[[1,-2,3],'>',2],[4,-3,6],[[[1,1],[2,2],[4,3],[8,4]],'<=',6] represents an optimization problem with an objective function, min: x1 + 20 x2, four constraints with two clauses, a cardinality constraint and the pseudo boolean constraint 1 x1 + 2 x2 + 4 x3 + 8 x4 <= 6.

Since:

2.3.3

Author:

leberre

Field Summary

Fields

Modifier and Type	Field and Description
static java.lang.String	OBJECTIVE_FUNCTION
static java.util.regex.Pattern	OBJECTIVE_FUNCTION_PATTERN
static java.lang.String	PB
static java.util.regex.Pattern	PSEUDO_PATTERN
static java.lang.String	WCLAUSE
static java.util.regex.Pattern	WCLAUSE_PATTERN
static java.lang.String	WLITERAL
static java.util.regex.Pattern	WLITERAL_PATTERN

Fields inherited from class org.sat4j.reader.JSONReader

CARD, CLAUSE, constraint, formula, solver

Constructor Summary

Constructors

Constructor and Description
JSONPBReader(IPBSolver solver)

Method Summary

Modifier and Type	Method and Description
protected java.lang.String	constraintRegexp()
protected void	handleNotHandled(java.lang.String constraint)

Methods inherited from class org.sat4j.reader.JSONReader

decode, decode, getLiterals, handleCard, parseInstance, parseString

Methods inherited from class org.sat4j.reader.Reader

isVerbose, parseInstance, parseInstance, setVerbosity

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

WLITERAL

public static final java.lang.String WLITERAL

See Also:

Constant Field Values

WCLAUSE

public static final java.lang.String WCLAUSE

See Also:

Constant Field Values

PB

public static final java.lang.String PB

See Also:

Constant Field Values

OBJECTIVE_FUNCTION

public static final java.lang.String OBJECTIVE_FUNCTION

See Also:

Constant Field Values

PSEUDO_PATTERN

public static final java.util.regex.Pattern PSEUDO_PATTERN

WCLAUSE_PATTERN

public static final java.util.regex.Pattern WCLAUSE_PATTERN

WLITERAL_PATTERN

public static final java.util.regex.Pattern WLITERAL_PATTERN

OBJECTIVE_FUNCTION_PATTERN

public static final java.util.regex.Pattern OBJECTIVE_FUNCTION_PATTERN

Constructor Detail

JSONPBReader

public JSONPBReader(IPBSolver solver)

Method Detail

handleNotHandled

protected void handleNotHandled(java.lang.String constraint)
                         throws ParseFormatException,
                                ContradictionException

Overrides:

handleNotHandled in class JSONReader<IPBSolver>

Throws:

ParseFormatException

ContradictionException

constraintRegexp

protected java.lang.String constraintRegexp()

Overrides:

constraintRegexp in class JSONReader<IPBSolver>