Frobby
0.9.0
|
Public Member Functions | |
FrobbyIdealHelper (size_t variableCount) | |
Static Public Member Functions | |
static const BigIdeal & | getIdeal (const Frobby::Ideal &ideal) |
Private Attributes | |
BigIdeal | _ideal |
size_t | _atVariable |
Friends | |
class | Frobby::Ideal |
Definition at line 174 of file frobby.cpp.
|
inline |
Definition at line 176 of file frobby.cpp.
|
inlinestatic |
Definition at line 181 of file frobby.cpp.
|
friend |
Definition at line 186 of file frobby.cpp.
|
private |
Definition at line 189 of file frobby.cpp.
|
private |
Definition at line 188 of file frobby.cpp.