CaDiCaL::Flags Struct Reference

#include <flags.hpp>

Public Types
enum	{   UNUSED = 0 , ACTIVE = 1 , FIXED = 2 , ELIMINATED = 3 ,   SUBSTITUTED = 4 , PURE = 5 }

Public Member Functions
	Flags ()
bool	unused () const
bool	active () const
bool	fixed () const
bool	eliminated () const
bool	substituted () const
bool	pure () const
void	copy (Flags &dst) const

Public Attributes
bool	seen: 1
bool	keep: 1
bool	poison: 1
bool	removable: 1
bool	shrinkable: 1
bool	added: 1
bool	elim: 1
bool	subsume: 1
bool	ternary: 1
bool	sweep: 1
bool	blockable: 1
unsigned char	marked_signed: 2
unsigned char	factor: 2
unsigned char	block: 2
unsigned char	skip: 2
unsigned char	assumed: 2
unsigned char	failed: 2
unsigned char	status: 3

Detailed Description

Definition at line 10 of file flags.hpp.

Member Enumeration Documentation

anonymous enum

anonymous enum

Enumerator
UNUSED
ACTIVE
FIXED
ELIMINATED
SUBSTITUTED
PURE

Definition at line 47 of file flags.hpp.

       {
    UNUSED = 0,
    ACTIVE = 1,
    FIXED = 2,
    ELIMINATED = 3,
    SUBSTITUTED = 4,
    PURE = 5
  };

Constructor & Destructor Documentation

Flags()

CaDiCaL::Flags::Flags ( )

inline

Definition at line 60 of file flags.hpp.

           {
    seen = keep = poison = removable = shrinkable = added = sweep = false;
    subsume = elim = ternary = true;
    block = 3u;
    skip = assumed = failed = marked_signed = factor = 0;
    status = UNUSED;
  }

Here is the caller graph for this function:

Member Function Documentation

active()

bool CaDiCaL::Flags::active ( ) const

inline

Definition at line 69 of file flags.hpp.

{ return status == ACTIVE; }

Here is the caller graph for this function:

copy()

void CaDiCaL::Flags::copy ( Flags & dst ) const

inline

Definition at line 79 of file flags.hpp.

                               {
    dst.elim = elim;
    dst.subsume = subsume;
    dst.ternary = ternary;
    dst.block = block;
  }

Here is the call graph for this function:

Here is the caller graph for this function:

eliminated()

bool CaDiCaL::Flags::eliminated ( ) const

inline

Definition at line 71 of file flags.hpp.

{ return status == ELIMINATED; }

Here is the caller graph for this function:

fixed()

bool CaDiCaL::Flags::fixed ( ) const

inline

Definition at line 70 of file flags.hpp.

{ return status == FIXED; }

Here is the caller graph for this function:

pure()

bool CaDiCaL::Flags::pure ( ) const

inline

Definition at line 73 of file flags.hpp.

{ return status == PURE; }

Here is the caller graph for this function:

substituted()

bool CaDiCaL::Flags::substituted ( ) const

inline

Definition at line 72 of file flags.hpp.

{ return status == SUBSTITUTED; }

Here is the caller graph for this function:

unused()

bool CaDiCaL::Flags::unused ( ) const

inline

Definition at line 68 of file flags.hpp.

{ return status == UNUSED; }

Here is the caller graph for this function:

Member Data Documentation

added

bool CaDiCaL::Flags::added

Definition at line 19 of file flags.hpp.

assumed

unsigned char CaDiCaL::Flags::assumed

Definition at line 42 of file flags.hpp.

block

unsigned char CaDiCaL::Flags::block

Definition at line 37 of file flags.hpp.

blockable

bool CaDiCaL::Flags::blockable

Definition at line 29 of file flags.hpp.

elim

bool CaDiCaL::Flags::elim

Definition at line 25 of file flags.hpp.

factor

unsigned char CaDiCaL::Flags::factor

Definition at line 33 of file flags.hpp.

failed

unsigned char CaDiCaL::Flags::failed

Definition at line 43 of file flags.hpp.

keep

bool CaDiCaL::Flags::keep

Definition at line 15 of file flags.hpp.

marked_signed

unsigned char CaDiCaL::Flags::marked_signed

Definition at line 32 of file flags.hpp.

poison

bool CaDiCaL::Flags::poison

Definition at line 16 of file flags.hpp.

removable

bool CaDiCaL::Flags::removable

Definition at line 17 of file flags.hpp.

seen

bool CaDiCaL::Flags::seen

Definition at line 14 of file flags.hpp.

shrinkable

bool CaDiCaL::Flags::shrinkable

Definition at line 18 of file flags.hpp.

skip

unsigned char CaDiCaL::Flags::skip

Definition at line 38 of file flags.hpp.

status

unsigned char CaDiCaL::Flags::status

Definition at line 56 of file flags.hpp.

subsume

bool CaDiCaL::Flags::subsume

Definition at line 26 of file flags.hpp.

sweep

bool CaDiCaL::Flags::sweep

Definition at line 28 of file flags.hpp.

ternary

bool CaDiCaL::Flags::ternary

Definition at line 27 of file flags.hpp.

---

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

• src/sat/cadical/flags.hpp