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

Represents a term of an original constraint and assigns him a rating variable if a weak separator is searched. More...

#include <Subtropical.h>

Public Member Functions

 Vertex (const TermT &term)
 
carl::Variable rating () const
 

Data Fields

const Rational coefficient
 Coefficient of the assigned term. More...
 
const carl::Monomial::Arg monomial
 Monomial of the assigned term. More...
 
carl::Variable m_rating
 Rating variable of the term for a weak separator. More...
 

Detailed Description

Represents a term of an original constraint and assigns him a rating variable if a weak separator is searched.

Definition at line 35 of file Subtropical.h.

Constructor & Destructor Documentation

◆ Vertex()

smtrat::subtropical::Vertex::Vertex ( const TermT &  term)
inline

Definition at line 43 of file Subtropical.h.

Member Function Documentation

◆ rating()

carl::Variable smtrat::subtropical::Vertex::rating ( ) const
inline

Definition at line 46 of file Subtropical.h.

Here is the caller graph for this function:

Field Documentation

◆ coefficient

const Rational smtrat::subtropical::Vertex::coefficient

Coefficient of the assigned term.

Definition at line 37 of file Subtropical.h.

◆ m_rating

carl::Variable smtrat::subtropical::Vertex::m_rating
mutable

Rating variable of the term for a weak separator.

Definition at line 41 of file Subtropical.h.

◆ monomial

const carl::Monomial::Arg smtrat::subtropical::Vertex::monomial

Monomial of the assigned term.

Definition at line 39 of file Subtropical.h.

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