Clingo
Loading...
Searching...
No Matches
CppClingo::Input::Signed Class Reference

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.
 

Detailed Description

Simple class with a sign.


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