A B C E I M O P S T

A

addConstantParameter(String, int) - Method in class org.sat4j.csp.main.SimpleCallback
provides a constant value
addConstantParameter(String, int) - Method in interface org.sat4j.csp.xml.ICSPCallback
provides a constant value
addDomainValue(int) - Method in class org.sat4j.csp.main.SimpleCallback
add a single value to the current domain
addDomainValue(int, int) - Method in class org.sat4j.csp.main.SimpleCallback
add the range of values [first..last] to the current domain
addDomainValue(int) - Method in interface org.sat4j.csp.xml.ICSPCallback
add a single value to the current domain
addDomainValue(int, int) - Method in interface org.sat4j.csp.xml.ICSPCallback
add the range of values [first..last] to the current domain
addEffectiveParameter(String) - Method in class org.sat4j.csp.main.SimpleCallback
add an effective parameter which is a simple variable to the current constraint
addEffectiveParameter(int) - Method in class org.sat4j.csp.main.SimpleCallback
add an effective parameter which is a simple variable to the current constraint
addEffectiveParameter(String) - Method in interface org.sat4j.csp.xml.ICSPCallback
add an effective parameter which is a simple variable to the current constraint
addEffectiveParameter(int) - Method in interface org.sat4j.csp.xml.ICSPCallback
add an effective parameter which is a simple integer
addFormalParameter(String, String) - Method in class org.sat4j.csp.main.SimpleCallback
add a formal parameter to the current predicate
addFormalParameter(String, String) - Method in interface org.sat4j.csp.xml.ICSPCallback
add a formal parameter to the current predicate
addIntegerItem(int) - Method in class org.sat4j.csp.main.SimpleCallback
provides an integer value in a parameter list of a constraint
addIntegerItem(int) - Method in interface org.sat4j.csp.xml.ICSPCallback
provides an integer value in a parameter list of a constraint
addRelationTuple(int[]) - Method in class org.sat4j.csp.main.SimpleCallback
add a single tuple to the current relation
addRelationTuple(int[]) - Method in interface org.sat4j.csp.xml.ICSPCallback
add a single tuple to the current relation
addVariable(String, String) - Method in class org.sat4j.csp.main.SimpleCallback
callback called to define a new variable
addVariable(String, String) - Method in interface org.sat4j.csp.xml.ICSPCallback
callback called to define a new variable
addVariableItem(String) - Method in class org.sat4j.csp.main.SimpleCallback
provides the name of a variable in a parameter list of a constraint
addVariableItem(String) - Method in interface org.sat4j.csp.xml.ICSPCallback
provides the name of a variable in a parameter list of a constraint
addVariableToConstraint(String) - Method in class org.sat4j.csp.main.SimpleCallback
declares that a variable is in the constraint scope
addVariableToConstraint(String) - Method in interface org.sat4j.csp.xml.ICSPCallback
declares that a variable is in the constraint scope

B

beginConstraint(String, int) - Method in class org.sat4j.csp.main.SimpleCallback
callback called at the beginning of the declaration of one constraint
beginConstraint(String, int) - Method in interface org.sat4j.csp.xml.ICSPCallback
callback called at the beginning of the declaration of one constraint
beginConstraintsSection(int) - Method in class org.sat4j.csp.main.SimpleCallback
callback called at the beginning of the constraints declarations
beginConstraintsSection(int) - Method in interface org.sat4j.csp.xml.ICSPCallback
callback called at the beginning of the constraints declarations
beginDomain(String, int) - Method in class org.sat4j.csp.main.SimpleCallback
callback called at the beginning of the declaration of one domain
beginDomain(String, int) - Method in interface org.sat4j.csp.xml.ICSPCallback
callback called at the beginning of the declaration of one domain
beginDomainsSection(int) - Method in class org.sat4j.csp.main.SimpleCallback
callback called at the beginning of the domains declarations
beginDomainsSection(int) - Method in interface org.sat4j.csp.xml.ICSPCallback
callback called at the beginning of the domains declarations
beginInstance(String) - Method in class org.sat4j.csp.main.SimpleCallback
signal the beginning of parsing
beginInstance(String) - Method in interface org.sat4j.csp.xml.ICSPCallback
signal the beginning of parsing
beginParameterList() - Method in class org.sat4j.csp.main.SimpleCallback
begins the list tag for parameters of a constraint
beginParameterList() - Method in interface org.sat4j.csp.xml.ICSPCallback
begins the list tag for parameters of a constraint
beginPredicate(String) - Method in class org.sat4j.csp.main.SimpleCallback
callback called at the beginning of the declaration of one predicate
beginPredicate(String) - Method in interface org.sat4j.csp.xml.ICSPCallback
callback called at the beginning of the declaration of one predicate
beginPredicatesSection(int) - Method in class org.sat4j.csp.main.SimpleCallback
callback called at the beginning of the predicates declarations
beginPredicatesSection(int) - Method in interface org.sat4j.csp.xml.ICSPCallback
callback called at the beginning of the predicates declarations
beginRelation(String, int, int, boolean) - Method in class org.sat4j.csp.main.SimpleCallback
callback called at the beginning of the declaration of one relation
beginRelation(String, int, int, boolean) - Method in interface org.sat4j.csp.xml.ICSPCallback
callback called at the beginning of the declaration of one relation
beginRelationsSection(int) - Method in class org.sat4j.csp.main.SimpleCallback
callback called at the beginning of the relations declarations
beginRelationsSection(int) - Method in interface org.sat4j.csp.xml.ICSPCallback
callback called at the beginning of the relations declarations
beginVariablesSection(int) - Method in class org.sat4j.csp.main.SimpleCallback
callback called at the beginning of the variables declarations
beginVariablesSection(int) - Method in interface org.sat4j.csp.xml.ICSPCallback
callback called at the beginning of the variables declarations

