|
Clingo
|
Simple class with a sign. More...
#include <literal.hh>
Public Member Functions | |
| Signed (Sign sign) | |
| Construct with the given sign. | |
| auto | sign () const -> Sign |
| The sign of the class. | |
Friends | |
| auto | operator== (Signed const &a, Signed const &b) -> bool=default |
| Compare the signs. | |
| auto | operator<=> (Signed const &a, Signed const &b) -> std::strong_ordering=default |
| Compare the signs. | |
Simple class with a sign.