Overview
Package
Class
Tree
Deprecated
Index
Help
SugarTrace version 1.0.1 Core API Specification
PREV NEXT
FRAMES
NO FRAMES
All Classes
A
B
C
D
E
F
G
H
I
L
M
N
P
Q
R
S
T
U
V
A
addBoolVariable(String, int)
- Method in class sugartracer.decoder.
EncodingMap
Adds a CSP boolean variable to this object.
adding(int)
- Method in class sugartracer.sat4j.
Sat4j
addIntVariable(String, int, int[][])
- Method in class sugartracer.decoder.
EncodingMap
Adds a CSP integer variable to this object.
Assignment
- Class in
sugartracer.decoder
Maintains assignment on a SAT instance under solving.
Assignment()
- Constructor for class sugartracer.decoder.
Assignment
assuming(int)
- Method in class sugartracer.sat4j.
Sat4j
B
backjump(int)
- Method in class sugartracer.decoder.
Decoder
Called when backjump is done by SAT solver.
backjump(int)
- Method in class sugartracer.sat4j.
Sat4j
backjump(int)
- Method in class sugartracer.
Tracer
Called when backjump is done by SAT solver.
backtracking(int)
- Method in class sugartracer.sat4j.
Sat4j
beginLoop()
- Method in class sugartracer.sat4j.
Sat4j
C
cleaning()
- Method in class sugartracer.sat4j.
Sat4j
cnfFileName
- Variable in class sugartracer.
SatSolver
commandPath
- Variable in class sugartracer.
ServerTracer
conflict(int[])
- Method in class sugartracer.decoder.
Decoder
Called when conflict happened at the clause by SAT solver.
conflict(int[])
- Method in class sugartracer.
Tracer
Called when conflict happened at the clause by SAT solver.
conflictFound(IConstr, int, int)
- Method in class sugartracer.sat4j.
Sat4j
conflictFound(int)
- Method in class sugartracer.sat4j.
Sat4j
contains(int)
- Method in class sugartracer.decoder.
Variable
Returns true when the propositional variable code is used for this variable.
D
debug
- Variable in class sugartracer.
Tracer
decide(int)
- Method in class sugartracer.decoder.
Decoder
Called when decision is done for the literal by SAT solver.
decide(int)
- Method in class sugartracer.
Tracer
Called when decision is done for the literal by SAT solver.
decode(int)
- Method in class sugartracer.decoder.
Decoder
Returns the string representation of the literal.
decode(List<Integer>)
- Method in class sugartracer.decoder.
Decoder
Returns the list of string representations of literals
decode(int[])
- Method in class sugartracer.decoder.
Decoder
Returns the array of string representations of literals
decodeClauses(List<int[]>)
- Method in class sugartracer.decoder.
Decoder
Returns the list of string representations of clauses
Decoder
- Class in
sugartracer.decoder
The class for decoding SAT solver information to CSP information.
Decoder(EncodingMap)
- Constructor for class sugartracer.decoder.
Decoder
Constructs the decoder using given encoding map
Decoder(String)
- Constructor for class sugartracer.decoder.
Decoder
Constructs the decoder using given map file
decoder
- Variable in class sugartracer.
Tracer
delete(int[])
- Method in class sugartracer.sat4j.
Sat4j
domainString(Assignment)
- Method in class sugartracer.decoder.
Variable
Returns the string representation of the domain under given assignment
domainStringSaved()
- Method in class sugartracer.decoder.
Variable
Returns the string representation of the saved domain
done
- Variable in class sugartracer.
Tracer
E
EncodingMap
- Class in
sugartracer.decoder
Represents the mapping from CSP variables to SAT variables.
EncodingMap()
- Constructor for class sugartracer.decoder.
EncodingMap
end(boolean)
- Method in class sugartracer.decoder.
Decoder
Called when the search was done by SAT solver.
end(Lbool)
- Method in class sugartracer.sat4j.
Sat4j
end(boolean)
- Method in class sugartracer.
Tracer
Called when the result was returned from SAT solver.
F
findVariable(String)
- Method in class sugartracer.decoder.
EncodingMap
Finds the CSP variable of the given name.
findVariable(int)
- Method in class sugartracer.decoder.
EncodingMap
Finds the CSP variable whose encoded form uses the propositional variable code.
found()
- Method in class sugartracer.
Tracer
Called when the solution was found by SAT solver.
G
get(int)
- Method in class sugartracer.decoder.
Assignment
Returns the Boolean value of i-th propositional variable.
getAssignment()
- Method in class sugartracer.decoder.
Decoder
Returns the current assignment
getAssignmentDecoded(boolean)
- Method in class sugartracer.decoder.
Decoder
Returns the string representation of the assignment.
getCodeMax()
- Method in class sugartracer.decoder.
Variable
Returns the maximum propositional variable index used to encode this variable.
getCodeMin()
- Method in class sugartracer.decoder.
Variable
Returns the minimum propositional variable index used to encode this variable.
getDecisions()
- Method in class sugartracer.decoder.
Decoder
Returns the current decision stack
getDecisionsDecoded()
- Method in class sugartracer.decoder.
Decoder
Returns the string representation of decision stack.
getEncodingMap()
- Method in class sugartracer.decoder.
Decoder
Returns the encoding map
getLearnts()
- Method in class sugartracer.decoder.
Decoder
Returns the current learnt clauses
getLearntsDecoded()
- Method in class sugartracer.decoder.
Decoder
Returns the string representation of learnt clauses.
getLit(int)
- Method in class sugartracer.decoder.
Assignment
Returns the Boolean value of the literal lit.
getName()
- Method in class sugartracer.decoder.
Variable
Returns the name of this variable.
getResult()
- Method in class sugartracer.decoder.
Decoder
Returns the result of SAT solving.
getTrail()
- Method in class sugartracer.decoder.
Decoder
Returns the current trail stack
getTrailDecoded()
- Method in class sugartracer.decoder.
Decoder
Returns the string representation of trail stack.
getVariables()
- Method in class sugartracer.decoder.
Decoder
Returns the list of SAT variables
getVariables()
- Method in class sugartracer.decoder.
EncodingMap
Returns the list of CSP variables.
H
handle(HttpExchange)
- Method in class sugartracer.
ServerTracer.CommandHandler
handle(HttpExchange)
- Method in class sugartracer.
ServerTracer.HtmlHandler
htmlDir
- Variable in class sugartracer.
ServerTracer
htmlPath
- Variable in class sugartracer.
ServerTracer
I
init(ISolverService)
- Method in class sugartracer.sat4j.
Sat4j
isAux()
- Method in class sugartracer.decoder.
Variable
Returns true when this object is an aux variable.
isBool()
- Method in class sugartracer.decoder.
Variable
Returns true when this object is a CSP boolean variable.
isDefined(int)
- Method in class sugartracer.decoder.
Assignment
Returns true when i-th propositional variable is defined.
isDefinedLit(int)
- Method in class sugartracer.decoder.
Assignment
Returns true when the literal lit is defined.
isModified(Assignment)
- Method in class sugartracer.decoder.
Variable
Returns true when the domain is modified.
L
lb()
- Method in class sugartracer.decoder.
Variable
Returns the lower bound value of this variable.
lb(Assignment)
- Method in class sugartracer.decoder.
Variable
Returns the lower bound value of this variable under given assignment.
learn(IConstr)
- Method in class sugartracer.sat4j.
Sat4j
learnt(int[])
- Method in class sugartracer.decoder.
Decoder
Called when learnt clause is added by SAT solver.
learnt(int[])
- Method in class sugartracer.
Tracer
Called when learnt clause is added by SAT solver.
load(String)
- Method in class sugartracer.decoder.
EncodingMap
Loads the mapping from the map file generated by Sugar.
M
main(String[])
- Static method in class sugartracer.
SugarTracer
N
newBoolVariable(String, int)
- Static method in class sugartracer.decoder.
Variable
Creates a new CSP boolean variable object.
newIntVariable(String, int, int[][])
- Static method in class sugartracer.decoder.
Variable
Creates a new CSP integer variable object.
P
port
- Variable in class sugartracer.
ServerTracer
propagate(int)
- Method in class sugartracer.decoder.
Decoder
Called when propagation is done for the literal by SAT solver.
propagate(int)
- Method in class sugartracer.
Tracer
Called when propagation is done for the literal by SAT solver.
propagating(int, IConstr)
- Method in class sugartracer.sat4j.
Sat4j
propagations
- Variable in class sugartracer.
Tracer
Q
quick
- Variable in class sugartracer.
Tracer
R
reset()
- Method in class sugartracer.decoder.
Decoder
Resets the decoder to initial state
reset()
- Method in class sugartracer.decoder.
Variable
Resets the variable to initial state
restart()
- Method in class sugartracer.decoder.
Decoder
Called when restart happened by SAT solver.
restart()
- Method in class sugartracer.
Tracer
Called when restart happened by SAT solver.
restarting()
- Method in class sugartracer.sat4j.
Sat4j
restartSolver()
- Method in class sugartracer.sat4j.
Sat4j
restartSolver()
- Method in class sugartracer.
SatSolver
restartTracer()
- Method in class sugartracer.
ServerTracer
runServerTracer(String, String, String, int)
- Static method in class sugartracer.
SugarTracer
runTextTracer(String, String)
- Static method in class sugartracer.
SugarTracer
S
Sat4j
- Class in
sugartracer.sat4j
Sat4j(String)
- Constructor for class sugartracer.sat4j.
Sat4j
SatSolver
- Class in
sugartracer
SatSolver(String)
- Constructor for class sugartracer.
SatSolver
saveDomain(Assignment)
- Method in class sugartracer.decoder.
Variable
Saves the domain information under given assignment.
saveState()
- Method in class sugartracer.decoder.
Decoder
Saves the current assignment.
server
- Variable in class sugartracer.
ServerTracer
ServerTracer
- Class in
sugartracer
ServerTracer(SatSolver, Decoder, String, int)
- Constructor for class sugartracer.
ServerTracer
ServerTracer.CommandHandler
- Class in
sugartracer
ServerTracer.CommandHandler()
- Constructor for class sugartracer.
ServerTracer.CommandHandler
ServerTracer.HtmlHandler
- Class in
sugartracer
ServerTracer.HtmlHandler(File)
- Constructor for class sugartracer.
ServerTracer.HtmlHandler
set(int, boolean)
- Method in class sugartracer.decoder.
Assignment
Sets the value of i-th propositional variable.
setLit(int)
- Method in class sugartracer.decoder.
Assignment
Sets the value of the literal lit to be true.
setTracer(Tracer)
- Method in class sugartracer.
SatSolver
show(String[])
- Method in class sugartracer.
ServerTracer
show(String[])
- Method in class sugartracer.
TextTracer
show(String[])
- Method in class sugartracer.
Tracer
Shows the strings
showAssignment()
- Method in class sugartracer.
ServerTracer
showAssignment(Variable)
- Method in class sugartracer.
Tracer
Shows the current assignment of the variable.
showAssignment()
- Method in class sugartracer.
Tracer
Shows the current assignment.
showAuxVars
- Variable in class sugartracer.
Tracer
showCommand(String, String[])
- Method in class sugartracer.
Tracer
Shows the command.
size()
- Method in class sugartracer.decoder.
EncodingMap
Returns the size of CSP variables.
solutionFound(int[])
- Method in class sugartracer.sat4j.
Sat4j
solver
- Variable in class sugartracer.
Tracer
start()
- Method in class sugartracer.sat4j.
Sat4j
startSolver()
- Method in class sugartracer.sat4j.
Sat4j
startSolver()
- Method in class sugartracer.
SatSolver
startTracer()
- Method in class sugartracer.
ServerTracer
startTracer()
- Method in class sugartracer.
Tracer
Starts the tracer.
stepTracer()
- Method in class sugartracer.
ServerTracer
stopSolver()
- Method in class sugartracer.sat4j.
Sat4j
stopSolver()
- Method in class sugartracer.
SatSolver
stopTracer()
- Method in class sugartracer.
ServerTracer
stopTracer()
- Method in class sugartracer.
Tracer
Stops the tracer.
sugartracer
- package sugartracer
SugarTracer
- Class in
sugartracer
SugarTracer
SugarTracer()
- Constructor for class sugartracer.
SugarTracer
sugartracer.decoder
- package sugartracer.decoder
sugartracer.sat4j
- package sugartracer.sat4j
T
TextTracer
- Class in
sugartracer
TextTracer(SatSolver, Decoder)
- Constructor for class sugartracer.
TextTracer
toCode(int)
- Method in class sugartracer.decoder.
Variable
Returns the index of the propositional variable corresponding to the value.
toString()
- Method in class sugartracer.decoder.
EncodingMap
toString()
- Method in class sugartracer.decoder.
Variable
toStrings(Assignment, boolean)
- Method in class sugartracer.decoder.
Variable
Returns the string representation of this variable
toValue(int)
- Method in class sugartracer.decoder.
Variable
Returns the value of this integer variable corresponding to code.
tracer
- Variable in class sugartracer.
SatSolver
Tracer
- Class in
sugartracer
This is a class for tracer.
Tracer(SatSolver, Decoder)
- Constructor for class sugartracer.
Tracer
Creates the tracer.
TracerException
- Exception in
sugartracer
TracerException(String)
- Constructor for exception sugartracer.
TracerException
U
ub()
- Method in class sugartracer.decoder.
Variable
Returns the upper bound value of this variable.
ub(Assignment)
- Method in class sugartracer.decoder.
Variable
Returns the upper bound value of this variable under given assignment.
undo(int)
- Method in class sugartracer.decoder.
Decoder
Called when undo is done for the literal by SAT solver.
undo(int)
- Method in class sugartracer.
Tracer
Called when undo is done for the literal by SAT solver.
undos
- Variable in class sugartracer.
Tracer
unset(int)
- Method in class sugartracer.decoder.
Assignment
Sets i-th propositional variable undefined.
unsetLit(int)
- Method in class sugartracer.decoder.
Assignment
Sets the literal lit undefined.
V
Variable
- Class in
sugartracer.decoder
This is a class for CSP integer variables and boolean variables.
A
B
C
D
E
F
G
H
I
L
M
N
P
Q
R
S
T
U
V
Overview
Package
Class
Tree
Deprecated
Index
Help
SugarTrace version 1.0.1 Core API Specification
PREV NEXT
FRAMES
NO FRAMES
All Classes
SugarTracer: Tracer of Sugar