faudes::RPState Class Reference

Detailed Description

Definition at line 273 of file omg_rabinfnct.cpp.

Public Member Functions

 RPState ()
 
 RPState (const Idx &rq1, const Idx &rq2, const bool &rf)
 
std::string Str (void)
 
bool operator< (const RPState &other) const
 

Public Attributes

Idx q1
 
Idx q2
 
bool m1required
 
bool mresolved
 

Constructor & Destructor Documentation

◆ RPState() [1/2]

faudes::RPState::RPState ( )
inline

Definition at line 276 of file omg_rabinfnct.cpp.

◆ RPState() [2/2]

faudes::RPState::RPState ( const Idx rq1,
const Idx rq2,
const bool &  rf 
)
inline

Definition at line 277 of file omg_rabinfnct.cpp.

Member Function Documentation

◆ operator<()

bool faudes::RPState::operator< ( const RPState other) const
inline

Definition at line 282 of file omg_rabinfnct.cpp.

◆ Str()

std::string faudes::RPState::Str ( void  )
inline

Definition at line 279 of file omg_rabinfnct.cpp.

Member Data Documentation

◆ m1required

bool faudes::RPState::m1required

Definition at line 295 of file omg_rabinfnct.cpp.

◆ mresolved

bool faudes::RPState::mresolved

Definition at line 296 of file omg_rabinfnct.cpp.

◆ q1

Idx faudes::RPState::q1

Definition at line 293 of file omg_rabinfnct.cpp.

◆ q2

Idx faudes::RPState::q2

Definition at line 294 of file omg_rabinfnct.cpp.


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

libFAUDES 2.33l --- 2025.09.16 --- c++ api documentaion by doxygen