#include <ContractionCandidateManager.h>
◆ ContractionCandidateManager()
smtrat::icp::ContractionCandidateManager::ContractionCandidateManager |
( |
| ) |
|
◆ ~ContractionCandidateManager()
smtrat::icp::ContractionCandidateManager::~ContractionCandidateManager |
( |
| ) |
|
|
inline |
◆ candidates()
◆ closure()
Calculates the closure of a certain candidate according to the variables contained.
- Parameters
-
- Returns
- the set of candidates in the closure of _candidate
Definition at line 37 of file ContractionCandidateManager.cpp.
◆ createCandidate()
ContractionCandidate * smtrat::icp::ContractionCandidateManager::createCandidate |
( |
carl::Variable |
_lhs, |
|
|
const Poly |
_rhs, |
|
|
const ConstraintT & |
_constraint, |
|
|
carl::Variable |
_derivationVar, |
|
|
Contractor< carl::SimpleNewton > & |
_contractor, |
|
|
bool |
_usePropagation |
|
) |
| |
Constructor & Functions.
Creates a new candidate with an unique id.
- Parameters
-
_lhs | The slack/nonlinear variable which represents the constraint |
_constraint | The constraint which is to be replaced |
_derivationVar | The variable from which the derivative is created when performing contraction |
_origin | The pointer to the original formula, needed for assertions and removals of subformulas |
- Returns
- a pointer to the created contraction candidate
Definition at line 12 of file ContractionCandidateManager.cpp.
◆ getCandidate()
Returns the contraction candidate for the given id.
- Parameters
-
- Returns
- the pointer to the contraction candidate
Definition at line 28 of file ContractionCandidateManager.cpp.
◆ getId()
unsigned smtrat::icp::ContractionCandidateManager::getId |
( |
const ContractionCandidate *const |
_candidate | ) |
const |
Returns the id of the given contraction candidate.
- Parameters
-
- Returns
- id of the candidate
◆ mCandidates
◆ mCurrentId
unsigned smtrat::icp::ContractionCandidateManager::mCurrentId |
|
private |
The documentation for this class was generated from the following files: