A B C D E F G I L M N O P R S T U V W X

A

addConstantParameter(String, int) - Method in class org.sat4j.reader.CSPReader

addDomainValue(int) - Method in class org.sat4j.reader.CSPReader

addDomainValue(int, int) - Method in class org.sat4j.reader.CSPReader

addEffectiveParameter(String) - Method in class org.sat4j.reader.CSPReader

addEffectiveParameter(int) - Method in class org.sat4j.reader.CSPReader

addFormalParameter(String, String) - Method in class org.sat4j.reader.CSPReader

addIntegerItem(int) - Method in class org.sat4j.reader.CSPReader

addRelationTuple(int[]) - Method in class org.sat4j.reader.CSPReader

addTuple(int, int[]) - Method in class org.sat4j.csp.constraints.Nogoods

addTuple(int, int[]) - Method in interface org.sat4j.csp.constraints.Relation

addTuple(int, int[]) - Method in class org.sat4j.csp.constraints.Supports

addVariable(String) - Method in class org.sat4j.csp.Predicate

addVariable(String, String) - Method in class org.sat4j.reader.CSPReader

addVariableItem(String) - Method in class org.sat4j.reader.CSPReader

addVariableToConstraint(String) - Method in class org.sat4j.reader.CSPReader

AllDiff - Class in org.sat4j.csp.constraints

AllDiff() - Constructor for class org.sat4j.csp.constraints.AllDiff

AllDiffCard - Class in org.sat4j.csp.constraints

AllDiffCard() - Constructor for class org.sat4j.csp.constraints.AllDiffCard

arity() - Method in class org.sat4j.csp.constraints.Nogoods

arity() - Method in interface org.sat4j.csp.constraints.Relation

arity() - Method in class org.sat4j.csp.constraints.Supports

B

beginConstraint(String, int) - Method in class org.sat4j.reader.CSPReader

beginConstraintsSection(int) - Method in class org.sat4j.reader.CSPReader

beginDomain(String, int) - Method in class org.sat4j.reader.CSPReader

beginDomainsSection(int) - Method in class org.sat4j.reader.CSPReader

beginInstance(String) - Method in class org.sat4j.reader.CSPReader

beginParameterList() - Method in class org.sat4j.reader.CSPReader

beginPredicate(String) - Method in class org.sat4j.reader.CSPReader

beginPredicatesSection(int) - Method in class org.sat4j.reader.CSPReader

beginRelation(String, int, int, boolean) - Method in class org.sat4j.reader.CSPReader

beginRelationsSection(int) - Method in class org.sat4j.reader.CSPReader

beginVariablesSection(int) - Method in class org.sat4j.reader.CSPReader

BessiereSupports - Class in org.sat4j.csp.constraints

BessiereSupports(int, int) - Constructor for class org.sat4j.csp.constraints.BessiereSupports

BinarySupportEncoding - Class in org.sat4j.csp.encodings

C

chooseEncoding(IVec<Var>) - Method in class org.sat4j.csp.constraints.BessiereSupports

chooseEncoding(IVec<Var>) - Method in class org.sat4j.csp.constraints.GentSupports

chooseEncoding(IVec<Var>) - Method in class org.sat4j.csp.constraints.Supports

chooseEncoding(IVec<Var>) - Method in class org.sat4j.csp.constraints.WalshSupports

Clausifiable - Interface in org.sat4j.csp

configureSolver(String[]) - Method in class org.sat4j.csp.CSPLauncher

Constant - Class in org.sat4j.csp

Constant(int) - Constructor for class org.sat4j.csp.Constant

constraintExpression(String) - Method in class org.sat4j.reader.CSPReader

constraintReference(String) - Method in class org.sat4j.reader.CSPReader

createReader(ISolver, String) - Method in class org.sat4j.csp.CSPLauncher

CSPExtSupportReader - Class in org.sat4j.reader

CSPExtSupportReader(ISolver, boolean) - Constructor for class org.sat4j.reader.CSPExtSupportReader

CSPInstanceReader - Class in org.sat4j.reader

