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.