---

scv_constraint_base Class Reference

#include <scv_constraint.h>

Inheritance diagram for scv_constraint_base:

[legend]Collaboration diagram for scv_constraint_base:

[legend]List of all members.

Public Methods
	scv_constraint_base ()
virtual	~scv_constraint_base ()
virtual void	next ()
void	set_mode (scv_extensions_if::mode_t m)
scv_extensions_if::mode_t	get_mode (void) const
void	set_random (scv_shared_ptr< scv_random > g)
scv_shared_ptr< scv_random >	get_random (void)
void	get_members (list< scv_smart_ptr_if * > &vlist)
const char *	get_name () const
const string &	get_name_string () const
virtual const char *	kind () const
void	print (ostream &o=scv_out, int details=0, int indent=0) const
virtual void	show (int details=0, int indent=0) const
Static Public Methods
int	get_debug ()
void	set_debug (int i)
Protected Methods
virtual scv_expression	get_constraint () const
virtual scv_expression	get_soft_constraint () const
Protected Attributes
bool	ignore_
string	name_
string	_hard_constraints
string	_soft_constraints
Friends
class	_scv_constraint_manager
void	_scv_pop_constraint ()
scv_extensions_if *	_scv_find_extension (scv_constraint_base *c, scv_extensions_if *e)
void	_scv_copy_values (scv_constraint_base *to, scv_constraint_base *from)
scv_constraint_base *	_scv_new_constraint (scv_constraint_base *from)

---

Constructor & Destructor Documentation

scv_constraint_base::scv_constraint_base (    )

Definition at line 57 of file scv_constraint.cpp.

scv_constraint_base::~scv_constraint_base (    )  [virtual]

Definition at line 63 of file scv_constraint.cpp.

---

Member Function Documentation

scv_expression scv_constraint_base::get_constraint (    )  [protected, virtual]

Definition at line 196 of file scv_constraint.cpp. Referenced by _scv_set_value().

int scv_constraint_base::get_debug (    )  [static]

Definition at line 132 of file scv_constraint.cpp.

void scv_constraint_base::get_members (  list< scv_smart_ptr_if * > &    vlist )

Definition at line 117 of file scv_constraint.cpp. Referenced by _scv_copy_values(), _scv_find_extension(), _scv_constraint_manager::assignRandomValue(), _scv_constraint_manager::check_sparse_var(), set_mode(), and set_random().

scv_extensions_if::mode_t scv_constraint_base::get_mode (  void    )  const

Definition at line 92 of file scv_constraint.cpp.

const char * scv_constraint_base::get_name (    )  [virtual]

Implements scv_object_if. Definition at line 137 of file scv_constraint.cpp. References name_. Referenced by _scv_bdd_and(), _scv_constraint_manager::get_bdd(), get_random(), and set_mode().

const string & scv_constraint_base::get_name_string (    )

Definition at line 142 of file scv_constraint.cpp. References name_. Referenced by _scv_get_name().

scv_shared_ptr< scv_random > scv_constraint_base::get_random (  void    )

Definition at line 107 of file scv_constraint.cpp. References get_name(), and scv_shared_ptr< scv_random >::isNull(). Referenced by _scv_constraint_manager::assignRandomValue().

scv_expression scv_constraint_base::get_soft_constraint (    )  [protected, virtual]

Definition at line 201 of file scv_constraint.cpp.

const char * scv_constraint_base::kind (    )  [virtual]

Implements scv_object_if. Definition at line 147 of file scv_constraint.cpp. Referenced by print().

void scv_constraint_base::next (    )  [virtual]

Definition at line 65 of file scv_constraint.cpp. References scv_constraint_manager::set_value().

void scv_constraint_base::print (  ostream &    o = scv_out, int    details = 0, int    indent = 0 )  const [virtual]

Implements scv_object_if. Definition at line 153 of file scv_constraint.cpp. References _hard_constraints, _soft_constraints, kind(), and name_. Referenced by show().

void scv_constraint_base::set_debug (  int    i )  [static]

Definition at line 184 of file scv_constraint.cpp. References scv_debug::RANDOMIZATION, and scv_debug::set_facility_level().

void scv_constraint_base::set_mode (  scv_extensions_if::mode_t    m )

Definition at line 71 of file scv_constraint.cpp. References get_members(), get_name(), and _scv_message::message().

void scv_constraint_base::set_random (  scv_shared_ptr< scv_random >    g )

Definition at line 97 of file scv_constraint.cpp. References get_members().

void scv_constraint_base::show (  int    details = 0, int    indent = 0 )  const [virtual]

Reimplemented from scv_object_if. Definition at line 191 of file scv_constraint.cpp. References print(), and scv_out.

---

Friends And Related Function Documentation

friend class _scv_constraint_manager [friend]

Definition at line 739 of file scv_constraint.h.

void _scv_copy_values (  scv_constraint_base *    to, scv_constraint_base *    from )  [friend]

Definition at line 3127 of file scv_constraint.cpp.

scv_extensions_if* _scv_find_extension (  scv_constraint_base *    c, scv_extensions_if *    e )  [friend]

Definition at line 3108 of file scv_constraint.cpp.

scv_constraint_base* _scv_new_constraint (  scv_constraint_base *    from )  [friend]

Definition at line 3151 of file scv_constraint.cpp.

void _scv_pop_constraint (    )  [friend]

Definition at line 2918 of file scv_constraint.cpp.

---

Member Data Documentation

string scv_constraint_base::_hard_constraints [protected]

Definition at line 757 of file scv_constraint.h. Referenced by print().

string scv_constraint_base::_soft_constraints [protected]

Definition at line 758 of file scv_constraint.h. Referenced by print().

bool scv_constraint_base::ignore_ [protected]

Definition at line 755 of file scv_constraint.h.

string scv_constraint_base::name_ [protected]

Definition at line 756 of file scv_constraint.h. Referenced by get_name(), get_name_string(), and print().

---

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

• scv_constraint.h
• scv_constraint.cpp

---