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.