The result of a simplification. More...

#include <optional.hh>

Public Member Functions
	ResultState (S state=S{}, std::optional< E > value=std::nullopt)
	Construct from state and value.

template<class F >
	ResultState (ResultState< F, S > const &res)
	Construct from compatible result state.

template<class F >
	ResultState (ResultState< F, S > &&res)
	Construct from compatible result state.

Public Attributes
S	state = S{}
	A truth value or state.

std::optional< E >	value = std::nullopt
	An optional rewritten expression.

Detailed Description

template<class E, class S = bool>
struct CppClingo::Util::ResultState< E, S >

The result of a simplification.

The result consists of a state resulting from simplification together with an optional value in case the expression has changed.

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

Public Member Functions