Frobby
0.9.5
|
#include <EulerState.h>
Public Member Functions | |
EulerState * | inPlaceStdSplit (size_t pivotVar) |
EulerState * | inPlaceStdSplit (Word *pivot) |
EulerState * | inPlaceGenSplit (size_t pivotIndex) |
bool | toColonSubState (const Word *pivot) |
bool | toColonSubState (size_t pivotVar) |
void | toColonSubStateNoReminimizeNecessary (size_t pivotVar) |
void | toColonSubStateNoReminimizeNecessary (Word *pivot) |
EulerState * | makeSumSubState (size_t pivotVar) |
EulerState * | makeSumSubState (Word *pivot) |
void | flipSign () |
int | getSign () const |
void | transpose () |
EulerState * | getParent () |
RawSquareFreeIdeal & | getIdeal () |
const RawSquareFreeIdeal & | getIdeal () const |
const Word * | getEliminatedVars () const |
size_t | getVarCount () const |
size_t | getNonEliminatedVarCount () const |
void | removeGenerator (size_t index) |
void | compactEliminatedVariablesIfProfitable () |
void | print (FILE *out) |
Static Public Member Functions | |
static EulerState * | construct (const Ideal &idealParam, Arena *arena) |
static EulerState * | construct (const RawSquareFreeIdeal &idealParam, Arena *arena) |
Private Member Functions | |
EulerState (const EulerState &) | |
void | toZero () |
void | allocateIdealAndEliminated (size_t varCount, size_t capacity) |
void | deallocate () |
Static Private Member Functions | |
static EulerState * | rawConstruct (size_t varCount, size_t capacity, Arena *arena) |
Private Attributes | |
RawSquareFreeIdeal * | ideal |
Word * | eliminated |
int | sign |
Arena * | _alloc |
EulerState * | _parent |
Definition at line 25 of file EulerState.h.
|
private |
|
private |
void EulerState::compactEliminatedVariablesIfProfitable | ( | ) |
Definition at line 196 of file EulerState.cpp.
|
static |
Definition at line 28 of file EulerState.cpp.
|
static |
Definition at line 42 of file EulerState.cpp.
|
private |
|
inline |
Definition at line 43 of file EulerState.h.
|
inline |
Definition at line 51 of file EulerState.h.
|
inline |
Definition at line 49 of file EulerState.h.
|
inline |
Definition at line 50 of file EulerState.h.
size_t EulerState::getNonEliminatedVarCount | ( | ) | const |
Definition at line 240 of file EulerState.cpp.
|
inline |
Definition at line 48 of file EulerState.h.
|
inline |
Definition at line 44 of file EulerState.h.
|
inline |
Definition at line 52 of file EulerState.h.
EulerState * EulerState::inPlaceGenSplit | ( | size_t | pivotIndex | ) |
Definition at line 95 of file EulerState.cpp.
EulerState * EulerState::inPlaceStdSplit | ( | size_t | pivotVar | ) |
Definition at line 81 of file EulerState.cpp.
EulerState * EulerState::inPlaceStdSplit | ( | Word * | pivot | ) |
Definition at line 88 of file EulerState.cpp.
EulerState * EulerState::makeSumSubState | ( | size_t | pivotVar | ) |
Definition at line 158 of file EulerState.cpp.
EulerState * EulerState::makeSumSubState | ( | Word * | pivot | ) |
Definition at line 174 of file EulerState.cpp.
void EulerState::print | ( | FILE * | out | ) |
Definition at line 206 of file EulerState.cpp.
|
staticprivate |
Definition at line 57 of file EulerState.cpp.
|
inline |
Definition at line 55 of file EulerState.h.
bool EulerState::toColonSubState | ( | const Word * | pivot | ) |
Definition at line 118 of file EulerState.cpp.
bool EulerState::toColonSubState | ( | size_t | pivotVar | ) |
Definition at line 129 of file EulerState.cpp.
void EulerState::toColonSubStateNoReminimizeNecessary | ( | size_t | pivotVar | ) |
Definition at line 140 of file EulerState.cpp.
void EulerState::toColonSubStateNoReminimizeNecessary | ( | Word * | pivot | ) |
Definition at line 149 of file EulerState.cpp.
|
private |
Definition at line 233 of file EulerState.cpp.
void EulerState::transpose | ( | ) |
Definition at line 190 of file EulerState.cpp.
|
private |
Definition at line 79 of file EulerState.h.
|
private |
Definition at line 80 of file EulerState.h.
|
private |
Definition at line 77 of file EulerState.h.
|
private |
Definition at line 76 of file EulerState.h.
|
private |
Definition at line 78 of file EulerState.h.