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