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

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 - R

Rat	ToySolver.FourierMotzkin.Core
RawModel	ToySolver.Simplex2
rawModel	ToySolver.Simplex2
read	ToySolver.Data.Vec
readInt	ToySolver.Internal.TextUtil
readUnsignedInteger	ToySolver.Internal.TextUtil
realPart
1 (Function)	ToySolver.Data.Delta
2 (Function)	ToySolver.Data.AlgebraicNumber.Complex
realRoots	ToySolver.Data.AlgebraicNumber.Real
realRootsEx	ToySolver.Data.AlgebraicNumber.Real
reduce	ToySolver.Data.Polynomial
reduceGBasis	ToySolver.Data.Polynomial.GroebnerBasis
refineIsolatingInterval	ToySolver.Data.AlgebraicNumber.Real
Rel
1 (Type/Class)	ToySolver.Data.ArithRel, ToySolver.Data.LA, ToySolver.Data.FOL.Arith
2 (Data Constructor)	ToySolver.Data.ArithRel, ToySolver.Data.LA, ToySolver.Data.FOL.Arith
rel	ToySolver.Data.ArithRel, ToySolver.Data.LA, ToySolver.Data.FOL.Arith
RelOp
1 (Type/Class)	ToySolver.Data.MIP
2 (Type/Class)	ToySolver.Data.ArithRel, ToySolver.Data.LA, ToySolver.Data.FOL.Arith, ToySolver.Simplex2
render
1 (Function)	ToySolver.Text.SDPFile
2 (Function)	ToySolver.Text.GurobiSol
3 (Function)	ToySolver.Text.MPSFile
4 (Function)	ToySolver.Text.LPFile
renderSparse	ToySolver.Text.SDPFile
resize	ToySolver.Data.Vec
resizeCapacity	ToySolver.Data.Vec
resizeHeapCapacity
1 (Function)	ToySolver.Internal.Data.IndexedPriorityQueue
2 (Function)	ToySolver.Internal.Data.PriorityQueue
resizeTableCapacity	ToySolver.Internal.Data.IndexedPriorityQueue
resizeVarCapacity	ToySolver.SAT
RestartStrategy	ToySolver.SAT
revForM	ToySolver.Internal.Util
revlex	ToySolver.Data.Polynomial
revMapM	ToySolver.Internal.Util
revSequence	ToySolver.Internal.Util
rootAdd	ToySolver.Data.AlgebraicNumber.Root
rootIndex	ToySolver.Data.AlgebraicNumber.Real
rootMul	ToySolver.Data.AlgebraicNumber.Root
rootNthRoot	ToySolver.Data.AlgebraicNumber.Root
RootOf	ToySolver.CAD
rootRecip	ToySolver.Data.AlgebraicNumber.Root
rootScale	ToySolver.Data.AlgebraicNumber.Root
rootShift	ToySolver.Data.AlgebraicNumber.Root
rootSimpPoly	ToySolver.Data.AlgebraicNumber.Root
Row	ToySolver.Simplex
RowIndex	ToySolver.Simplex
runProcessWithOutputCallback	ToySolver.Internal.ProcessUtil