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 String	OBJECTIVE_FUNCTION
static Pattern	OBJECTIVE_FUNCTION_PATTERN
static String	PB
static Pattern	PSEUDO_PATTERN
static String	WCLAUSE
static Pattern	WCLAUSE_PATTERN
static String	WLITERAL
static 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

Methods

Modifier and Type	Method and Description
protected String	constraintRegexp()
protected void	handleNotHandled(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 String WLITERAL

See Also:

Constant Field Values

WCLAUSE

public static final String WCLAUSE

See Also:

Constant Field Values

PB

public static final String PB

See Also:

Constant Field Values

OBJECTIVE_FUNCTION

public static final String OBJECTIVE_FUNCTION

See Also:

Constant Field Values

PSEUDO_PATTERN

public static final Pattern PSEUDO_PATTERN

WCLAUSE_PATTERN

public static final Pattern WCLAUSE_PATTERN

WLITERAL_PATTERN

public static final Pattern WLITERAL_PATTERN

OBJECTIVE_FUNCTION_PATTERN

public static final Pattern OBJECTIVE_FUNCTION_PATTERN

Constructor Detail

JSONPBReader

public JSONPBReader(IPBSolver solver)

Method Detail

handleNotHandled

protected void handleNotHandled(String constraint)
                         throws ParseFormatException,
                                ContradictionException

Overrides:

handleNotHandled in class JSONReader<IPBSolver>

Throws:

ParseFormatException

ContradictionException

constraintRegexp

protected String constraintRegexp()

Overrides:

constraintRegexp in class JSONReader<IPBSolver>