Clingo
Loading...
Searching...
No Matches
CppClingo::Input::IETerm Struct Reference

A term of form coefficient times variable. More...

#include <iesolver.hh>

Public Attributes

Number coefficient
 The integer coefficient of the term.
 
String variable
 The variable of the term or the empty string if there is no variable.
 

Friends

auto operator<< (std::ostream &out, IETerm const &term) -> std::ostream &
 Operator to print terms.
 
auto operator== (IETerm const &a, IETerm const &b) -> bool=default
 Equality compare two terms.
 
auto operator<=> (IETerm const &a, IETerm const &b)
 Compare two terms.
 

Detailed Description

A term of form coefficient times variable.

If the variable is the empty string, the term consists of a coefficient only.


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