Clasp::Model Struct Reference

Type for storing a model. More...

#include <enumerator.h>

List of all members.

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.
bool	isTrue (Literal p) const
	True if p is true in model or part of current consequences.
ValueRep	value (Var v) const
	For sat models, value of v in model. Otherwise, undefined.
Public Attributes
const SharedMinimizeData *	costs
uint64	num
uint32	opt: 1
uint32	sId:16
uint32	sym: 1
uint32	type:14
const ValueVec *	values

---

Detailed Description

Type for storing a model.

Definition at line 38 of file enumerator.h.

---

Member Enumeration Documentation

enum Clasp::Model::Type

Enumerator:

model_sat
model_cons
max_value

Definition at line 39 of file enumerator.h.

---

Member Function Documentation

bool Clasp::Model::consequences

(

)

const [inline]

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

Definition at line 41 of file enumerator.h.

bool Clasp::Model::isTrue

(

Literal

p

)

const [inline]

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

Definition at line 45 of file enumerator.h.

ValueRep Clasp::Model::value

(

Var

v

)

const [inline]

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

Definition at line 43 of file enumerator.h.

---

Member Data Documentation

const SharedMinimizeData* Clasp::Model::costs

Definition at line 48 of file enumerator.h.

uint64 Clasp::Model::num

Definition at line 46 of file enumerator.h.

uint32 Clasp::Model::opt

Definition at line 51 of file enumerator.h.

uint32 Clasp::Model::sId

Definition at line 49 of file enumerator.h.

uint32 Clasp::Model::sym

Definition at line 52 of file enumerator.h.

uint32 Clasp::Model::type

Definition at line 50 of file enumerator.h.

const ValueVec* Clasp::Model::values

Definition at line 47 of file enumerator.h.

---

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

• enumerator.h