SMT-RAT  24.02
Toolbox for Strategic and Parallel Satisfiability-Modulo-Theories Solving
Public Member Functions | Data Fields
smtrat::RationalCapsule Class Reference

#include <RationalCapsule.h>

Public Member Functions

 RationalCapsule (const Rational &aRational, const Rational &bRational, const Rational &cRational)
 
const Rational & getARational () const
 
const Rational & getBRational () const
 
const Rational & getCRational () const
 

Data Fields

Rational aRational = aRational
 
Rational bRational = bRational
 
Rational cRational = cRational
 

Detailed Description

Definition at line 7 of file RationalCapsule.h.

Constructor & Destructor Documentation

◆ RationalCapsule()

smtrat::RationalCapsule::RationalCapsule ( const Rational &  aRational,
const Rational &  bRational,
const Rational &  cRational 
)

Definition at line 5 of file RationalCapsule.cpp.

Member Function Documentation

◆ getARational()

const smtrat::Rational & smtrat::RationalCapsule::getARational ( ) const

Definition at line 9 of file RationalCapsule.cpp.

Here is the caller graph for this function:

◆ getBRational()

const smtrat::Rational & smtrat::RationalCapsule::getBRational ( ) const

Definition at line 13 of file RationalCapsule.cpp.

Here is the caller graph for this function:

◆ getCRational()

const smtrat::Rational & smtrat::RationalCapsule::getCRational ( ) const

Definition at line 17 of file RationalCapsule.cpp.

Here is the caller graph for this function:

Field Documentation

◆ aRational

Rational smtrat::RationalCapsule::aRational = aRational

Definition at line 11 of file RationalCapsule.h.

◆ bRational

Rational smtrat::RationalCapsule::bRational = bRational

Definition at line 12 of file RationalCapsule.h.

◆ cRational

Rational smtrat::RationalCapsule::cRational = cRational

Definition at line 13 of file RationalCapsule.h.

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