Clasp::DomainHeuristic::DomEntry Struct Reference

List of all members.

Public Types
enum	Modifier {   mod_factor = 0, mod_level = 1, mod_sign = 2, mod_tf = 3,   mod_init = 4 }
Public Member Functions
	DomEntry (const SymbolType *s, Modifier m=mod_init)
bool	parse (const char *&mod)
ValueRep	signValue () const
Public Attributes
Modifier	mod
uint16	prio:15
uint16	sign: 1
const SymbolType *	sym
int16	val

---

Detailed Description

Definition at line 362 of file heuristics.h.

---

Member Enumeration Documentation

enum Clasp::DomainHeuristic::DomEntry::Modifier

Enumerator:

mod_factor
mod_level
mod_sign
mod_tf
mod_init

Definition at line 363 of file heuristics.h.

---

Constructor & Destructor Documentation

Clasp::DomainHeuristic::DomEntry::DomEntry	(	const SymbolType *	s,
		Modifier	m = mod_init
	)		[inline]

Definition at line 364 of file heuristics.h.

---

Member Function Documentation

bool Clasp::DomainHeuristic::DomEntry::parse

(

const char *&

mod

)

Definition at line 678 of file heuristics.cpp.

ValueRep Clasp::DomainHeuristic::DomEntry::signValue

(

)

const [inline]

Definition at line 366 of file heuristics.h.

---

Member Data Documentation

Modifier Clasp::DomainHeuristic::DomEntry::mod

Definition at line 372 of file heuristics.h.

uint16 Clasp::DomainHeuristic::DomEntry::prio

Definition at line 374 of file heuristics.h.

uint16 Clasp::DomainHeuristic::DomEntry::sign

Definition at line 375 of file heuristics.h.

const SymbolType* Clasp::DomainHeuristic::DomEntry::sym

Definition at line 371 of file heuristics.h.

int16 Clasp::DomainHeuristic::DomEntry::val

Definition at line 373 of file heuristics.h.

---

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

• heuristics.h
• heuristics.cpp