C

constraintExpression(String) - Method in class org.sat4j.csp.main.SimpleCallback
provide the expression of the current constraint as an expression in a syntac chosen by the solver
constraintExpression(String) - Method in interface org.sat4j.csp.xml.ICSPCallback
provide the expression of the current constraint as an expression in a syntac chosen by the solver
constraintReference(String) - Method in class org.sat4j.csp.main.SimpleCallback
provide the definition of the current constraint
constraintReference(String) - Method in interface org.sat4j.csp.xml.ICSPCallback
provide the definition of the current constraint
CspXmlParser - Class in org.sat4j.csp.xml
 
CspXmlParser() - Constructor for class org.sat4j.csp.xml.CspXmlParser
 

E

endConstraint() - Method in class org.sat4j.csp.main.SimpleCallback
ends the definition of the current constraint
endConstraint() - Method in interface org.sat4j.csp.xml.ICSPCallback
ends the definition of the current constraint
endConstraintsSection() - Method in class org.sat4j.csp.main.SimpleCallback
end the definition of all constraints
endConstraintsSection() - Method in interface org.sat4j.csp.xml.ICSPCallback
end the definition of all constraints
endDomain() - Method in class org.sat4j.csp.main.SimpleCallback
ends the definition of the current domain
endDomain() - Method in interface org.sat4j.csp.xml.ICSPCallback
ends the definition of the current domain
endDomainsSection() - Method in class org.sat4j.csp.main.SimpleCallback
end the definition of all domains
endDomainsSection() - Method in interface org.sat4j.csp.xml.ICSPCallback
end the definition of all domains
endInstance() - Method in class org.sat4j.csp.main.SimpleCallback
signal the end of parsing
endInstance() - Method in interface org.sat4j.csp.xml.ICSPCallback
signal the end of parsing
endParamaterList() - Method in class org.sat4j.csp.main.SimpleCallback
ends the list tag for parameters of a constraint
endParamaterList() - Method in interface org.sat4j.csp.xml.ICSPCallback
ends the list tag for parameters of a constraint
endPredicate() - Method in class org.sat4j.csp.main.SimpleCallback
ends the definition of the current predicate
endPredicate() - Method in interface org.sat4j.csp.xml.ICSPCallback
ends the definition of the current predicate
endPredicatesSection() - Method in class org.sat4j.csp.main.SimpleCallback
end the definition of all predicates
endPredicatesSection() - Method in interface org.sat4j.csp.xml.ICSPCallback
end the definition of all predicates
endRelation() - Method in class org.sat4j.csp.main.SimpleCallback
ends the definition of the current relation
endRelation() - Method in interface org.sat4j.csp.xml.ICSPCallback
ends the definition of the current relation
endRelationsSection() - Method in class org.sat4j.csp.main.SimpleCallback
end the definition of all relations
endRelationsSection() - Method in interface org.sat4j.csp.xml.ICSPCallback
end the definition of all relations
endVariablesSection() - Method in class org.sat4j.csp.main.SimpleCallback
end the definition of all variables
endVariablesSection() - Method in interface org.sat4j.csp.xml.ICSPCallback
end the definition of all variables

I

ICSPCallback - Interface in org.sat4j.csp.xml
 

M

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

O

org.sat4j.csp.main - package org.sat4j.csp.main
 
org.sat4j.csp.xml - package org.sat4j.csp.xml
 

P

parse(ICSPCallback, String) - Static method in class org.sat4j.csp.xml.CspXmlParser
 
predicateExpression(String) - Method in class org.sat4j.csp.main.SimpleCallback
provide the expression of the current predicate
predicateExpression(String) - Method in interface org.sat4j.csp.xml.ICSPCallback
provide the expression of the current predicate

S

SimpleCallback - Class in org.sat4j.csp.main
 
SimpleCallback() - Constructor for class org.sat4j.csp.main.SimpleCallback
 

T

Test - Class in org.sat4j.csp.main
 
Test() - Constructor for class org.sat4j.csp.main.Test
 

A B C E I M O P S T

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