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(String) - Method in class org.sat4j.reader.XMLCSPReader
 
parseInstance(Reader) - 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

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