#include <scv_constraint.h>
Static Public Methods | |
| void | notImplementedYet (const char *messageP) |
| void | ignoreDoubleConstraints (void) |
| void | ignoreStringConstraints (void) |
| void | internalError (const char *messageP) |
| void | cannotMeetConstraint (const string name) |
| void | ignoredLevel (const string name) |
| void | internalWarning (const char *messageP, const char *name) |
| void | typeCheckError (const char *messageP) |
|
|
Definition at line 843 of file scv_constraint.h. References _scv_message::message(). Referenced by _scv_constraint_manager::get_bdd(). |
|
|
Definition at line 847 of file scv_constraint.h. References _scv_message::message(). Referenced by _scv_bdd_and(). |
|
|
Definition at line 3782 of file scv_constraint.cpp. References notImplementedYet(). |
|
|
Definition at line 3790 of file scv_constraint.cpp. References notImplementedYet(). |
|
|
Definition at line 839 of file scv_constraint.h. References _scv_message::message(). Referenced by _scv_constraint_manager::countMaxVar(), _scv_expr::getSigLsb(), _scv_expr::getSigMsb(), and _scv_expr::getVecSize(). |
|
||||||||||||
|
Definition at line 851 of file scv_constraint.h. References _scv_message::message(). |
|
|
Definition at line 833 of file scv_constraint.h. References _scv_message::message(). Referenced by ignoreDoubleConstraints(), and ignoreStringConstraints(). |
|
|
Definition at line 855 of file scv_constraint.h. References _scv_message::message(). |
1.2.18