Overview
Package
Class
Use
Tree
Deprecated
Index
Help
PREV NEXT
FRAMES
NO FRAMES
All Classes
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
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)
- 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)
- 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)
- Constructor for class org.sat4j.reader.
CSPReader
CSPSupportReader
- Class in
org.sat4j.reader
CSPSupportReader(ISolver)
- 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
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
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.
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.
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)
- 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
Overview
Package
Class
Use
Tree
Deprecated
Index
Help
PREV NEXT
FRAMES
NO FRAMES
All Classes
Copyright © 2012
Centre de Recherche en Informatique de Lens (CRIL)
. All Rights Reserved.