Class and Description |
---|
ContradictionException
That exception is launched whenever a trivial contradiction is found (e.g.
|
ILogAble
Utility interface to catch objects with logging capability (able to log).
|
IProblem
Access to the information related to a given problem instance.
|
ISolver
This interface contains all services provided by a SAT solver.
|
TimeoutException
Exception launched when the solver cannot solve a problem within its allowed
time.
|
Class and Description |
---|
IConstr
The most general abstraction for handling a constraint.
|
ISolver
This interface contains all services provided by a SAT solver.
|
IteratorInt
Iterator interface to avoid boxing int into Integer.
|
IVec
An abstraction on the type of vector used in the library.
|
IVecInt
An abstraction for the vector of int used on the library.
|
Class and Description |
---|
ISolver
This interface contains all services provided by a SAT solver.
|
Class and Description |
---|
ContradictionException
That exception is launched whenever a trivial contradiction is found (e.g.
|
IVec
An abstraction on the type of vector used in the library.
|
IVecInt
An abstraction for the vector of int used on the library.
|
UnitPropagationListener
Interface providing the unit propagation capability.
|
Class and Description |
---|
ContradictionException
That exception is launched whenever a trivial contradiction is found (e.g.
|
IConstr
The most general abstraction for handling a constraint.
|
IVecInt
An abstraction for the vector of int used on the library.
|
UnitPropagationListener
Interface providing the unit propagation capability.
|
Class and Description |
---|
ContradictionException
That exception is launched whenever a trivial contradiction is found (e.g.
|
IConstr
The most general abstraction for handling a constraint.
|
IVec
An abstraction on the type of vector used in the library.
|
IVecInt
An abstraction for the vector of int used on the library.
|
UnitPropagationListener
Interface providing the unit propagation capability.
|
Class and Description |
---|
ContradictionException
That exception is launched whenever a trivial contradiction is found (e.g.
|
IConstr
The most general abstraction for handling a constraint.
|
ILogAble
Utility interface to catch objects with logging capability (able to log).
|
IProblem
Access to the information related to a given problem instance.
|
ISolver
This interface contains all services provided by a SAT solver.
|
ISolverService
The aim on that interface is to allow power users to communicate with the SAT
solver using Dimacs format.
|
IVec
An abstraction on the type of vector used in the library.
|
IVecInt
An abstraction for the vector of int used on the library.
|
Lbool
That enumeration defines the possible truth value for a variable: satisfied,
falsified or unknown/undefined.
|
RandomAccessModel
That interface allows to efficiently retrieve the truth value of a given
variable in the solver.
|
SearchListener
Interface to the solver main steps.
|
TimeoutException
Exception launched when the solver cannot solve a problem within its allowed
time.
|
UnitClauseProvider
Interface for engines able to derive unit clauses for the current problem.
|
UnitPropagationListener
Interface providing the unit propagation capability.
|
Class and Description |
---|
ContradictionException
That exception is launched whenever a trivial contradiction is found (e.g.
|
IConstr
The most general abstraction for handling a constraint.
|
IOptimizationProblem
Represents an optimization problem.
|
IProblem
Access to the information related to a given problem instance.
|
ISolver
This interface contains all services provided by a SAT solver.
|
IVecInt
An abstraction for the vector of int used on the library.
|
RandomAccessModel
That interface allows to efficiently retrieve the truth value of a given
variable in the solver.
|
TimeoutException
Exception launched when the solver cannot solve a problem within its allowed
time.
|
Class and Description |
---|
ContradictionException
That exception is launched whenever a trivial contradiction is found (e.g.
|
IConstr
The most general abstraction for handling a constraint.
|
ILogAble
Utility interface to catch objects with logging capability (able to log).
|
IOptimizationProblem
Represents an optimization problem.
|
IProblem
Access to the information related to a given problem instance.
|
ISolver
This interface contains all services provided by a SAT solver.
|
ISolverService
The aim on that interface is to allow power users to communicate with the SAT
solver using Dimacs format.
|
IVec
An abstraction on the type of vector used in the library.
|
IVecInt
An abstraction for the vector of int used on the library.
|
RandomAccessModel
That interface allows to efficiently retrieve the truth value of a given
variable in the solver.
|
TimeoutException
Exception launched when the solver cannot solve a problem within its allowed
time.
|
Class and Description |
---|
ContradictionException
That exception is launched whenever a trivial contradiction is found (e.g.
|
IVec
An abstraction on the type of vector used in the library.
|
IVecInt
An abstraction for the vector of int used on the library.
|
UnitPropagationListener
Interface providing the unit propagation capability.
|
Class and Description |
---|
ContradictionException
That exception is launched whenever a trivial contradiction is found (e.g.
|
IConstr
The most general abstraction for handling a constraint.
|
IVec
An abstraction on the type of vector used in the library.
|
IVecInt
An abstraction for the vector of int used on the library.
|
UnitPropagationListener
Interface providing the unit propagation capability.
|
Class and Description |
---|
ContradictionException
That exception is launched whenever a trivial contradiction is found (e.g.
|
IConstr
The most general abstraction for handling a constraint.
|
IProblem
Access to the information related to a given problem instance.
|
ISolver
This interface contains all services provided by a SAT solver.
|
ISolverService
The aim on that interface is to allow power users to communicate with the SAT
solver using Dimacs format.
|
IVec
An abstraction on the type of vector used in the library.
|
IVecInt
An abstraction for the vector of int used on the library.
|
RandomAccessModel
That interface allows to efficiently retrieve the truth value of a given
variable in the solver.
|
SearchListener
Interface to the solver main steps.
|
TimeoutException
Exception launched when the solver cannot solve a problem within its allowed
time.
|
UnitClauseProvider
Interface for engines able to derive unit clauses for the current problem.
|
UnitPropagationListener
Interface providing the unit propagation capability.
|
Class and Description |
---|
ContradictionException
That exception is launched whenever a trivial contradiction is found (e.g.
|
IProblem
Access to the information related to a given problem instance.
|
IVec
An abstraction on the type of vector used in the library.
|
IVecInt
An abstraction for the vector of int used on the library.
|
Class and Description |
---|
ContradictionException
That exception is launched whenever a trivial contradiction is found (e.g.
|
IConstr
The most general abstraction for handling a constraint.
|
IOptimizationProblem
Represents an optimization problem.
|
IProblem
Access to the information related to a given problem instance.
|
ISolver
This interface contains all services provided by a SAT solver.
|
IVec
An abstraction on the type of vector used in the library.
|
IVecInt
An abstraction for the vector of int used on the library.
|
Lbool
That enumeration defines the possible truth value for a variable: satisfied,
falsified or unknown/undefined.
|
RandomAccessModel
That interface allows to efficiently retrieve the truth value of a given
variable in the solver.
|
SearchListener
Interface to the solver main steps.
|
TimeoutException
Exception launched when the solver cannot solve a problem within its allowed
time.
|
UnitClauseProvider
Interface for engines able to derive unit clauses for the current problem.
|
Class and Description |
---|
ContradictionException
That exception is launched whenever a trivial contradiction is found (e.g.
|
IGroupSolver
Represents a CNF in which clauses are grouped into levels.
|
IProblem
Access to the information related to a given problem instance.
|
ISolver
This interface contains all services provided by a SAT solver.
|
IVecInt
An abstraction for the vector of int used on the library.
|
Class and Description |
---|
ContradictionException
That exception is launched whenever a trivial contradiction is found (e.g.
|
IConstr
The most general abstraction for handling a constraint.
|
ILogAble
Utility interface to catch objects with logging capability (able to log).
|
IProblem
Access to the information related to a given problem instance.
|
ISolver
This interface contains all services provided by a SAT solver.
|
ISolverService
The aim on that interface is to allow power users to communicate with the SAT
solver using Dimacs format.
|
IteratorInt
Iterator interface to avoid boxing int into Integer.
|
IVec
An abstraction on the type of vector used in the library.
|
IVecInt
An abstraction for the vector of int used on the library.
|
Lbool
That enumeration defines the possible truth value for a variable: satisfied,
falsified or unknown/undefined.
|
RandomAccessModel
That interface allows to efficiently retrieve the truth value of a given
variable in the solver.
|
SearchListener
Interface to the solver main steps.
|
TimeoutException
Exception launched when the solver cannot solve a problem within its allowed
time.
|
UnitClauseProvider
Interface for engines able to derive unit clauses for the current problem.
|
UnitPropagationListener
Interface providing the unit propagation capability.
|
Class and Description |
---|
ContradictionException
That exception is launched whenever a trivial contradiction is found (e.g.
|
IConstr
The most general abstraction for handling a constraint.
|
IGroupSolver
Represents a CNF in which clauses are grouped into levels.
|
IOptimizationProblem
Represents an optimization problem.
|
IProblem
Access to the information related to a given problem instance.
|
ISolver
This interface contains all services provided by a SAT solver.
|
ISolverService
The aim on that interface is to allow power users to communicate with the SAT
solver using Dimacs format.
|
IVec
An abstraction on the type of vector used in the library.
|
IVecInt
An abstraction for the vector of int used on the library.
|
Lbool
That enumeration defines the possible truth value for a variable: satisfied,
falsified or unknown/undefined.
|
RandomAccessModel
That interface allows to efficiently retrieve the truth value of a given
variable in the solver.
|
SearchListener
Interface to the solver main steps.
|
TimeoutException
Exception launched when the solver cannot solve a problem within its allowed
time.
|
UnitClauseProvider
Interface for engines able to derive unit clauses for the current problem.
|
UnitPropagationListener
Interface providing the unit propagation capability.
|
Class and Description |
---|
ContradictionException
That exception is launched whenever a trivial contradiction is found (e.g.
|
IConstr
The most general abstraction for handling a constraint.
|
ISolver
This interface contains all services provided by a SAT solver.
|
IVecInt
An abstraction for the vector of int used on the library.
|
Class and Description |
---|
ContradictionException
That exception is launched whenever a trivial contradiction is found (e.g.
|
IConstr
The most general abstraction for handling a constraint.
|
IGroupSolver
Represents a CNF in which clauses are grouped into levels.
|
IProblem
Access to the information related to a given problem instance.
|
ISolver
This interface contains all services provided by a SAT solver.
|
IVecInt
An abstraction for the vector of int used on the library.
|
RandomAccessModel
That interface allows to efficiently retrieve the truth value of a given
variable in the solver.
|
TimeoutException
Exception launched when the solver cannot solve a problem within its allowed
time.
|