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 |
defaultEnableObjFunVarsHeuristics | ToySolver.SAT.PBO |
defaultGrow | ToySolver.Combinatorial.HittingSet.InterestingSets, ToySolver.Combinatorial.HittingSet.GurvichKhachiyan1999, ToySolver.Combinatorial.HittingSet.DAA, ToySolver.Combinatorial.HittingSet.MARCO |
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 |
define | ToySolver.Arith.Simplex.Textbook.LPSolver |
Definitions | ToySolver.SAT.Encoder.Cardinality.Internal.Totalizer |
deg | ToySolver.Data.Polynomial |
Degree | ToySolver.Data.Polynomial |
deleteRedundancy | ToySolver.Combinatorial.HittingSet.FredmanKhachiyan1996 |
deleteSolver | ToySolver.SAT.Solver.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 |