An reader having the responsability to choose the right reader according to the input.

CSPInstanceReader(ISolver, boolean) - Constructor for class org.sat4j.reader.CSPInstanceReader

CSPLauncher - Class in org.sat4j.csp

CSPLauncher() - Constructor for class org.sat4j.csp.CSPLauncher

CSPReader - Class in org.sat4j.reader

This class is a CSP to SAT translator that is able to read a CSP problem using the First CSP solver competition input format and that translates it into clausal and cardinality (equality) constraints.

CSPReader(ISolver, boolean) - Constructor for class org.sat4j.reader.CSPReader

CSPSupportReader - Class in org.sat4j.reader

CSPSupportReader(ISolver, boolean) - Constructor for class org.sat4j.reader.CSPSupportReader

D

decode(int[]) - Method in class org.sat4j.reader.CSPInstanceReader

Deprecated.

decode(int[], PrintWriter) - Method in class org.sat4j.reader.CSPInstanceReader

decode(int[], PrintWriter) - Method in class org.sat4j.reader.CSPReader

decode(int[]) - Method in class org.sat4j.reader.CSPReader

decode(int[]) - Method in class org.sat4j.reader.XMLCSPReader

decode(int[], PrintWriter) - Method in class org.sat4j.reader.XMLCSPReader

defaultSolver() - Method in class org.sat4j.csp.SolverFactory

DirectEncoding - Class in org.sat4j.csp.encodings

displayLicense() - Method in class org.sat4j.csp.CSPLauncher

domain() - Method in class org.sat4j.csp.Constant

Domain - Interface in org.sat4j.csp

domain() - Method in interface org.sat4j.csp.Evaluable

Return the domain of the evaluable.

domain() - Method in class org.sat4j.csp.Var

E

Encoding - Interface in org.sat4j.csp

endConstraint() - Method in class org.sat4j.reader.CSPReader

endConstraintsSection() - Method in class org.sat4j.reader.CSPReader

endDomain() - Method in class org.sat4j.reader.CSPReader

endDomainsSection() - Method in class org.sat4j.reader.CSPReader

endInstance() - Method in class org.sat4j.reader.CSPReader

endParamaterList() - Method in class org.sat4j.reader.CSPReader

endPredicate() - Method in class org.sat4j.reader.CSPReader

endPredicatesSection() - Method in class org.sat4j.reader.CSPReader

endRelation() - Method in class org.sat4j.reader.CSPReader

endRelationsSection() - Method in class org.sat4j.reader.CSPReader

endVariablesSection() - Method in class org.sat4j.reader.CSPReader

EnumeratedDomain - Class in org.sat4j.csp

EnumeratedDomain(int[]) - Constructor for class org.sat4j.csp.EnumeratedDomain

Evaluable - Interface in org.sat4j.csp

F

findValue(int[]) - Method in class org.sat4j.csp.Var

G

GeneralizedSupportEncoding - Class in org.sat4j.csp.encodings

GentSupports - Class in org.sat4j.csp.constraints

GentSupports(int, int) - Constructor for class org.sat4j.csp.constraints.GentSupports

get(int) - Method in interface org.sat4j.csp.Domain

get(int) - Method in class org.sat4j.csp.EnumeratedDomain

get(int) - Method in class org.sat4j.csp.RangeDomain

get(int) - Method in class org.sat4j.csp.SingletonDomain

getInstanceName(String[]) - Method in class org.sat4j.csp.CSPLauncher

I

instance() - Static method in class org.sat4j.csp.encodings.BinarySupportEncoding

instance() - Static method in class org.sat4j.csp.encodings.DirectEncoding

instance() - Static method in class org.sat4j.csp.encodings.GeneralizedSupportEncoding

instance() - Static method in class org.sat4j.csp.SolverFactory

Access to the single instance of the factory.

iterator() - Method in interface org.sat4j.csp.Domain

iterator() - Method in class org.sat4j.csp.EnumeratedDomain

iterator() - Method in class org.sat4j.csp.RangeDomain

iterator() - Method in class org.sat4j.csp.SingletonDomain

