coco::convex_e Class Reference

Convexity information. More...

#include <semantics.h>

List of all members.

Public Member Functions
	convex_e ()
	convex_e (const convex_info &__e, uint16_t __t)
	convex_e (const convex_e &__e)
	convex_e (int16_t __e)
	~convex_e ()
const convex_info &	i () const
uint16_t	t () const
convex_e	operator- () const
convex_e &	operator= (const convex_e &__c)
convex_e &	operator= (const convex_info &__i)
convex_e &	operator= (unsigned int __t)
convex_e &	operator= (uint16_t __t)
void	read (char *c)
void	merge (const convex_e &__c)
Friends
bool	operator== (const convex_e &__c, const convex_e &__d)
	Equality comparison operator.
bool	operator== (const convex_e &__c, const convex_info &__d)
	Equality comparison operator with a convex_info.
bool	operator== (const convex_info &__c, const convex_e &__d)
	Equality comparison operator with a convex_info.
bool	operator!= (const convex_e &__c, const convex_e &__d)
	Disequality comparison operator.
bool	operator!= (const convex_e &__c, const convex_info &__d)
	Disequality comparison operator with a convex_info.
bool	operator!= (const convex_info &__c, const convex_e &__d)
	Disequality comparison operator with a convex_info.
std::ostream &	operator<< (std::ostream &o, const convex_e &__s)
	C++ stream output operator for convex_e.

---

Detailed Description

This class stores the convexity information of a node. It is part of the semantics structure.

Definition at line 106 of file semantics.h.

---

Constructor & Destructor Documentation

coco::convex_e::convex_e

(

)

[inline]

Standard Constructor

Definition at line 116 of file semantics.h.

coco::convex_e::convex_e	(	const convex_info &	__e,
		uint16_t	__t
	)			[inline]

Constructor, which initializes the convex_info with __e and the algorithm complexity with __t.

Definition at line 119 of file semantics.h.

coco::convex_e::convex_e

(

const convex_e &

__e

)

[inline]

Standard Copy Constructor

Definition at line 121 of file semantics.h.

coco::convex_e::convex_e

(

int16_t

__e

)

[inline, explicit]

Constructor, which initializes the convex_info with the equivalent integer __e and sets the algorithm complexity to 0.

Definition at line 124 of file semantics.h.

coco::convex_e::~convex_e

(

)

[inline]

Standard Destructor

Definition at line 127 of file semantics.h.

---

Member Function Documentation

const convex_info& coco::convex_e::i

(

)

const [inline]

This method returns the convex_info stored.

Definition at line 130 of file semantics.h.

void coco::convex_e::merge

(

const convex_e &

__c

)

[inline]

This method merges a convex_e with another convex_e __c.

Definition at line 182 of file semantics.h.

convex_e coco::convex_e::operator-

(

)

const [inline]

The unary minus operator changes a convex_e in the same way as the convexity structure of changes for the transition .

Definition at line 137 of file semantics.h.

convex_e& coco::convex_e::operator=

(

uint16_t

__t

)

[inline]

Assignment Operator, which only assigns the algorithm complexity part.

Definition at line 172 of file semantics.h.

convex_e& coco::convex_e::operator=

(

unsigned int

__t

)

[inline]

Assignment Operator, which only assigns the algorithm complexity part.

Definition at line 165 of file semantics.h.

convex_e& coco::convex_e::operator=

(

const convex_info &

__i

)

[inline]

Assignment Operator, which only assigns the convex_info part.

Definition at line 158 of file semantics.h.

convex_e& coco::convex_e::operator=

(

const convex_e &

__c

)

[inline]

Standard Assignment Operator

Definition at line 150 of file semantics.h.

void coco::convex_e::read

(

char *

c

)

This method reads a convex_e from the string c in .dag encoding.

Definition at line 39 of file semantics.cc.

uint16_t coco::convex_e::t

(

)

const [inline]

This method returns the algorithm complexity stored.

Definition at line 132 of file semantics.h.

---

Friends And Related Function Documentation

bool operator!=	(	const convex_info &	__c,
		const convex_e &	__d
	)			[friend]

Disequality comparison operator with a convex_info.

Definition at line 250 of file semantics.h.

bool operator!=	(	const convex_e &	__c,
		const convex_info &	__d
	)			[friend]

Disequality comparison operator with a convex_info.

Definition at line 242 of file semantics.h.

bool operator!=	(	const convex_e &	__c,
		const convex_e &	__d
	)			[friend]

Disequality comparison operator. Note that only the convex_info part counts!

Definition at line 234 of file semantics.h.

std::ostream& operator<<	(	std::ostream &	o,
		const convex_e &	__s
	)			[friend]

This operator writes a convex_e in .dag format to an ostream.

Definition at line 258 of file semantics.h.

bool operator==	(	const convex_info &	__c,
		const convex_e &	__d
	)			[friend]

Equality comparison operator with a convex_info.

Definition at line 226 of file semantics.h.

bool operator==	(	const convex_e &	__c,
		const convex_info &	__d
	)			[friend]

Equality comparison operator with a convex_info.

Definition at line 218 of file semantics.h.

bool operator==	(	const convex_e &	__c,
		const convex_e &	__d
	)			[friend]

Equality comparison operator. Note that only the convex_info part counts!

Definition at line 210 of file semantics.h.

---

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

• semantics.h
• semantics.cc