Overview
Package
Class
Tree
Deprecated
Index
Help
PBSugar version 1.1.1 Core API Specification
PREV NEXT
FRAMES
NO FRAMES
All Classes
A
B
C
D
E
F
G
H
I
K
L
M
N
O
P
R
S
T
U
V
W
X
A
a(int)
- Method in class pbsugar.pb.
PBConstraint
addB(BigInteger)
- Method in class pbsugar.pb.
PBConstraint
addXs(List<String>)
- Method in class pbsugar.pb.
PBConstraint
and(List<Clause>, Clause)
- Method in class pbsugar.encoder.
PBEncoder
and(List<Clause>, List<Clause>)
- Method in class pbsugar.encoder.
PBEncoder
as()
- Method in class pbsugar.encoder.
CM
as()
- Method in class pbsugar.pb.
PBConstraint
B
b()
- Method in class pbsugar.pb.
PBConstraint
BASE
- Static variable in class pbsugar.encoder.
PBEncoder
C
CHECK_DOMAIN
- Static variable in class pbsugar.encoder.
CM
Clause
- Class in
pbsugar.encoder
Clause()
- Constructor for class pbsugar.encoder.
Clause
Clause(int...)
- Constructor for class pbsugar.encoder.
Clause
Clause(List<Integer>)
- Constructor for class pbsugar.encoder.
Clause
clausesCount
- Variable in class pbsugar.sat.
SatFile
close()
- Method in class pbsugar.encoder.
Encoder
close()
- Method in class pbsugar.sat.
SatFile
CM
- Class in
pbsugar.encoder
CM(int[], int[], int, PBEncoder)
- Constructor for class pbsugar.encoder.
CM
CM_CACHE_SIZE
- Static variable in class pbsugar.encoder.
PBEncoder
CMkey
- Class in
pbsugar.encoder
CMkey(int[], int[])
- Constructor for class pbsugar.encoder.
CMkey
cmp()
- Method in class pbsugar.pb.
PBConstraint
code(String, int...)
- Method in class pbsugar.encoder.
Encoder
constraints
- Variable in class pbsugar.pb.
PBParser
contains(int)
- Method in class pbsugar.encoder.
Domain
countCM
- Static variable in class pbsugar.encoder.
PBEncoder
countCMreused
- Static variable in class pbsugar.encoder.
PBEncoder
countCMshared
- Static variable in class pbsugar.encoder.
PBEncoder
countDecompose
- Static variable in class pbsugar.encoder.
PBEncoder
D
debug
- Variable in class pbsugar.encoder.
Encoder
debug
- Variable in class pbsugar.
PBSugar
decode(int)
- Method in class pbsugar.encoder.
Encoder
decode()
- Method in class pbsugar.
PBSugar
DECOMPOSE_PB
- Static variable in class pbsugar.encoder.
PBEncoder
divideAndRemainder(BigInteger)
- Method in class pbsugar.pb.
PBConstraint
Domain
- Class in
pbsugar.encoder
Domain(int)
- Constructor for class pbsugar.encoder.
Domain
E
elem(int, int)
- Method in class pbsugar.encoder.
CM
elem0(int, int)
- Method in class pbsugar.encoder.
CM
elem0(int, int)
- Method in class pbsugar.encoder.
SharedCM
elem0(int, int)
- Method in class pbsugar.encoder.
SimpleCM
encode()
- Method in class pbsugar.encoder.
CM
encode(PBConstraint)
- Method in class pbsugar.encoder.
PBEncoder
encode()
- Method in class pbsugar.encoder.
SharedCM
encode()
- Method in class pbsugar.encoder.
SimpleCM
encode()
- Method in class pbsugar.
PBSugar
ENCODE_AS_CNF_LITERALS_SIZE
- Static variable in class pbsugar.encoder.
PBEncoder
ENCODE_CLAUSE_PART
- Static variable in class pbsugar.encoder.
PBEncoder
encodeAsCNF(PBConstraint)
- Method in class pbsugar.encoder.
PBEncoder
encodeClausePart(PBConstraint, List<Integer>, List<Clause>)
- Method in class pbsugar.encoder.
PBEncoder
encodeCmp(String, int)
- Method in class pbsugar.encoder.
CM
encodePB(PBConstraint)
- Method in class pbsugar.encoder.
PBEncoder
Encoder
- Class in
pbsugar.encoder
Encoder(String)
- Constructor for class pbsugar.encoder.
Encoder
encoder
- Variable in class pbsugar.
PBSugar
encodeSum(String, Domain)
- Method in class pbsugar.encoder.
CM
EQ
- Static variable in class pbsugar.pb.
PBConstraint
equals(Object)
- Method in class pbsugar.encoder.
CMkey
equals(Object)
- Method in class pbsugar.pb.
PBLiteral
F
FALSE
- Static variable in class pbsugar.encoder.
Encoder
FALSE_CLAUSE
- Static variable in class pbsugar.encoder.
Clause
FALSE_CNF
- Static variable in class pbsugar.encoder.
PBEncoder
fine(String)
- Static method in class pbsugar.
PBSugar
flush()
- Method in class pbsugar.sat.
SatFile
G
GE
- Static variable in class pbsugar.pb.
PBConstraint
getHeader(int, int)
- Method in class pbsugar.sat.
SatFile
getLiterals()
- Method in class pbsugar.encoder.
Clause
getNext()
- Method in class pbsugar.pb.
PBParser
getVariable()
- Method in class pbsugar.pb.
PBLiteral
H
hashCode()
- Method in class pbsugar.encoder.
CMkey
hashCode()
- Method in class pbsugar.pb.
PBLiteral
I
info(String)
- Static method in class pbsugar.
PBSugar
isNegative()
- Method in class pbsugar.pb.
PBLiteral
isSatisfied(Set<String>)
- Method in class pbsugar.pb.
PBConstraint
isUnsat()
- Method in class pbsugar.encoder.
Clause
isUnsat()
- Method in class pbsugar.pb.
PBConstraint
isUnsatWhen(int, int)
- Method in class pbsugar.pb.
PBConstraint
isValid()
- Method in class pbsugar.pb.
PBConstraint
isValidWhen(int, int)
- Method in class pbsugar.pb.
PBConstraint
K
key()
- Method in class pbsugar.encoder.
CM
L
lb()
- Method in class pbsugar.encoder.
Domain
LE
- Static variable in class pbsugar.pb.
PBConstraint
lhs(Set<String>)
- Method in class pbsugar.pb.
PBConstraint
limit(int)
- Method in class pbsugar.encoder.
Domain
M
m()
- Method in class pbsugar.encoder.
CM
main(String[])
- Static method in class pbsugar.
PBSugar
mapFileName
- Variable in class pbsugar.
PBSugar
miniSat
- Variable in class pbsugar.
PBSugar
N
n()
- Method in class pbsugar.encoder.
CM
NE
- Static variable in class pbsugar.pb.
PBConstraint
neg(int)
- Method in class pbsugar.encoder.
CM
neg(int)
- Method in class pbsugar.encoder.
Encoder
negate()
- Method in class pbsugar.pb.
PBLiteral
newAuxVar(String)
- Method in class pbsugar.encoder.
Encoder
newVar(String, int...)
- Method in class pbsugar.encoder.
Encoder
newVar(int)
- Method in class pbsugar.sat.
SatFile
newVar()
- Method in class pbsugar.sat.
SatFile
normalize()
- Method in class pbsugar.pb.
PBConstraint
O
open()
- Method in class pbsugar.encoder.
Encoder
open()
- Method in class pbsugar.sat.
SatFile
or(int...)
- Method in class pbsugar.encoder.
Clause
or(Clause)
- Method in class pbsugar.encoder.
Clause
or(List<Clause>, Clause)
- Method in class pbsugar.encoder.
PBEncoder
or(List<Clause>, List<Clause>)
- Method in class pbsugar.encoder.
PBEncoder
ORDER_AXIOMS
- Static variable in class pbsugar.encoder.
CM
outFileName
- Variable in class pbsugar.
PBSugar
outFileName
- Variable in class pbsugar.sat.
Solver
P
PBConstraint
- Class in
pbsugar.pb
PBConstraint(List<BigInteger>, List<PBLiteral>, String, BigInteger)
- Constructor for class pbsugar.pb.
PBConstraint
PBEncoder
- Class in
pbsugar.encoder
PBEncoder(String)
- Constructor for class pbsugar.encoder.
PBEncoder
pbFileName
- Variable in class pbsugar.
PBSugar
pbLiteral(PBLiteral)
- Method in class pbsugar.encoder.
PBEncoder
PBLiteral
- Class in
pbsugar.pb
PBLiteral(String, boolean)
- Constructor for class pbsugar.pb.
PBLiteral
PBLiteral(String)
- Constructor for class pbsugar.pb.
PBLiteral
PBParser
- Class in
pbsugar.pb
PBParser(BufferedReader)
- Constructor for class pbsugar.pb.
PBParser
PBParser(String)
- Constructor for class pbsugar.pb.
PBParser
pbsugar
- package pbsugar
PBSugar
- Class in
pbsugar
PBSugar()
- Constructor for class pbsugar.
PBSugar
pbsugar.encoder
- package pbsugar.encoder
pbsugar.pb
- package pbsugar.pb
pbsugar.sat
- package pbsugar.sat
plus(int)
- Method in class pbsugar.encoder.
Domain
R
result
- Variable in class pbsugar.sat.
Solver
S
sat
- Variable in class pbsugar.encoder.
Encoder
SAT_BUFFER_SIZE
- Static variable in class pbsugar.sat.
SatFile
SatFile
- Class in
pbsugar.sat
SatFile(String)
- Constructor for class pbsugar.sat.
SatFile
satFileName
- Variable in class pbsugar.
PBSugar
satFileName
- Variable in class pbsugar.sat.
Solver
satSolverName
- Variable in class pbsugar.
PBSugar
satSolverName
- Variable in class pbsugar.sat.
Solver
saveMap(int)
- Method in class pbsugar.
PBSugar
SHARABLE_CM_CACHE_SIZE
- Static variable in class pbsugar.encoder.
PBEncoder
SHARABLE_CM_LENGTH
- Static variable in class pbsugar.encoder.
PBEncoder
sharableKey()
- Method in class pbsugar.encoder.
CM
SharedCM
- Class in
pbsugar.encoder
SharedCM(int[], int[], int, CM, PBEncoder)
- Constructor for class pbsugar.encoder.
SharedCM
SimpleCM
- Class in
pbsugar.encoder
SimpleCM(int[], int[], int, PBEncoder)
- Constructor for class pbsugar.encoder.
SimpleCM
singletonCNF(Clause)
- Method in class pbsugar.encoder.
PBEncoder
size()
- Method in class pbsugar.encoder.
Domain
size()
- Method in class pbsugar.pb.
PBConstraint
solution
- Variable in class pbsugar.sat.
Solver
solve(int)
- Method in class pbsugar.
PBSugar
solve()
- Method in class pbsugar.sat.
Solver
Solver
- Class in
pbsugar.sat
Solver(String, String, String)
- Constructor for class pbsugar.sat.
Solver
Solver(String, String)
- Constructor for class pbsugar.sat.
Solver
SORT_COEF
- Static variable in class pbsugar.pb.
PBConstraint
status()
- Static method in class pbsugar.
PBSugar
SUM_CARRIES
- Static variable in class pbsugar.encoder.
PBEncoder
sumCode(String, Domain, int)
- Method in class pbsugar.encoder.
CM
T
toString()
- Method in class pbsugar.encoder.
CM
toString()
- Method in class pbsugar.encoder.
Domain
toString(Clause)
- Method in class pbsugar.encoder.
Encoder
toString(List<Clause>)
- Method in class pbsugar.encoder.
Encoder
toString()
- Method in class pbsugar.pb.
PBConstraint
toString()
- Method in class pbsugar.pb.
PBLiteral
TRUE
- Static variable in class pbsugar.encoder.
Encoder
TRUE_CNF
- Static variable in class pbsugar.encoder.
PBEncoder
U
ub()
- Method in class pbsugar.encoder.
Domain
ubLHS()
- Method in class pbsugar.pb.
PBConstraint
UNDEF
- Static variable in class pbsugar.encoder.
Encoder
union(Domain)
- Method in class pbsugar.encoder.
Domain
updateHeader()
- Method in class pbsugar.sat.
SatFile
upper(int)
- Method in class pbsugar.encoder.
Domain
USE_CM_CACHE
- Static variable in class pbsugar.encoder.
PBEncoder
USE_SPARSE_CM
- Static variable in class pbsugar.encoder.
PBEncoder
V
variables
- Variable in class pbsugar.pb.
PBParser
variablesCount
- Variable in class pbsugar.sat.
SatFile
varsSet
- Variable in class pbsugar.
PBSugar
verboseLevel
- Static variable in class pbsugar.
PBSugar
verify
- Variable in class pbsugar.
PBSugar
verify(Set<String>)
- Method in class pbsugar.
PBSugar
verifyPbOutput(String, String)
- Method in class pbsugar.
PBSugar
W
write(byte[])
- Method in class pbsugar.sat.
SatFile
write(String)
- Method in class pbsugar.sat.
SatFile
writeClause(Clause)
- Method in class pbsugar.encoder.
Encoder
writeClause(int...)
- Method in class pbsugar.encoder.
Encoder
writeClause(int[])
- Method in class pbsugar.sat.
SatFile
writeComment(String)
- Method in class pbsugar.encoder.
Encoder
writeComment(String[])
- Method in class pbsugar.encoder.
Encoder
writeComment(String)
- Method in class pbsugar.sat.
SatFile
writeComment(String[])
- Method in class pbsugar.sat.
SatFile
X
x(int)
- Method in class pbsugar.pb.
PBConstraint
xs()
- Method in class pbsugar.encoder.
CM
xs()
- Method in class pbsugar.pb.
PBConstraint
A
B
C
D
E
F
G
H
I
K
L
M
N
O
P
R
S
T
U
V
W
X
Overview
Package
Class
Tree
Deprecated
Index
Help
PBSugar version 1.1.1 Core API Specification
PREV NEXT
FRAMES
NO FRAMES
All Classes
PBSugar: SAT-based Pseudo Boolean Constraint Solver