#include <BigattiState.h>
Definition at line 27 of file BigattiState.h.
◆ BigattiState()
◆ addStep()
void BigattiState::addStep |
( |
const Term & |
term | ) |
|
◆ colonStep()
void BigattiState::colonStep |
( |
const Term & |
term | ) |
|
◆ dispose()
void BigattiState::dispose |
( |
| ) |
|
|
virtual |
Called when the task is no longer used but run has not and will not be called.
This can happen from a destructor being called due to an exception, so dispose must not throw an exception under any circumstances.
Implements Task.
Definition at line 94 of file BigattiState.cpp.
◆ getIdeal() [1/2]
Ideal& BigattiState::getIdeal |
( |
| ) |
|
◆ getIdeal() [2/2]
Ideal & BigattiState::getIdeal |
( |
| ) |
const |
◆ getMedianPositiveExponentOf()
Exponent BigattiState::getMedianPositiveExponentOf |
( |
size_t |
var | ) |
|
◆ getMultiply() [1/2]
Term& BigattiState::getMultiply |
( |
| ) |
|
◆ getMultiply() [2/2]
Term & BigattiState::getMultiply |
( |
| ) |
const |
◆ getTypicalExponent()
size_t BigattiState::getTypicalExponent |
( |
size_t & |
var, |
|
|
Exponent & |
exp |
|
) |
| |
◆ getVarCount()
size_t BigattiState::getVarCount |
( |
| ) |
const |
◆ print() [1/2]
void BigattiState::print |
( |
FILE * |
out | ) |
|
◆ print() [2/2]
void BigattiState::print |
( |
ostream & |
out | ) |
|
◆ run()
Does whatever work this task represents.
The parameter can be used to schedule additional tasks.
Implements Task.
Definition at line 90 of file BigattiState.cpp.
◆ singleDegreeSort()
void BigattiState::singleDegreeSort |
( |
size_t |
var | ) |
|
◆ _algorithm
◆ _ideal
Ideal BigattiState::_ideal |
|
private |
◆ _multiply
Term BigattiState::_multiply |
|
private |
The documentation for this class was generated from the following files: