EulerState Class Reference

#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

Detailed Description

Definition at line 25 of file EulerState.h.

Constructor & Destructor Documentation

EulerState::EulerState ( const EulerState &  )

private

Member Function Documentation

void EulerState::allocateIdealAndEliminated ( size_t  varCount, size_t  capacity  )

private

void EulerState::compactEliminatedVariablesIfProfitable

(

)

Definition at line 196 of file EulerState.cpp.

EulerState * EulerState::construct ( const Ideal &  idealParam, Arena *  arena  )

static

Definition at line 28 of file EulerState.cpp.

EulerState * EulerState::construct ( const RawSquareFreeIdeal &  idealParam, Arena *  arena  )

static

Definition at line 43 of file EulerState.cpp.

void EulerState::deallocate ( )

private

void EulerState::flipSign ( )

inline

Definition at line 43 of file EulerState.h.

const Word* EulerState::getEliminatedVars ( ) const

inline

Definition at line 51 of file EulerState.h.

RawSquareFreeIdeal& EulerState::getIdeal ( )

inline

Definition at line 49 of file EulerState.h.

const RawSquareFreeIdeal& EulerState::getIdeal ( ) const

inline

Definition at line 50 of file EulerState.h.

size_t EulerState::getNonEliminatedVarCount

(

)

const

Definition at line 240 of file EulerState.cpp.

EulerState* EulerState::getParent ( )

inline

Definition at line 48 of file EulerState.h.

int EulerState::getSign ( ) const

inline

Definition at line 44 of file EulerState.h.

size_t EulerState::getVarCount ( ) const

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.

EulerState * EulerState::rawConstruct ( size_t  varCount, size_t  capacity, Arena *  arena  )

staticprivate

Definition at line 57 of file EulerState.cpp.

void EulerState::removeGenerator ( size_t  index )

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.

void EulerState::toZero ( )

private

Definition at line 233 of file EulerState.cpp.

void EulerState::transpose

(

)

Definition at line 190 of file EulerState.cpp.

Member Data Documentation

Arena* EulerState::_alloc

private

Definition at line 79 of file EulerState.h.

EulerState* EulerState::_parent

private

Definition at line 80 of file EulerState.h.

Word* EulerState::eliminated

private

Definition at line 77 of file EulerState.h.

RawSquareFreeIdeal* EulerState::ideal

private

Definition at line 76 of file EulerState.h.

int EulerState::sign

private

Definition at line 78 of file EulerState.h.

---

The documentation for this class was generated from the following files:

• src/EulerState.h
• src/EulerState.cpp