toysolver-0.6.0: Assorted decision procedures for SAT, SMT, Max-SAT, PB, MIP, etc (Index - D)

toysolver-0.6.0: Assorted decision procedures for SAT, SMT, Max-SAT, PB, MIP, etc

A
B
C
D
E
F
G
H
I
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
:
.
All

Index - D

DAA	ToySolver.SAT.MUS.Enum
declareConst	ToySolver.SMT
declareFSym	ToySolver.SMT
declareFun	ToySolver.SMT
declareSort	ToySolver.SMT
declareSSym	ToySolver.SMT
decode	ToySolver.SAT.Encoder.PB.Internal.Sorter
def	ToySolver.Data.MIP.Solver.Base, ToySolver.Data.MIP.Solver
Default	ToySolver.Data.MIP.Solver.Base, ToySolver.Data.MIP.Solver
defaultBounds	ToySolver.Data.MIP.Base, ToySolver.Data.MIP
defaultEnableObjFunVarsHeuristics	ToySolver.SAT.PBO
defaultGrow	ToySolver.Combinatorial.HittingSet.InterestingSets, ToySolver.Combinatorial.HittingSet.GurvichKhachiyan1999, ToySolver.Combinatorial.HittingSet.DAA, ToySolver.Combinatorial.HittingSet.MARCO
defaultLB	ToySolver.Data.MIP.Base, ToySolver.Data.MIP
defaultMaximalInterestingSet	ToySolver.Combinatorial.HittingSet.InterestingSets, ToySolver.Combinatorial.HittingSet.GurvichKhachiyan1999, ToySolver.Combinatorial.HittingSet.DAA, ToySolver.Combinatorial.HittingSet.MARCO
defaultMinimalUninterestingSet	ToySolver.Combinatorial.HittingSet.InterestingSets, ToySolver.Combinatorial.HittingSet.GurvichKhachiyan1999, ToySolver.Combinatorial.HittingSet.DAA, ToySolver.Combinatorial.HittingSet.MARCO
defaultMinimalUninterestingSetOrMaximalInterestingSet	ToySolver.Combinatorial.HittingSet.InterestingSets, ToySolver.Combinatorial.HittingSet.GurvichKhachiyan1999, ToySolver.Combinatorial.HittingSet.DAA, ToySolver.Combinatorial.HittingSet.MARCO
defaultShrink	ToySolver.Combinatorial.HittingSet.InterestingSets, ToySolver.Combinatorial.HittingSet.GurvichKhachiyan1999, ToySolver.Combinatorial.HittingSet.DAA, ToySolver.Combinatorial.HittingSet.MARCO
defaultTrialLimitConf	ToySolver.SAT.PBO
defaultUB	ToySolver.Data.MIP.Base, ToySolver.Data.MIP
define	ToySolver.Arith.Simplex.Textbook.LPSolver
deg	ToySolver.Data.Polynomial
Degree	ToySolver.Data.Polynomial
deleteRedundancy	ToySolver.Combinatorial.HittingSet.FredmanKhachiyan1996
deleteSolver	ToySolver.SAT.MessagePassing.SurveyPropagation
Deletion	ToySolver.SAT.MUS
Delta
1 (Type/Class)	ToySolver.Data.Delta
2 (Data Constructor)	ToySolver.Data.Delta
delta	ToySolver.Data.Delta
deltaPart	ToySolver.Data.Delta
DenseBlock	ToySolver.Text.SDPFile
denseBlock	ToySolver.Text.SDPFile
DenseMatrix	ToySolver.Text.SDPFile
denseMatrix	ToySolver.Text.SDPFile
Dequeue	ToySolver.Internal.Data.SeqQueue, ToySolver.Internal.Data.PriorityQueue, ToySolver.Internal.Data.IndexedPriorityQueue
dequeue	ToySolver.Internal.Data.SeqQueue, ToySolver.Internal.Data.PriorityQueue, ToySolver.Internal.Data.IndexedPriorityQueue
dequeueBatch	ToySolver.Internal.Data.SeqQueue, ToySolver.Internal.Data.PriorityQueue, ToySolver.Internal.Data.IndexedPriorityQueue
deriv	ToySolver.Data.Polynomial
diagBlock	ToySolver.Text.SDPFile
Diff	ToySolver.Arith.DifferenceLogic
dijkstra	ToySolver.Graph.ShortestPath
disableTimeRecording	ToySolver.Arith.Simplex
div	ToySolver.Data.Polynomial
divides	ToySolver.Data.Polynomial
Divisible	ToySolver.Arith.Cooper.Base, ToySolver.Arith.Cooper
divMod	ToySolver.Data.Polynomial
divModMP	ToySolver.Data.Polynomial
DNF
1 (Type/Class)	ToySolver.Data.DNF
2 (Data Constructor)	ToySolver.Data.DNF
dualize	ToySolver.SDP
DualizeInfo
1 (Type/Class)	ToySolver.SDP
2 (Data Constructor)	ToySolver.SDP
dualMatrix	ToySolver.Text.SDPFile
dualSimplex
1 (Function)	ToySolver.Arith.Simplex.Textbook
2 (Function)	ToySolver.Arith.Simplex
3 (Function)	ToySolver.Arith.Simplex.Textbook.LPSolver
dump	ToySolver.Arith.Simplex