Clasp::VarInfo Struct Reference

Stores static information about a variable. More...

#include <shared_context.h>

List of all members.

Public Types
enum	FLAG {   MARK_P = 0x1u, MARK_N = 0x2u, NANT = 0x4u, PROJECT = 0x8u,   BODY = 0x10u, EQ = 0x20u, DISJ = 0x40u, FROZEN = 0x80u }
Public Member Functions
bool	frozen () const
	Returns true if var is excluded from variable elimination.
bool	has (FLAG f) const
bool	has (uint32 f) const
bool	inDisj () const
bool	nant () const
	Returns true if var is contained in a negative loop or head of a choice rule.
bool	preferredSign () const
	Returns the preferred sign of this variable w.r.t its type.
bool	project () const
	Returns true if var is a projection variable.
void	set (FLAG f)
void	toggle (FLAG f)
VarType	type () const
	Returns the type of the variable (or Var_t::atom_body_var if variable was created with parameter eq=true).
	VarInfo ()
Static Public Member Functions
static uint8	flag (FLAG x)
Public Attributes
uint8	rep

---

Detailed Description

Stores static information about a variable.

Definition at line 191 of file shared_context.h.

---

Member Enumeration Documentation

enum Clasp::VarInfo::FLAG

Enumerator:

MARK_P
MARK_N
NANT
PROJECT
BODY
EQ
DISJ
FROZEN

Definition at line 192 of file shared_context.h.

---

Constructor & Destructor Documentation

Clasp::VarInfo::VarInfo

(

)

[inline]

Definition at line 202 of file shared_context.h.

---

Member Function Documentation

static uint8 Clasp::VarInfo::flag

(

FLAG

x

)

[inline, static]

Definition at line 223 of file shared_context.h.

bool Clasp::VarInfo::frozen

(

)

const [inline]

Returns true if var is excluded from variable elimination.

Definition at line 212 of file shared_context.h.

bool Clasp::VarInfo::has

(

FLAG

f

)

const [inline]

Definition at line 219 of file shared_context.h.

bool Clasp::VarInfo::has

(

uint32

f

)

const [inline]

Definition at line 220 of file shared_context.h.

bool Clasp::VarInfo::inDisj

(

)

const [inline]

Definition at line 210 of file shared_context.h.

bool Clasp::VarInfo::nant

(

)

const [inline]

Returns true if var is contained in a negative loop or head of a choice rule.

Definition at line 207 of file shared_context.h.

bool Clasp::VarInfo::preferredSign

(

)

const [inline]

Returns the preferred sign of this variable w.r.t its type.

Returns:

false (i.e no sign) if var originated from body, otherwise true.

Definition at line 217 of file shared_context.h.

bool Clasp::VarInfo::project

(

)

const [inline]

Returns true if var is a projection variable.

Definition at line 209 of file shared_context.h.

void Clasp::VarInfo::set

(

FLAG

f

)

[inline]

Definition at line 221 of file shared_context.h.

void Clasp::VarInfo::toggle

(

FLAG

f

)

[inline]

Definition at line 222 of file shared_context.h.

VarType Clasp::VarInfo::type

(

)

const [inline]

Returns the type of the variable (or Var_t::atom_body_var if variable was created with parameter eq=true).

Definition at line 205 of file shared_context.h.

---

Member Data Documentation

uint8 Clasp::VarInfo::rep

Definition at line 224 of file shared_context.h.

---

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

• shared_context.h