Clasp::Constraint::PropResult Struct Reference

Type used as return type for Constraint::propagate. More...

#include <constraint.h>

Collaboration diagram for Clasp::Constraint::PropResult:

Public Member Functions
	PropResult (bool a_ok=true, bool a_keepWatch=true)

Public Attributes
bool	ok
bool	keepWatch

Detailed Description

Type used as return type for Constraint::propagate.

Constructor & Destructor Documentation

Clasp::Constraint::PropResult::PropResult ( bool  a_ok = true, bool  a_keepWatch = true  )

inlineexplicit

Member Data Documentation

bool Clasp::Constraint::PropResult::keepWatch

true if constraint wants to keep the current watch

bool Clasp::Constraint::PropResult::ok

true if propagation completes without conflict

---

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

• /Users/danielbaeck/Dropbox/Uni Klagenfurt/Diplomarbeit/gringo44/libclasp/clasp/constraint.h