Gringo::Term::SimplifyRet Struct Reference

#include <term.hh>

Collaboration diagram for Gringo::Term::SimplifyRet:

Public Types
enum	Type { UNTOUCHED, CONSTANT, LINEAR, REPLACE }

Public Member Functions
	SimplifyRet (SimplifyRet const &)=delete
	SimplifyRet (SimplifyRet &&x)
	SimplifyRet (Term &x, bool project)
	Reference to untouched term. More...
	SimplifyRet (std::unique_ptr< LinearTerm > &&x)
	Indicate replacement with linear term. More...
	SimplifyRet (UTerm &&x)
	Indicate replacement with arbitrary term. More...
	SimplifyRet (Value const &x)
	Indicate replacement with value. More...
bool	notNumeric () const
bool	constant () const
bool	isZero () const
LinearTerm &	lin ()
SimplifyRet &	update (UTerm &x)
	~SimplifyRet ()

Public Attributes
Type	type
bool	project = false
union {
Value   val
Term *   term
};

Member Enumeration Documentation

enum Gringo::Term::SimplifyRet::Type

Enumerator
UNTOUCHED
CONSTANT
LINEAR
REPLACE

Constructor & Destructor Documentation

Gringo::Term::SimplifyRet::SimplifyRet ( SimplifyRet const &  )

delete

Gringo::Term::SimplifyRet::SimplifyRet

(

SimplifyRet &&

x

)

Gringo::Term::SimplifyRet::SimplifyRet	(	Term &	x,
		bool	project
	)

Reference to untouched term.

Gringo::Term::SimplifyRet::SimplifyRet

(

std::unique_ptr< LinearTerm > &&

x

)

Indicate replacement with linear term.

Gringo::Term::SimplifyRet::SimplifyRet

(

UTerm &&

x

)

Indicate replacement with arbitrary term.

Gringo::Term::SimplifyRet::SimplifyRet

(

Value const &

x

)

Indicate replacement with value.

Gringo::Term::SimplifyRet::~SimplifyRet

(

)

Member Function Documentation

bool Gringo::Term::SimplifyRet::constant

(

)

const

bool Gringo::Term::SimplifyRet::isZero

(

)

const

Here is the call graph for this function:

LinearTerm & Gringo::Term::SimplifyRet::lin

(

)

bool Gringo::Term::SimplifyRet::notNumeric

(

)

const

Here is the call graph for this function:

Term::SimplifyRet & Gringo::Term::SimplifyRet::update

(

UTerm &

x

)

Here is the call graph for this function:

Member Data Documentation

union { ... }

bool Gringo::Term::SimplifyRet::project = false

Term* Gringo::Term::SimplifyRet::term

Type Gringo::Term::SimplifyRet::type

Value Gringo::Term::SimplifyRet::val

---

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

• /Users/danielbaeck/Dropbox/Uni Klagenfurt/Diplomarbeit/gringo44/libgringo/gringo/term.hh
• /Users/danielbaeck/Dropbox/Uni Klagenfurt/Diplomarbeit/gringo44/libgringo/src/term.cc