Frobby
0.9.5
Main Page
Related Pages
Modules
Namespaces
Namespace List
Namespace Members
All
_
a
c
d
e
g
h
i
l
m
n
o
p
r
s
t
u
v
w
Functions
_
a
c
d
e
g
h
i
l
m
n
o
p
r
s
t
u
w
Variables
Enumerator
Classes
Class List
Class Hierarchy
Class Members
All
_
a
b
c
d
e
f
g
h
i
j
k
l
m
n
o
p
r
s
t
u
v
w
x
z
~
Functions
_
a
b
c
d
e
f
g
h
i
j
k
l
m
n
o
p
r
s
t
u
v
w
x
z
~
Variables
_
c
d
e
f
i
l
m
n
p
r
s
t
Typedefs
_
a
c
d
f
h
i
k
p
r
s
t
v
Enumerations
Enumerator
Related Functions
Files
File List
File Members
All
_
a
b
c
d
e
f
g
h
i
l
m
n
o
p
r
s
t
u
v
w
Functions
_
a
c
d
e
f
g
h
i
l
m
n
o
p
r
s
t
u
v
Variables
Typedefs
Enumerations
Enumerator
Macros
a
c
d
f
g
i
m
o
s
t
HilbertStrategy Member List
This is the complete list of members for
HilbertStrategy
, including all inherited members.
_consumer
HilbertStrategy
private
_consumerCache
HilbertStrategy
private
_consumerCacheDeleter
HilbertStrategy
private
_indepSplitter
HilbertStrategy
private
_pivotTmp
SliceStrategyCommon
private
_sliceCache
SliceStrategyCommon
private
_split
SliceStrategyCommon
protected
_tasks
SliceStrategyCommon
protected
_useIndependence
HilbertStrategy
private
_useSimplification
SliceStrategyCommon
private
allocateSlice
()
HilbertStrategy
private
virtual
debugIsValidSlice
(Slice *slice)
HilbertStrategy
private
virtual
freeConsumer
(auto_ptr< HilbertIndependenceConsumer > consumer)
HilbertStrategy
freeSlice
(auto_ptr< Slice > slice)
SliceStrategyCommon
virtual
getPivot
(Term &term, Slice &slice)
HilbertStrategy
private
virtual
getUseIndependence
() const
SliceStrategyCommon
protected
getUseSimplification
() const
SliceStrategyCommon
protected
virtual
HilbertStrategy
(CoefTermConsumer *consumer, const SplitStrategy *splitStrategy)
HilbertStrategy
independenceSplit
(auto_ptr< Slice > slice)
HilbertStrategy
private
newConsumer
()
HilbertStrategy
private
newHilbertSlice
()
HilbertStrategy
private
newSlice
()
SliceStrategyCommon
protected
pivotSplit
(auto_ptr< Slice > slice)
SliceStrategyCommon
protected
virtual
processSlice
(TaskEngine &tasks, auto_ptr< Slice > slice)
HilbertStrategy
virtual
run
(const Ideal &ideal)
HilbertStrategy
virtual
setUseIndependence
(bool use)
SliceStrategyCommon
virtual
setUseSimplification
(bool use)
SliceStrategyCommon
virtual
simplify
(Slice &slice)
SliceStrategyCommon
protected
virtual
SliceStrategyCommon
(const SplitStrategy *splitStrategy)
SliceStrategyCommon
~SliceStrategy
()
SliceStrategy
virtual
~SliceStrategyCommon
()
SliceStrategyCommon
virtual
Generated by
1.9.1