L

lightSolver() - Method in class org.sat4j.csp.SolverFactory

M

main(String[]) - Static method in class org.sat4j.csp.CSPLauncher

manageAllowedTuples(int, int, int) - Method in class org.sat4j.reader.CSPExtSupportReader

manageAllowedTuples(int, int, int) - Method in class org.sat4j.reader.CSPReader

manageAllowedTuples(int, int, int) - Method in class org.sat4j.reader.CSPSupportReader

N

newCuttingPlanes() - Static method in class org.sat4j.csp.SolverFactory

newDefault() - Static method in class org.sat4j.csp.SolverFactory

Default solver of the SolverFactory.

newDimacsOutput() - Static method in class org.sat4j.csp.SolverFactory

newLight() - Static method in class org.sat4j.csp.SolverFactory

Small footprint SAT solver.

newMiniSAT(DataStructureFactory) - Static method in class org.sat4j.csp.SolverFactory

newSAT() - Static method in class org.sat4j.csp.SolverFactory

newUNSAT() - Static method in class org.sat4j.csp.SolverFactory

Nogoods - Class in org.sat4j.csp.constraints

Nogoods(int, int) - Constructor for class org.sat4j.csp.constraints.Nogoods

O

onFinish(ISolver, IVec<Var>) - Method in interface org.sat4j.csp.Encoding

onFinish(ISolver, IVec<Var>) - Method in class org.sat4j.csp.encodings.BinarySupportEncoding

onFinish(ISolver, IVec<Var>) - Method in class org.sat4j.csp.encodings.DirectEncoding

onFinish(ISolver, IVec<Var>) - Method in class org.sat4j.csp.encodings.GeneralizedSupportEncoding

onInit(ISolver, IVec<Var>) - Method in interface org.sat4j.csp.Encoding

onInit(ISolver, IVec<Var>) - Method in class org.sat4j.csp.encodings.BinarySupportEncoding

onInit(ISolver, IVec<Var>) - Method in class org.sat4j.csp.encodings.DirectEncoding

onInit(ISolver, IVec<Var>) - Method in class org.sat4j.csp.encodings.GeneralizedSupportEncoding

onNogood(ISolver, IVec<Var>, Map<Evaluable, Integer>) - Method in interface org.sat4j.csp.Encoding

onNogood(ISolver, IVec<Var>, Map<Evaluable, Integer>) - Method in class org.sat4j.csp.encodings.BinarySupportEncoding

onNogood(ISolver, IVec<Var>, Map<Evaluable, Integer>) - Method in class org.sat4j.csp.encodings.DirectEncoding

onNogood(ISolver, IVec<Var>, Map<Evaluable, Integer>) - Method in class org.sat4j.csp.encodings.GeneralizedSupportEncoding

onSupport(ISolver, IVec<Var>, Map<Evaluable, Integer>) - Method in interface org.sat4j.csp.Encoding

onSupport(ISolver, IVec<Var>, Map<Evaluable, Integer>) - Method in class org.sat4j.csp.encodings.BinarySupportEncoding

onSupport(ISolver, IVec<Var>, Map<Evaluable, Integer>) - Method in class org.sat4j.csp.encodings.DirectEncoding

onSupport(ISolver, IVec<Var>, Map<Evaluable, Integer>) - Method in class org.sat4j.csp.encodings.GeneralizedSupportEncoding

org.sat4j.csp - package org.sat4j.csp

Classes needed for CSP to SAT translation.

org.sat4j.csp.constraints - package org.sat4j.csp.constraints

Classes needed for CSP to SAT translation.

org.sat4j.csp.encodings - package org.sat4j.csp.encodings

org.sat4j.reader - package org.sat4j.reader

P

parseInstance(String) - Method in class org.sat4j.reader.CSPInstanceReader

parseInstance(Reader) - Method in class org.sat4j.reader.CSPInstanceReader

parseInstance(Reader) - Method in class org.sat4j.reader.CSPReader

parseInstance(InputStream) - Method in class org.sat4j.reader.CSPReader

