CaDiCaL::probe_negated_noccs_rank Struct Reference

Collaboration diagram for CaDiCaL::probe_negated_noccs_rank:

Public Types
typedef size_t	Type
typedef size_t	Type

Public Member Functions
	probe_negated_noccs_rank (Internal *i)
Type	operator() (int a) const
	probe_negated_noccs_rank (Internal *i)
Type	operator() (int a) const

Public Attributes
Internal *	internal

Detailed Description

Definition at line 88 of file cadical_lookahead.cpp.

Member Typedef Documentation

Type [1/2]

typedef size_t CaDiCaL::probe_negated_noccs_rank::Type

Definition at line 91 of file cadical_lookahead.cpp.

Type [2/2]

typedef size_t CaDiCaL::probe_negated_noccs_rank::Type

Definition at line 631 of file cadical_probe.cpp.

Constructor & Destructor Documentation

probe_negated_noccs_rank() [1/2]

CaDiCaL::probe_negated_noccs_rank::probe_negated_noccs_rank ( Internal * i )

inline

Definition at line 90 of file cadical_lookahead.cpp.

: internal (i) {}

probe_negated_noccs_rank() [2/2]

CaDiCaL::probe_negated_noccs_rank::probe_negated_noccs_rank ( Internal * i )

inline

Definition at line 630 of file cadical_probe.cpp.

: internal (i) {}

Member Function Documentation

operator()() [1/2]

Type CaDiCaL::probe_negated_noccs_rank::operator() ( int a ) const

inline

Definition at line 92 of file cadical_lookahead.cpp.

{ return internal->noccs (-a); }

operator()() [2/2]

Type CaDiCaL::probe_negated_noccs_rank::operator() ( int a ) const

inline

Definition at line 632 of file cadical_probe.cpp.

{ return internal->noccs (-a); }

Member Data Documentation

internal

Internal * CaDiCaL::probe_negated_noccs_rank::internal

Definition at line 89 of file cadical_lookahead.cpp.

---

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

• src/sat/cadical/cadical_lookahead.cpp
• src/sat/cadical/cadical_probe.cpp