diff options
| author | Stefan Radomski <radomski@tk.informatik.tu-darmstadt.de> | 2014-04-09 22:51:16 (GMT) |
|---|---|---|
| committer | Stefan Radomski <radomski@tk.informatik.tu-darmstadt.de> | 2014-04-09 22:51:16 (GMT) |
| commit | 8a9b432d36e5748898abffe9f1607d93e45bab4b (patch) | |
| tree | 0b95e832a9b3b2daf9ae45bf81084eda580752a0 /src/uscxml/plugins/datamodel/prolog/swi/SWIDataModel.cpp | |
| parent | 7d98ac1fd2e9da3162f3b6d38b22106f463edd9d (diff) | |
| download | uscxml-8a9b432d36e5748898abffe9f1607d93e45bab4b.zip uscxml-8a9b432d36e5748898abffe9f1607d93e45bab4b.tar.gz uscxml-8a9b432d36e5748898abffe9f1607d93e45bab4b.tar.bz2 | |
Started with promela datamodel
Diffstat (limited to 'src/uscxml/plugins/datamodel/prolog/swi/SWIDataModel.cpp')
| -rw-r--r-- | src/uscxml/plugins/datamodel/prolog/swi/SWIDataModel.cpp | 7 |
1 files changed, 2 insertions, 5 deletions
diff --git a/src/uscxml/plugins/datamodel/prolog/swi/SWIDataModel.cpp b/src/uscxml/plugins/datamodel/prolog/swi/SWIDataModel.cpp index 5e66c68..133925e 100644 --- a/src/uscxml/plugins/datamodel/prolog/swi/SWIDataModel.cpp +++ b/src/uscxml/plugins/datamodel/prolog/swi/SWIDataModel.cpp @@ -196,11 +196,8 @@ foreign_t SWIDataModel::inPredicate(term_t a0, int arity, void* context) { try { char *s; if ( PL_get_atom_chars(a0, &s) ) { - NodeSet<std::string> config = _dmPtr->_interpreter->getConfiguration(); - for (int i = 0; i < config.size(); i++) { - if (HAS_ATTR(config[i], "id") && strcmp(ATTR(config[i], "id").c_str(), s) == 0) { - return TRUE; - } + if (_dmPtr->_interpreter->isInState(s)) { + return true; } } return FALSE; |