---

scv_constraint.h File Reference

#include "scv/scv_introspection.h"
#include "scv/scv_report.h"
#include <string.h>

Include dependency graph for scv_constraint.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Compounds
class	_nodeRecordT
class	_scv_constraint_error
class	_scv_constraint_manager
class	_scv_expr
class	_scv_hash
class	_scv_open_table
class	bucketT
class	_smartDataRecordT
class	scv_constraint_base
class	scv_constraint_manager
Defines
#define	MAX_MESSAGE_SIZE   1024
#define	SIZE_HINT   100000
#define	ROUNDTO   65536
#define	ROUNDTO_BASE   32768
#define	GET_BDD()
#define	SCV_CONSTRAINT_CTOR(class_name)
#define	SCV_CONSTRAINT(expr)   eh() &= expr;
#define	SCV_SOFT_CONSTRAINT(expr)   es() &= expr;
#define	SCV_BASE_CONSTRAINT(base_class)
Typedefs
typedef BDD	bddNodeT
typedef Cudd	bddManagerT
typedef BDDvector	bddVectorT
typedef DdNode	ddNodeT
Functions
void	_scv_remove (_scv_expr *e)
bddNodeT &	_scv_bdd_and (bddNodeT &bh, bddNodeT &bs, const scv_constraint_base *c)
void	scv_constraint_startup ()

---

Define Documentation

#define GET_BDD (    )

Value: static bddNodeT& d = get_bdd(); \ if (0) cout << &d << endl; Definition at line 762 of file scv_constraint.h.

#define MAX_MESSAGE_SIZE   1024

Definition at line 88 of file scv_constraint.h.

#define ROUNDTO   65536

Definition at line 473 of file scv_constraint.h.

#define ROUNDTO_BASE   32768

Definition at line 474 of file scv_constraint.h.

#define SCV_BASE_CONSTRAINT (  base_class    )

Value: ebh() &= base_class::get_constraint(); \ ebs() &= base_class::get_soft_constraint(); \ Definition at line 821 of file scv_constraint.h.

#define SCV_CONSTRAINT (  expr    )     eh() &= expr;

Definition at line 817 of file scv_constraint.h.

#define SCV_CONSTRAINT_CTOR (  class_name    )

Definition at line 774 of file scv_constraint.h.

#define SCV_SOFT_CONSTRAINT (  expr    )     es() &= expr;

Definition at line 819 of file scv_constraint.h.

#define SIZE_HINT   100000

Definition at line 89 of file scv_constraint.h.

---

Typedef Documentation

typedef Cudd bddManagerT

Definition at line 80 of file scv_constraint.h. Referenced by _scv_bdd_and(), and _scv_constraint_manager::getManagerP().

typedef BDD bddNodeT

Definition at line 79 of file scv_constraint.h. Referenced by _scv_bdd_and(), _scv_constraint_manager::_scv_constraint_manager(), _scv_set_value(), _scv_constraint_manager::add_sparse_var(), _scv_constraint_manager::assignRandomValue(), _scv_constraint_manager::check_sparse_var(), _scv_constraint_manager::get_bdd(), scv_constraint_manager::get_bdd(), _scv_expr::getBddNodeP(), scv_constraint_manager::set_value(), and _scv_expr::setBddNodeP().

typedef BDDvector bddVectorT

Definition at line 81 of file scv_constraint.h. Referenced by _scv_expr::getBddVectorP(), and _scv_expr::setBddVectorP().

typedef DdNode ddNodeT

Definition at line 82 of file scv_constraint.h.

---

Function Documentation

bddNodeT& _scv_bdd_and (  bddNodeT &    bh, bddNodeT &    bs, const scv_constraint_base *    c )

Definition at line 3093 of file scv_constraint.cpp. References bddManagerT, bddNodeT, _scv_constraint_manager::generateWeight(), scv_constraint_base::get_name(), scv_constraint_manager::getConstraintManagerP(), _scv_constraint_manager::getManagerP(), and _scv_constraint_error::ignoredLevel().

void _scv_remove (  _scv_expr *    e )

Referenced by _smartDataRecordT::~_smartDataRecordT().

void scv_constraint_startup (    )

Definition at line 3141 of file scv_constraint.cpp.

---