|
Clingo
|
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. | |
A term of form coefficient times variable.
If the variable is the empty string, the term consists of a coefficient only.