---

scv_constraint_manager Class Reference

#include <scv_constraint.h>

Collaboration diagram for scv_constraint_manager:

[legend]List of all members.

Static Public Methods
void	set_value (scv_extensions_if *s, bddNodeT *b, _scv_constraint_data *cdata_)
void	set_value (scv_constraint_base *c, bool simplify=false)
bddNodeT &	get_bdd (scv_expression e, scv_constraint_base *c, bool hard_constraint)
void	init_bdd (scv_expression e, scv_constraint_base *c, bool hard_constraint)
void	init_maxvar (const scv_expression &he, const scv_expression &se)
void	reset (void)
void	wrapup (scv_extensions_if *s, void *argP)
_scv_constraint_manager *	getConstraintManagerP (void)
void	add_extension (scv_extensions_if *s)
Friends
void	scv_constraint_startup ()

---

Member Function Documentation

void scv_constraint_manager::add_extension (  scv_extensions_if *    s )  [static]

Definition at line 356 of file scv_constraint.cpp. References _scv_constraint_manager::add_extension(), getConstraintManagerP(), and s.

bddNodeT & scv_constraint_manager::get_bdd (  scv_expression    e, scv_constraint_base *    c, bool    hard_constraint )  [static]

Definition at line 319 of file scv_constraint.cpp. References bddNodeT, _scv_constraint_manager::get_bdd(), and getConstraintManagerP().

_scv_constraint_manager * scv_constraint_manager::getConstraintManagerP (  void    )  [static]

Definition at line 361 of file scv_constraint.cpp. References SCV_STARTUP. Referenced by _scv_bdd_and(), _scv_has_complex_constraing(), _scv_set_value(), add_extension(), get_bdd(), init_bdd(), init_maxvar(), reset(), set_value(), and wrapup().

void scv_constraint_manager::init_bdd (  scv_expression    e, scv_constraint_base *    c, bool    hard_constraint )  [static]

Definition at line 324 of file scv_constraint.cpp. References getConstraintManagerP(), and _scv_constraint_manager::init_bdd().

void scv_constraint_manager::init_maxvar (  const scv_expression &    he, const scv_expression &    se )  [static]

Definition at line 329 of file scv_constraint.cpp. References _scv_constraint_manager::countMaxVar(), and getConstraintManagerP().

void scv_constraint_manager::reset (  void    )  [static]

Definition at line 351 of file scv_constraint.cpp. References getConstraintManagerP(), and _scv_constraint_manager::reset().

void scv_constraint_manager::set_value (  scv_constraint_base *    c, bool    simplify = false )  [static]

Definition at line 341 of file scv_constraint.cpp. References _scv_constraint_manager::assignRandomValue(), and getConstraintManagerP().

void scv_constraint_manager::set_value (  scv_extensions_if *    s, bddNodeT *    b, _scv_constraint_data *    cdata_ )  [static]

Definition at line 335 of file scv_constraint.cpp. References _scv_constraint_manager::assignRandomValue(), bddNodeT, getConstraintManagerP(), and s. Referenced by scv_constraint_base::next().

void scv_constraint_manager::wrapup (  scv_extensions_if *    s, void *    argP )  [static]

Definition at line 346 of file scv_constraint.cpp. References getConstraintManagerP(), s, and _scv_constraint_manager::wrapup(). Referenced by _scv_constraint_wrapup().

---

Friends And Related Function Documentation

void scv_constraint_startup (    )  [friend]

Definition at line 3141 of file scv_constraint.cpp.

---

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

• scv_constraint.h
• scv_constraint.cpp

---