parseInstance(String) - Method in class org.sat4j.reader.XMLCSPReader

parseInstance(Reader) - Method in class org.sat4j.reader.XMLCSPReader

parseInstance(InputStream) - Method in class org.sat4j.reader.XMLCSPReader

pos(int) - Method in interface org.sat4j.csp.Domain

pos(int) - Method in class org.sat4j.csp.EnumeratedDomain

pos(int) - Method in class org.sat4j.csp.RangeDomain

pos(int) - Method in class org.sat4j.csp.SingletonDomain

Predicate - Class in org.sat4j.csp

A predicate is a formula given in intension.

Predicate() - Constructor for class org.sat4j.csp.Predicate

predicateExpression(String) - Method in class org.sat4j.reader.CSPReader

R

RangeDomain - Class in org.sat4j.csp

RangeDomain(int, int) - Constructor for class org.sat4j.csp.RangeDomain

Relation - Interface in org.sat4j.csp.constraints

A relation is a formula given in extension.

relations - Variable in class org.sat4j.reader.CSPReader

S

setExpression(String) - Method in class org.sat4j.csp.Predicate

setVerbosity(boolean) - Method in class org.sat4j.reader.XMLCSPReader

SingletonDomain - Class in org.sat4j.csp

Represents a domain with a single value.

SingletonDomain(int) - Constructor for class org.sat4j.csp.SingletonDomain

size() - Method in interface org.sat4j.csp.Domain

size() - Method in class org.sat4j.csp.EnumeratedDomain

size() - Method in class org.sat4j.csp.RangeDomain

size() - Method in class org.sat4j.csp.SingletonDomain

SolverFactory - Class in org.sat4j.csp

User friendly access to pre-constructed solvers.

Supports - Class in org.sat4j.csp.constraints

Supports(int, int) - Constructor for class org.sat4j.csp.constraints.Supports

T

toClause(ISolver, IVec<Var>, IVec<Evaluable>) - Method in interface org.sat4j.csp.Clausifiable

toClause(ISolver) - Method in class org.sat4j.csp.Constant

toClause(ISolver, IVec<Var>, IVec<Evaluable>) - Method in class org.sat4j.csp.constraints.AllDiff

toClause(ISolver, IVec<Var>, IVec<Evaluable>) - Method in class org.sat4j.csp.constraints.AllDiffCard

toClause(ISolver, IVec<Var>, IVec<Evaluable>) - Method in class org.sat4j.csp.constraints.Nogoods

toClause(ISolver, IVec<Var>, IVec<Evaluable>) - Method in class org.sat4j.csp.constraints.Supports

toClause(ISolver) - Method in interface org.sat4j.csp.Evaluable

Translates a variable over a domain into a set a clauses enforcing that exactly one value must be chosen in the domain.

toClause(ISolver, IVec<Var>, IVec<Evaluable>) - Method in class org.sat4j.csp.Predicate

toClause(ISolver) - Method in class org.sat4j.csp.Var

toString() - Method in class org.sat4j.csp.Constant

toString() - Method in class org.sat4j.csp.constraints.AllDiff

toString() - Method in class org.sat4j.csp.constraints.AllDiffCard

toString() - Method in class org.sat4j.csp.Var

translate(int) - Method in class org.sat4j.csp.Constant

translate(int) - Method in interface org.sat4j.csp.Evaluable

Translates a value from the domain into a SAT variable in Dimacs format.

translate(int) - Method in class org.sat4j.csp.Var

U

usage() - Method in class org.sat4j.csp.CSPLauncher

V

Var - Class in org.sat4j.csp

Var(String, Domain, int) - Constructor for class org.sat4j.csp.Var

W

WalshSupports - Class in org.sat4j.csp.constraints

WalshSupports(int, int) - Constructor for class org.sat4j.csp.constraints.WalshSupports

X

XMLCSPReader - Class in org.sat4j.reader

XMLCSPReader(ISolver, boolean) - Constructor for class org.sat4j.reader.XMLCSPReader

A B C D E F G I L M N O P R S T U V W X