CppClingo::Input::IESolver Class Reference

A (partial) solver for inequalities. More...

#include <iesolver.hh>

Public Member Functions
	IESolver (IESolver *parent=nullptr)
	Construct an IESolver with an optional parent.
void	add (IE ie)
	Add the given inequality to the solver.
auto	compute (Logger &log) -> bool
	Compute the bounds of variables in added inequalities.
auto	domain () const -> IEDomain const &
	Get the domains of variables.
auto	strengthens (String var) const -> bool
	Return true if the solver strengthens the domain of the given variable.

Detailed Description

A (partial) solver for inequalities.

Member Function Documentation

compute()

auto CppClingo::Input::IESolver::compute

(

Logger &

log

)

-> bool

Compute the bounds of variables in added inequalities.

Returns false if the inequalities are not satisfiable.

---

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

• clingo/input/rewrite/iesolver.hh