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
IO
CoCoA4IdealWriter
IO::CoCoA4IdealWriter Member List
This is the complete list of members for
IO::CoCoA4IdealWriter
, including all inherited members.
_firstGenerator
IO::IdealWriter
private
_firstIdeal
IO::IdealWriter
private
_names
IO::IdealWriter
private
_out
IO::IdealWriter
private
beginConsuming
()
IO::IdealWriter
virtual
BigTermConsumer::beginConsuming
(const VarNames &names)
BigTermConsumer
beginConsumingList
()
IO::IdealWriter
virtual
CoCoA4IdealWriter
(FILE *out)
IO::CoCoA4IdealWriter
inline
consume
(const Term &term, const TermTranslator &translator)
IO::IdealWriter
virtual
consume
(const vector< mpz_class > &term)
IO::IdealWriter
virtual
consume
(const BigIdeal &ideal)
IO::IdealWriter
virtual
BigTermConsumer::consume
(const Term &term)
BigTermConsumer
virtual
BigTermConsumer::consume
(auto_ptr< BigIdeal > ideal)
BigTermConsumer
virtual
TermConsumer::consume
(const Ideal &ideal)
TermConsumer
consumeRing
(const VarNames &names)
IO::IdealWriter
virtual
doneConsuming
()
IO::IdealWriter
virtual
doneConsumingList
()
IO::IdealWriter
virtual
doWriteEmptyList
()
IO::CoCoA4IdealWriter
inline
private
virtual
doWriteFooter
(bool wasZeroIdeal)
IO::CoCoA4IdealWriter
inline
private
virtual
doWriteHeader
(bool first)
IO::CoCoA4IdealWriter
inline
private
virtual
doWriteTerm
(const Term &term, const TermTranslator &translator, bool first)
IO::CoCoA4IdealWriter
inline
private
virtual
doWriteTerm
(const vector< mpz_class > &term, bool first)
IO::CoCoA4IdealWriter
inline
private
virtual
getFile
()
IO::IdealWriter
inline
getNames
()
IO::IdealWriter
inline
IdealWriter
(FILE *out)
IO::IdealWriter
~BigTermConsumer
()
BigTermConsumer
virtual
~TermConsumer
()
TermConsumer
virtual
Generated by
1.9.1