toysolver-0.1.0: Assorted decision procedures for SAT, Max-SAT, PB, MIP, etc (Index - G)

toysolver-0.1.0: Assorted decision procedures for SAT, 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 - G

gcd	ToySolver.Data.Polynomial
gcd'	ToySolver.Data.Polynomial
GClause	ToySolver.Text.GCNF
GCNF
1 (Type/Class)	ToySolver.Text.GCNF
2 (Data Constructor)	ToySolver.Text.GCNF
Ge
1 (Data Constructor)	ToySolver.Text.PBFile
2 (Data Constructor)	ToySolver.Data.MIP
3 (Data Constructor)	ToySolver.Data.ArithRel, ToySolver.Data.LA, ToySolver.Data.FOL.Arith, ToySolver.Simplex2
GenericSolver	ToySolver.Simplex2
GenericVec	ToySolver.Data.Vec
GenFormula	ToySolver.FOLModelFinder
GenLit	ToySolver.FOLModelFinder
geR	ToySolver.FourierMotzkin.Core
getArray	ToySolver.Data.Vec
getBestModel
1 (Function)	ToySolver.SAT.PBO.Context
2 (Function)	ToySolver.SAT.PBO
3 (Function)	ToySolver.MIPSolver2
getBestSolution
1 (Function)	ToySolver.SAT.PBO.Context
2 (Function)	ToySolver.SAT.PBO
3 (Function)	ToySolver.MIPSolver2
getBestValue
1 (Function)	ToySolver.SAT.PBO.Context
2 (Function)	ToySolver.SAT.PBO
3 (Function)	ToySolver.MIPSolver2
getBounds	ToySolver.Data.MIP
getCapacity	ToySolver.Data.Vec
getCoeff	ToySolver.Simplex2
getCol	ToySolver.Simplex2
getDefinitions	ToySolver.SAT.TseitinEncoder
getElems
1 (Function)	ToySolver.Data.Vec
2 (Function)	ToySolver.Internal.Data.IndexedPriorityQueue
3 (Function)	ToySolver.Internal.Data.PriorityQueue
getEnableBackwardSubsumptionRemoval	ToySolver.SAT
getEnableForwardSubsumptionRemoval	ToySolver.SAT
getEnableObjFunVarsHeuristics	ToySolver.SAT.PBO
getEnablePhaseSaving	ToySolver.SAT
getHeapArray
1 (Function)	ToySolver.Internal.Data.IndexedPriorityQueue
2 (Function)	ToySolver.Internal.Data.PriorityQueue
getHeapVec
1 (Function)	ToySolver.Internal.Data.IndexedPriorityQueue
2 (Function)	ToySolver.Internal.Data.PriorityQueue
getLB	ToySolver.Simplex2
getLowerBound	ToySolver.SAT.PBO.Context
getModel	ToySolver.LPSolver
getObj	ToySolver.Simplex2
getObjectiveFunction	ToySolver.SAT.PBO.Context
getObjValue	ToySolver.Simplex2
getOptDir	ToySolver.Simplex2
getRandomGen	ToySolver.SAT
getRow	ToySolver.Simplex2
getSearchStrategy	ToySolver.SAT.PBO
getSearchUpperBound	ToySolver.SAT.PBO.Context
getSize	ToySolver.Data.Vec
getTableau
1 (Function)	ToySolver.Simplex2
2 (Function)	ToySolver.LPSolver
getTrialLimitConf	ToySolver.SAT.PBO
getUB	ToySolver.Simplex2
getValue	ToySolver.Simplex2
getVarInfo	ToySolver.Data.MIP
getVarType	ToySolver.Data.MIP
goldenRatio	ToySolver.Data.AlgebraicNumber.Real
grevlex	ToySolver.Data.Polynomial
grlex	ToySolver.Data.Polynomial
GroupIndex	ToySolver.Text.GCNF
growTo	ToySolver.Data.Vec
Gt	ToySolver.Data.ArithRel, ToySolver.Data.LA, ToySolver.Data.FOL.Arith, ToySolver.Simplex2
gtR	ToySolver.FourierMotzkin.Core