Clasp::Model Struct Reference

Type for storing a model. More...

#include <enumerator.h>

Collaboration diagram for Clasp::Model:

Public Types
enum	Type { model_sat = 0, model_cons = 1, max_value = 1 }

Public Member Functions
bool	consequences () const
	True if this model stores current (cautious/brave) consequences. More...
ValueRep	value (Var v) const
	For sat models, value of v in model. Otherwise, undefined. More...
bool	isTrue (Literal p) const
	True if p is true in model or part of current consequences. More...

Public Attributes
uint64	num
const ValueVec *	values
const SharedMinimizeData *	costs
uint32	sId:16
uint32	type:14
uint32	opt: 1
uint32	sym: 1

Detailed Description

Type for storing a model.

Member Enumeration Documentation

enum Clasp::Model::Type

Enumerator
model_sat
model_cons
max_value

Member Function Documentation

bool Clasp::Model::consequences ( ) const

inline

True if this model stores current (cautious/brave) consequences.

bool Clasp::Model::isTrue ( Literal  p ) const

inline

True if p is true in model or part of current consequences.

Here is the call graph for this function:

ValueRep Clasp::Model::value ( Var  v ) const

inline

For sat models, value of v in model. Otherwise, undefined.

Member Data Documentation

const SharedMinimizeData* Clasp::Model::costs

uint64 Clasp::Model::num

uint32 Clasp::Model::opt

uint32 Clasp::Model::sId

uint32 Clasp::Model::sym

uint32 Clasp::Model::type

const ValueVec* Clasp::Model::values

---

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

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