SMT-RAT  24.02
Toolbox for Strategic and Parallel Satisfiability-Modulo-Theories Solving
Public Member Functions | Private Attributes | Friends
smtrat::cad::Sample Class Reference

#include <Sample.h>

Collaboration diagram for smtrat::cad::Sample:
Collaboration graph
[legend]

Public Member Functions

 Sample (const RAN &value)
 
 Sample (const RAN &value, bool isRoot)
 
 Sample (const RAN &value, std::size_t id)
 
const RAN & value () const
 
bool isRoot () const
 
void setIsRoot (bool isRoot)
 
const SampleLiftedWith & liftedWith () const
 
SampleLiftedWith & liftedWith ()
 
const SampleRootOf & rootOf () const
 
SampleRootOf & rootOf ()
 
const carl::Bitset & evaluatedWith () const
 
carl::Bitset & evaluatedWith ()
 
const carl::Bitset & evaluationResult () const
 
carl::Bitset & evaluationResult ()
 
auto getConflictingConstraints () const
 
bool hasConflictWithConstraint () const
 
void merge (const Sample &s)
 
bool operator< (const Sample &s) const
 
bool operator> (const Sample &s) const
 
bool operator== (const Sample &s) const
 

Private Attributes

RAN mValue
 
bool mIsRoot
 
SampleLiftedWith mLiftedWith
 
SampleRootOf mRootOf
 
carl::Bitset mEvaluatedWith
 
carl::Bitset mEvaluationResult
 

Friends

std::ostream & operator<< (std::ostream &os, const Sample &s)
 

Detailed Description

Definition at line 10 of file Sample.h.

Constructor & Destructor Documentation

◆ Sample() [1/3]

smtrat::cad::Sample::Sample ( const RAN &  value)
inlineexplicit

Definition at line 20 of file Sample.h.

Here is the call graph for this function:

◆ Sample() [2/3]

smtrat::cad::Sample::Sample ( const RAN &  value,
bool  isRoot 
)
inlineexplicit

Definition at line 23 of file Sample.h.

Here is the call graph for this function:

◆ Sample() [3/3]

smtrat::cad::Sample::Sample ( const RAN &  value,
std::size_t  id 
)
inlineexplicit

Definition at line 26 of file Sample.h.

Here is the call graph for this function:

Member Function Documentation

◆ evaluatedWith() [1/2]

carl::Bitset& smtrat::cad::Sample::evaluatedWith ( )
inline

Definition at line 56 of file Sample.h.

◆ evaluatedWith() [2/2]

const carl::Bitset& smtrat::cad::Sample::evaluatedWith ( ) const
inline

Definition at line 53 of file Sample.h.

Here is the caller graph for this function:

◆ evaluationResult() [1/2]

carl::Bitset& smtrat::cad::Sample::evaluationResult ( )
inline

Definition at line 62 of file Sample.h.

◆ evaluationResult() [2/2]

const carl::Bitset& smtrat::cad::Sample::evaluationResult ( ) const
inline

Definition at line 59 of file Sample.h.

Here is the caller graph for this function:

◆ getConflictingConstraints()

auto smtrat::cad::Sample::getConflictingConstraints ( ) const
inline

Definition at line 65 of file Sample.h.

Here is the caller graph for this function:

◆ hasConflictWithConstraint()

bool smtrat::cad::Sample::hasConflictWithConstraint ( ) const
inline

Definition at line 68 of file Sample.h.

Here is the call graph for this function:
Here is the caller graph for this function:

◆ isRoot()

bool smtrat::cad::Sample::isRoot ( ) const
inline

Definition at line 33 of file Sample.h.

Here is the caller graph for this function:

◆ liftedWith() [1/2]

SampleLiftedWith& smtrat::cad::Sample::liftedWith ( )
inline

Definition at line 42 of file Sample.h.

◆ liftedWith() [2/2]

const SampleLiftedWith& smtrat::cad::Sample::liftedWith ( ) const
inline

Definition at line 39 of file Sample.h.

Here is the caller graph for this function:

◆ merge()

void smtrat::cad::Sample::merge ( const Sample &  s)
inline

Definition at line 71 of file Sample.h.

Here is the call graph for this function:

◆ operator<()

bool smtrat::cad::Sample::operator< ( const Sample &  s) const
inline

Definition at line 77 of file Sample.h.

Here is the call graph for this function:

◆ operator==()

bool smtrat::cad::Sample::operator== ( const Sample &  s) const
inline

Definition at line 83 of file Sample.h.

Here is the call graph for this function:

◆ operator>()

bool smtrat::cad::Sample::operator> ( const Sample &  s) const
inline

Definition at line 80 of file Sample.h.

Here is the call graph for this function:

◆ rootOf() [1/2]

SampleRootOf& smtrat::cad::Sample::rootOf ( )
inline

Definition at line 49 of file Sample.h.

Here is the call graph for this function:

◆ rootOf() [2/2]

const SampleRootOf& smtrat::cad::Sample::rootOf ( ) const
inline

Definition at line 45 of file Sample.h.

Here is the call graph for this function:

◆ setIsRoot()

void smtrat::cad::Sample::setIsRoot ( bool  isRoot)
inline

Definition at line 36 of file Sample.h.

Here is the call graph for this function:
Here is the caller graph for this function:

◆ value()

const RAN& smtrat::cad::Sample::value ( ) const
inline

Definition at line 30 of file Sample.h.

Here is the caller graph for this function:

Friends And Related Function Documentation

◆ operator<<

std::ostream& operator<< ( std::ostream &  os,
const Sample &  s 
)
friend

Definition at line 87 of file Sample.h.

Field Documentation

◆ mEvaluatedWith

carl::Bitset smtrat::cad::Sample::mEvaluatedWith
private

Definition at line 16 of file Sample.h.

◆ mEvaluationResult

carl::Bitset smtrat::cad::Sample::mEvaluationResult
private

Definition at line 17 of file Sample.h.

◆ mIsRoot

bool smtrat::cad::Sample::mIsRoot
private

Definition at line 13 of file Sample.h.

◆ mLiftedWith

SampleLiftedWith smtrat::cad::Sample::mLiftedWith
private

Definition at line 14 of file Sample.h.

◆ mRootOf

SampleRootOf smtrat::cad::Sample::mRootOf
private

Definition at line 15 of file Sample.h.

◆ mValue

RAN smtrat::cad::Sample::mValue
private

Definition at line 12 of file Sample.h.

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