SugarTrace version 1.0.1 Core API Specification
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
SugarTrace version 1.0.1 Core API Specification

SugarTracer: Tracer of Sugar