CppClingo::Input::StmHeuristic Class Reference

A heuristic statement. More...

#include <statement.hh>

Inheritance diagram for CppClingo::Input::StmHeuristic:

Public Member Functions
	StmHeuristic (Location loc, Term atom, BdLitArray body, Term weight, std::optional< Term > prio, Term type)
	Construct a heuristic statement.
	StmHeuristic (Location loc, Term atom, BdLitArray body, Term weight, Term prio, Term type)
	Construct a heuristic statement.
	StmHeuristic (Location loc, Term atom, BdLitArray body, Term weight, Term type)
	Construct a heuristic statement.
auto	loc () const -> Location const &
	The location of the statement.
auto	atom () const -> Term const &
	The atom to modify.
auto	body () const -> BdLitArray const &
	The body.
auto	weight () const -> Term const &
	The weight.
auto	prio () const -> std::optional< Term > const &
	The optional priority.
auto	type () const -> Term const &
	The type of the heuristic modification.
Public Member Functions inherited from CppClingo::Util::Record::Base< Rec >
template<auto tag>
auto	get_value () const -> decltype(auto)
	Get the attribute with the given tag.
template<class... Args> requires ValidArguments<Rec, Args...>
auto	update (Args &&...args) const
	See update_record().
template<class... Args> requires ValidArguments<Rec, Args...>
auto	rewrite (Args &&...args) const
	See rewrite_record().
auto	equal (Base const &other) const -> bool
	Equality compare to records.
auto	compare (Base const &other) const -> std::strong_ordering
	Compare to records.
auto	hash () const -> size_t
	Compute the hash of the record.

Static Public Member Functions
static constexpr auto	attributes ()
	The record attributes.

Detailed Description

A heuristic statement.

Example: #heuristic p(X). [sign,false].

---

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

• clingo/input/statement.hh