---

semantics Class Reference

#include <semantics.h>

Collaboration diagram for semantics:

[legend]List of all members.

Public Methods
	semantics ()
	semantics (const semantics &__s)
	~semantics ()
void	read (char *c)
void	merge (const semantics &__s)
const convex_e &	convexity () const
void	convexity (const convex_e &__c)
const tristate &	separability () const
void	separability (const tristate &__c)
const activity_descr &	activity () const
void	activity (const activity_descr &__c)
bool	kj_flag () const
void	kj_flag (bool __c)
bool	integer_flag () const
void	integer_flag (bool __c)
bool	hard_flag () const
void	hard_flag (bool __c)
bool	is_at_any_bound () const
void	is_at_any_bound (bool __c)
const type_annotation &	type () const
void	type (const type_annotation &__c)
bool	redundancy () const
bool	inactive_hi () const
bool	inactive_lo () const
bool	inactive () const
Public Attributes
struct {
convex_e   c_info
activity_descr   act
tristate   separable
tristate   active
bool   is_at_any_bound
}	property_flags
struct {
bool   kj
bool   integer
type_annotation   type
bool   hard
}	annotation_flags
struct {
tristate   has_0chnbase
}	info_flags
unsigned int	_0chnbase
int	addinfo
int	degree
int	dim
int	stage
Friends
std::ostream &	operator<< (std::ostream &o, const semantics &__s)

---

Constructor & Destructor Documentation

semantics::semantics (    )  [inline]

Definition at line 222 of file semantics.h.

semantics::semantics (  const semantics &    __s )  [inline]

Definition at line 244 of file semantics.h.

semantics::~semantics (    )  [inline]

Definition at line 251 of file semantics.h.

---

Member Function Documentation

void semantics::activity (  const activity_descr &    __c )  [inline]

Definition at line 336 of file semantics.h.

const activity_descr& semantics::activity (    )  const [inline]

Definition at line 335 of file semantics.h.

void semantics::convexity (  const convex_e &    __c )  [inline]

Definition at line 330 of file semantics.h.

const convex_e& semantics::convexity (    )  const [inline]

Definition at line 329 of file semantics.h.

void semantics::hard_flag (  bool    __c )  [inline]

Definition at line 345 of file semantics.h.

bool semantics::hard_flag (    )  const [inline]

Definition at line 344 of file semantics.h.

bool semantics::inactive (    )  const [inline]

Definition at line 359 of file semantics.h.

bool semantics::inactive_hi (    )  const [inline]

Definition at line 355 of file semantics.h.

bool semantics::inactive_lo (    )  const [inline]

Definition at line 357 of file semantics.h.

void semantics::integer_flag (  bool    __c )  [inline]

Definition at line 342 of file semantics.h.

bool semantics::integer_flag (    )  const [inline]

Definition at line 341 of file semantics.h.

void semantics::is_at_any_bound (  bool    __c )  [inline]

Definition at line 348 of file semantics.h.

bool semantics::is_at_any_bound (    )  const [inline]

Definition at line 347 of file semantics.h.

void semantics::kj_flag (  bool    __c )  [inline]

Definition at line 339 of file semantics.h.

bool semantics::kj_flag (    )  const [inline]

Definition at line 338 of file semantics.h.

void semantics::merge (  const semantics &    __s )  [inline]

Definition at line 307 of file semantics.h.

void semantics::read (  char *    c )

Definition at line 144 of file semantics.cc.

bool semantics::redundancy (    )  const [inline]

Definition at line 353 of file semantics.h.

void semantics::separability (  const tristate &    __c )  [inline]

Definition at line 333 of file semantics.h.

const tristate& semantics::separability (    )  const [inline]

Definition at line 332 of file semantics.h.

void semantics::type (  const type_annotation &    __c )  [inline]

Definition at line 351 of file semantics.h.

const type_annotation& semantics::type (    )  const [inline]

Definition at line 350 of file semantics.h.

---

Friends And Related Function Documentation

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

Definition at line 224 of file semantics.cc.

---

Member Data Documentation

unsigned int semantics::_0chnbase

Definition at line 211 of file semantics.h.

activity_descr semantics::act

Definition at line 194 of file semantics.h.

tristate semantics::active

Definition at line 196 of file semantics.h.

int semantics::addinfo

Definition at line 213 of file semantics.h.

struct { ... } semantics::annotation_flags

convex_e semantics::c_info

Definition at line 193 of file semantics.h.

int semantics::degree

Definition at line 217 of file semantics.h.

int semantics::dim

Definition at line 218 of file semantics.h.

bool semantics::hard

Definition at line 204 of file semantics.h.

tristate semantics::has_0chnbase

Definition at line 208 of file semantics.h.

struct { ... } semantics::info_flags

bool semantics::integer

Definition at line 202 of file semantics.h.

bool semantics::is_at_any_bound

Definition at line 197 of file semantics.h.

bool semantics::kj

Definition at line 201 of file semantics.h.

struct { ... } semantics::property_flags

tristate semantics::separable

Definition at line 195 of file semantics.h.

int semantics::stage

Definition at line 219 of file semantics.h.

type_annotation semantics::type

Definition at line 203 of file semantics.h.

---

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

• semantics.h
• semantics.cc

---