CppClingo::Input::IE Struct Reference

An inequality of form terms >= bound. More...

#include <iesolver.hh>

Public Attributes
IETermVec	terms
	The terms.
Number	bound
	The lower bound.

Friends
auto	operator<< (std::ostream &out, IE const &ie) -> std::ostream &
	Operator to print inequalities.

Detailed Description

An inequality of form terms >= bound.

---

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

• clingo/input/rewrite/iesolver.hh