PBSugar version 1.1.1 Core API Specification
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
PBSugar version 1.1.1 Core API Specification

PBSugar: SAT-based Pseudo Boolean Constraint Solver