Package | Description |
---|---|
org.sat4j.minisat.core | |
org.sat4j.pb.tools | |
org.sat4j.specs | |
org.sat4j.tools |
Modifier and Type | Method and Description |
---|---|
Lbool |
Solver.truthValue(int literal) |
Modifier and Type | Method and Description |
---|---|
void |
SearchOptimizerListener.end(Lbool result) |
Modifier and Type | Field and Description |
---|---|
static Lbool |
Lbool.FALSE |
static Lbool |
Lbool.TRUE |
static Lbool |
Lbool.UNDEFINED |
Modifier and Type | Method and Description |
---|---|
Lbool |
Lbool.not()
boolean negation.
|
Lbool |
ISolverService.truthValue(int literal)
To access the truth value of a specific literal under current assignment.
|
Modifier and Type | Method and Description |
---|---|
void |
SearchListener.end(Lbool result)
End the search.
|
Modifier and Type | Method and Description |
---|---|
void |
ConflictDepthTracing.end(Lbool result) |
void |
ConflictLevelTracing.end(Lbool result) |
void |
DecisionLevelTracing.end(Lbool result) |
void |
DecisionTracing.end(Lbool result) |
void |
DotSearchTracing.end(Lbool result) |
void |
LBDTracing.end(Lbool result) |
void |
LearnedClauseSizeTracing.end(Lbool result) |
void |
LearnedClausesSizeTracing.end(Lbool result) |
void |
MultiTracing.end(Lbool result) |
void |
RupSearchListener.end(Lbool result) |
void |
SearchEnumeratorListener.end(Lbool result) |
void |
SearchListenerAdapter.end(Lbool result) |
void |
SearchMinOneListener.end(Lbool result) |
void |
SpeedTracing.end(Lbool result) |
void |
TextOutputTracing.end(Lbool result) |