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

#include <VariableCapsule.h>

Public Member Functions

 VariableCapsule (const carl::Variable &xVariable, const carl::Variable &yVariable, const carl::Variable &zVariable)
 
const carl::Variable & getXVariable () const
 
const carl::Variable & getYVariable () const
 
const carl::Variable & getZVariable () const
 

Data Fields

carl::Variable xVariable
 
carl::Variable yVariable
 
carl::Variable zVariable
 

Detailed Description

Definition at line 8 of file VariableCapsule.h.

Constructor & Destructor Documentation

◆ VariableCapsule()

smtrat::VariableCapsule::VariableCapsule ( const carl::Variable &  xVariable,
const carl::Variable &  yVariable,
const carl::Variable &  zVariable 
)

Definition at line 5 of file VariableCapsule.cpp.

Member Function Documentation

◆ getXVariable()

const carl::Variable & smtrat::VariableCapsule::getXVariable ( ) const

Definition at line 9 of file VariableCapsule.cpp.

Here is the caller graph for this function:

◆ getYVariable()

const carl::Variable & smtrat::VariableCapsule::getYVariable ( ) const

Definition at line 13 of file VariableCapsule.cpp.

Here is the caller graph for this function:

◆ getZVariable()

const carl::Variable & smtrat::VariableCapsule::getZVariable ( ) const

Definition at line 17 of file VariableCapsule.cpp.

Here is the caller graph for this function:

Field Documentation

◆ xVariable

carl::Variable smtrat::VariableCapsule::xVariable

Definition at line 13 of file VariableCapsule.h.

◆ yVariable

carl::Variable smtrat::VariableCapsule::yVariable

Definition at line 14 of file VariableCapsule.h.

◆ zVariable

carl::Variable smtrat::VariableCapsule::zVariable

Definition at line 15 of file VariableCapsule.h.

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